Skip to main content

Proof Systems

The combination of FASTPQ STARKs, Halo2 circuits, and supporting protocols that provide verifiable execution and privacy.

Proof Systems

Cryptography

The 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.

Why it matters

Ensures privacy by routing traffic through multiple relay nodes.

Explore More

Current section: definition