Linear Prover Time Unlocks Optimal Succinct Argument Efficiency
This new Interactive Oracle Proof system resolves the prover-verifier efficiency trade-off, achieving linear prover time and polylogarithmic verification complexity.
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.
