Field-Agnostic Polynomial Commitments Accelerate Multilinear Zero-Knowledge Proofs
A new polynomial commitment scheme, BaseFold, generalizes FRI using foldable codes, eliminating field restrictions and achieving 200x faster ZK prover times.
Equifficient Polynomial Commitments Enable Smaller Faster SNARKs
Equifficient polynomial commitments enforce consistent basis representation, enabling PARI to achieve the smallest 160-byte proof size and GARUDA to accelerate prover time with custom gates.
Equifficient Polynomial Commitments Achieve Smallest Proof Size and Fastest SNARKs
Equifficient Polynomial Commitments are a new primitive that enforces polynomial basis representation, enabling SNARKs with 160-byte proofs and triple-speed proving.
Equifficient Polynomial Commitments Enable Ultra-Succinct, Faster Zero-Knowledge Proofs
Equifficient Polynomial Commitments introduce a new cryptographic primitive that separates linear and nonlinear constraints, setting the new frontier for zk-SNARK efficiency.
Polylogarithmic Commitment Scheme Drastically Accelerates Zero-Knowledge Proof Verification
This new polynomial commitment scheme over Galois rings achieves polylogarithmic verification, fundamentally unlocking practical, high-speed verifiable computation.
Polylogarithmic Polynomial Commitment Scheme Unlocks Scalable Verifiable Computation
This new polynomial commitment scheme over Galois rings achieves polylogarithmic verification, fundamentally accelerating zero-knowledge proof systems and verifiable computation.
New Lookup Argument Achieves Optimal Commitment Size for Universal ZK Circuits
Lasso introduces a sparse multilinear polynomial commitment scheme to make non-arithmetic ZK operations linear, unlocking the lookup singularity.
Field-Agnostic Polynomial Commitments Unlock Fast, Universal Zero-Knowledge Proofs
BaseFold generalizes FRI, introducing foldable codes to create a field-agnostic polynomial commitment scheme with superior prover and verifier efficiency.
Equifficient Polynomial Commitments Drastically Reduce Zero-Knowledge Proving Cost
Equifficient polynomial commitments introduce a new cryptographic primitive to drastically reduce SNARK prover time and proof size, enhancing verifiable computation scalability.
