Skip to main content

Module proof

Module proof 

Source

Structs§

ImtProofData
Circuit-compatible IMT non-membership proof for punctured-range leaves (K=2).

Constants§

PUNCTURE_K
Number of excluded nullifiers per punctured-range leaf (K=2).