Sublinear Zero-Knowledge Proofs Democratize Verifiable Computation on Edge Devices
Researchers solved the ZKP memory bottleneck, achieving square-root space complexity to enable large-scale, private computation on all devices.
Erasure Code Commitments Cryptographically Enforce Data Availability Consistency
This new cryptographic primitive, defined by position- and code-binding, solves the data availability problem by guaranteeing that committed data is a valid erasure codeword, securing modular blockchain scaling.
