Sublinear Memory Zero-Knowledge Proofs Democratize Verifiable Computation
This breakthrough introduces the first sublinear memory ZK proof system, reducing memory cost from linear to square-root scaling, enabling proofs on all resource-constrained devices.