The combination of FASTPQ STARKs, Halo2 circuits, and supporting protocols that provide verifiable execution and privacy.
Proof Systems
CryptographyThe combination of FASTPQ STARKs, Halo2 circuits, and supporting protocols that provide verifiable execution and privacy.
Sections
Definition
The combination of FASTPQ STARKs, Halo2 circuits, and supporting protocols that provide verifiable execution and privacy.