Proof of Necessary Work Enables Ultra-Light Client Trustless Blockchain Verification
PoNW integrates SNARK proof generation into Proof-of-Work, transforming mining energy into chain-knowledge arguments for stateless, constant-time verification.
Data Availability Encoding Becomes Zero-Overhead Polynomial Commitment Scheme
This work unifies data availability and polynomial commitment schemes, achieving zero prover overhead by cryptographically repurposing data encoding.
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.
