FASTPQ Proof Composition
The ordered phases - trace commitment, challenge derivation, DEEP-FRI folding, and Merkle openings - that create a FASTPQ proof.
FASTPQ Proof Composition
CryptographyThe ordered phases - trace commitment, challenge derivation, DEEP-FRI folding, and Merkle openings - that create a FASTPQ proof.
Sections
Definition
The ordered phases - trace commitment, challenge derivation, DEEP-FRI folding, and Merkle openings - that create a FASTPQ proof.
Why it matters
Defines the steps verifiers replay to validate a FASTPQ proof.