PROVE turns one shielded note into a sentence a Solana program can check. What you name is a floor, and the floor is all that leaves.
The claim
The account holds at least the amount you named, in a shielded note, as of one block.
Which note it is, the address it sits at, and how far above the floor you actually are all stay here. The full statement and its six checks are on The circuit.
What it costs
Two jobs, and the first is the long one. The tree has to be read before anything can be proved, and reading it is a walk rather than a lookup.
- Reading the tree minutes
- A walk of the pool from where this wallet's history starts. The tree is then kept, so a second proof resumes instead of walking again. The Architecture page has why it cannot be shortened.
- The proof 8.3 s
- In a Web Worker, and verified in this browser before anything is shown. A proof that failed its own check is not a result to display.
- The proving key 18.6 s
- Built on the first press, independent of the amount, and held afterwards so the second proof does not pay for it again.
Two limits
A proof is built here and verified here, and nothing carries one to Solana yet. What that needs is on the Roadmap.