PUBLIC VERIFIER

Verify a proof bundle

The experimental single-note proof binds its note to the claim snapshot and proves standard-nullifier exclusion. The protocol is unaudited.