Module r1cs

Available on crate feature r1cs only.

This module defines how to verify TCT auth paths in a rank-1 constraint system.

Structs

• MerkleAuthPathVar
  This represents the TCT’s auth path in R1CS.
• PositionVar
  Represents the position of a leaf in the TCT represented in R1CS.
• StateCommitmentVar
  Represents a state commitment in R1CS.
• WhichWayVar
  Represents the different paths a quadtree node can take.