Sublinear Zero-Knowledge Provers Unlock Ubiquitous Verifiable Computation
This research pioneers a sublinear-space zero-knowledge prover, transforming ZKP accessibility for resource-constrained environments and expanding verifiable computation applications.
Sublinear ZKP Provers Unlock Ubiquitous Verifiable Computation
This breakthrough reconfigures ZKP generation as tree evaluation, enabling proofs on resource-limited devices and expanding verifiable computation's reach.
