v1 state

Denom

Denom is the only coin this drop pays in.

leafPrefix

leafPrefix is part of every leaf preimage, so a proof for one drop cannot be replayed against another realm that happens to use the same encoding.

Owner

Owner may set the drop and sweep it. Hardcoded rather than derived from the deployer at init: inside a plain \`func Test(t \*testing.T)\` the gno test runner reports OriginCaller() as the EMPTY address, so an owner taken from it is the empty address in every test and whatever deployed on chain. That divergence is exactly where an authorization bug hides, so the address is written down instead.

Ownable

root

// the committed allocation root; nil means no drop

total

// leaf count the root commits to

closesAt

// chain height after which claims are refused; 0 = never

claimed

// padded index -> claimer address string

paid

// running total of ugnot sent

demo

Allocation

Allocation is one entry of a drop: who may claim, and how much.

ErrNoDrop

ErrClosed

ErrClaimed

ErrBadProof

ErrUnfunded

ErrStillOpen

ErrBadRoot

ErrBadTotal

ErrBadAmount

init.20

Leaf

Leaf returns the exact preimage committed for one allocation. Reproduce it off chain to rebuild the tree; it is the whole interface between the drop and its generator. leaf = "<pkgpath>|<index>|<address>|<amount>"

SetDrop

SetDrop commits a new allocation root. Owner only. totalLeaves is the number of allocations the root commits to; the verifier needs it to rebuild the tree shape, so a wrong value invalidates every proof rather than weakening any. closesAtHeight is the last height at which a claim is accepted, or 0 for a drop that never closes. Setting a new root abandons the previous claim ledger: a drop is a commitment, and replacing it starts a new one.

Claim

Claim proves the caller is allocated amount at index and pays it out. proof is the comma-separated hex sibling list from the tree generator, leaf first. It panics on a closed drop, a double claim, a bad proof, or a drop that cannot cover the amount; nothing is marked claimed in any of those cases.

Sweep

Sweep returns whatever is left to the owner, once the drop has closed. Owner only. A drop with no closing height can never be swept, which is the point of setting one.

Address

Balance

Balance returns the ugnot the drop still holds.

Root

Root returns the committed root, hex-encoded, or "" when no drop is set.

Total

Total returns the number of allocations the root commits to.

ClosesAt

ClosesAt returns the last height a claim is accepted, or 0 for never.

IsClosed

IsClosed reports whether the drop is past its closing height.

Paid

Paid returns the ugnot claimed so far.

Claims

Claims returns the number of allocations claimed.

HasClaimed

HasClaimed reports whether the allocation at index was claimed.

ClaimedBy

Verify

Verify checks an allocation against the committed root without claiming it, so a recipient can confirm a proof before spending gas on Claim.

parseRoot

hexOf

indexKey

indexKey pads the index so avl iteration is numeric, not lexicographic. ufmt has no width flags, so the padding is by hand: unpadded keys sort "0","1","10","11","2" and Render would lose the order past nine entries.

demoAllocations

demoAllocations is the example drop seeded at deploy, so the realm renders working proofs instead of an empty page. A real drop calls SetDrop with a root computed off chain and stores no allocations at all.

seed

seed installs the example drop. Also called by the example tests: realm globals persist for a whole test binary and examples run after every Test, so a pinned Render must start from a known state.

demoTree

DemoProof

DemoProof returns the proof for one seeded allocation, so the drop can be exercised end to end without an off-chain generator. It is empty once a real drop replaces the seeded one.

Render

Render serves the drop overview at "" and one allocation at "proof/\<index>".

renderIndex

renderProof

closesLabel

yesNo