independent verification
verify an allocation
every value below is read from the published snapshot file and chain state. nothing is estimated.
proofs are verified against the onchain merkle root, not the index
independent verification
every value below is read from the published snapshot file and chain state. nothing is estimated.