Expand description
§light-verifier
ZK proof verifier for Light Protocol. Verifies Groth16 proofs for inclusion, non-inclusion, and combined address+state operations.
| Function | Description |
|---|---|
verify_inclusion_proof | Verify inclusion for 1–8+ leaves |
verify_create_addresses_proof | Verify non-inclusion for 1–8 addresses |
verify_create_addresses_and_inclusion_proof | Verify combined address and state proof |
verify_batch_append_with_proofs | Verify batch append (10 or 500 leaves) |
verify_batch_update | Verify batch state update (10 or 500) |
verify_batch_address_update | Verify batch address update (10 or 250) |
select_verifying_key | Route to correct verifying key by leaf/address count |
verify | Generic Groth16 proof verification |