Constant-Size Polynomial Commitments Unlock Massively Scalable Data Availability Sampling
KZG, a polynomial commitment scheme, provides constant-sized cryptographic proofs, fundamentally enabling efficient Data Availability Sampling for scalable rollups.
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.
Linear-Time Field-Agnostic SNARKs Unlock Massively Scalable Verifiable Computation
Brakedown introduces a practical linear-time encodable code, enabling the first $O(N)$ SNARK prover, fundamentally scaling verifiable computation and ZK-Rollups.
New Transparent Recursive Commitment Scheme Eliminates Trusted Setup Efficiency Trade-Off
LUMEN introduces a novel recursive polynomial commitment scheme, achieving transparent zk-SNARK efficiency on par with trusted-setup protocols.
Data Availability Encoding Yields Zero-Overhead Polynomial Commitments
By unifying data availability encoding with multilinear polynomial commitments, this research eliminates a major proving bottleneck, enabling faster verifiable computation.
Recursive Inner Product Arguments Enable Universal Transparent Polynomial Commitments
A novel recursive folding of polynomial commitments into Inner Product Arguments yields universal, transparent proof systems for highly scalable verifiable computation.
FRI-IOP Establishes Quantum-Resistant Polynomial Commitments for Scalable Proofs
FRI-based polynomial commitments replace pairing-based cryptography with hash-based, quantum-resistant security, enabling transparent, scalable ZK-SNARKs and data availability.
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.
Hyper-Dimensional Commitment Secures Data Availability Sampling Efficiency and Scalability
A new $k$-dimensional polynomial commitment scheme drastically reduces data availability overhead, unlocking massive throughput for decentralized rollups.