Skip to main content

Halo2-IPA Proofs

Halo2 circuits paired with inner product argument commitments to keep verification costs logarithmic for shielded flows.

Halo2-IPA Proofs

Cryptography

Halo2 circuits paired with inner product argument commitments to keep verification costs logarithmic for shielded flows.

Sections

Definition

Halo2 circuits paired with inner product argument commitments to keep verification costs logarithmic for shielded flows.

Why it matters

Ensures privacy by routing traffic through multiple relay nodes.

Explore More

Current section: definition