FASTPQ Constraint System
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.
Why it matters
Essential component of the SORA Nexus architecture.