Statement Hiders Enable Privacy Preserving Folding Schemes for Verifiable Computation
The Statement Hider primitive blinds zero-knowledge statements before folding, resolving privacy leakage during selective verification for multi-client computation.
Folding Schemes Enable Efficient Recursive Zero-Knowledge Computation
Introducing folding schemes, a novel cryptographic primitive, dramatically reduces recursive proof overhead, enabling practical, constant-cost verifiable computation.
