Halo2 circuits paired with inner product argument commitments to keep verification costs logarithmic for shielded flows.
Halo2-IPA Proofs
CryptographyHalo2 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.