Everything on Cryptographic Infrastructure

SumCheck based SNARKs reduce the amount of data a prover must commit to. This lowers cryptographic overhead while keeping verification fast.

Impact: Makes rollups, data availability, and decentralized prover markets more cost effective. Supports larger scale verification of off chain computation.

— from Zero Knowledge Proofs and Blockchain Market Design · web3 with a16z crypto· Aug 13, 2026