v0 state

MaxEntries

MaxEntryLen

renderEntries

log

entries

init.5

Append

Append adds an entry to the log and returns its index. The root moves, so every previously issued proof stops verifying against the new root: that is the nature of an append-only commitment, not a bug.

appendEntry

Size

Size returns the number of entries.

Root

Root returns the current log root, hex-encoded. It is also the Tendermint simple-tree root over the same entries, so any Tendermint verifier accepts it.

Entry

Entry returns the entry at index.

ProofOf

ProofOf returns the inclusion proof for index, as the three comma-separated hex lists Verify expects.

Verify

Verify checks a proof against a root the caller supplies, which is the honest signature: the realm is a verifier, not an oracle. Pass Root() to check against the live log.

VerifyFixed

VerifyFixed checks a Tendermint simple-tree proof, the fixed-leaf-set encoding, against a root the caller supplies. Same tree as the log, a different proof shape: siblings are one flat list, leaf first. Both encodings verify against the same root, because the Tendermint tree and a right-bagged mountain range are the same structure.

mustRange

hexHash

seed

seed returns the realm to its deployed state: an empty log plus the three demo entries, so a fresh deployment renders something and so the example tests have a fixed starting point. Realm globals persist across a whole test binary and examples run after every Test, so a pinned Render must call this first.

Render

Render serves the overview at "" and one entry with its proof at "entry/\<index>". Output is a fixed size: the entry list is capped at renderEntries, so a full log still renders. The chain caps a query at maxGasQuery and a reader cannot raise it, so an unbounded Render is a permanently unreadable page.

renderIndex

renderEntry

rootOrDash

orDash