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