Hyper-Efficient Universal SNARKs Decouple Proving Cost from Setup
HyperPlonk introduces a new polynomial commitment scheme, achieving a universal and updatable setup with dramatically faster linear-time proving, enabling mass verifiable computation.
Recursive Structure-Preserving Commitments Enable Constant-Size Universal SNARK Setup
Fractal Commitment Schemes introduce a recursive commitment primitive that compresses the universal trusted setup into a constant size, dramatically accelerating verifiable computation deployment.
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.
Folding Schemes Enable Efficient Recursive Zero-Knowledge Computation
Introducing folding schemes, a novel cryptographic primitive, dramatically reduces recursive proof overhead, enabling practical, constant-cost verifiable computation.
Transparent Recursive Proofs Secure Quantum-Resistant Decentralized State
Fractal introduces a hash-based, transparent SNARK, enabling recursive proofs for quantum-secure, constant-size verification of entire blockchain history.
Opening-Consistent IOPs Enable Trustless Erasure Code Commitments
This research introduces Erasure Code Commitments, a new primitive constructed via a novel IOP compiler, solving data availability without a trusted setup or high overhead.
Distributed Verifiable Random Function Secures Decentralized Unpredictable Public Randomness
A Distributed Verifiable Random Function combines threshold cryptography and zk-SNARKs to generate public, unpredictable, and bias-resistant randomness.
Fractal Commitments Enable Universal Logarithmic-Size Verifiable Computation
This new fractal commitment scheme recursively compresses polynomial proofs, achieving truly logarithmic verification costs for universal computation without a trusted setup.
Universal Commitment Schemes Achieve Optimal Prover Efficiency
A new polynomial commitment scheme enables optimal linear-time prover complexity with a universal, updatable setup, finally resolving the ZK-SNARK trust-efficiency paradox.
