Folding Schemes Enable Fastest Recursive Zero-Knowledge Argument Construction
Introducing folding schemes, Nova achieves incrementally verifiable computation with constant recursion overhead, fundamentally accelerating proof aggregation for scalable blockchain systems.
Zero-Overhead Data Availability Protocol Enables Trustless Scalability
ZODA introduces a tensor code-based proof of encoding that eliminates sampler communication overhead, fundamentally democratizing data availability verification for light nodes.
