The AIR describing how ledger state transitions, Merkle paths, and balance updates must satisfy algebraic constraints before proving.
FASTPQ Constraint System
CryptographyThe AIR describing how ledger state transitions, Merkle paths, and balance updates must satisfy algebraic constraints before proving.
Sections
Definition
The AIR describing how ledger state transitions, Merkle paths, and balance updates must satisfy algebraic constraints before proving.