Available on crate feature
r1cs only.Expand description
This module defines how to verify TCT auth paths in a rank-1 constraint system.
Structs§
- Merkle
Auth Path Var - This represents the TCT’s auth path in R1CS.
- Position
Var - Represents the position of a leaf in the TCT represented in R1CS.
- State
Commitment Var - Represents a state commitment in R1CS.
- Which
WayVar - Represents the different paths a quadtree node can take.