New Zero-Knowledge System Accelerates Private Verifiable Computation Twelve-Fold
Introducing zkVC, a zero-knowledge system leveraging circuit and query optimization to dramatically accelerate verifiable computation, unlocking scalable private AI.
Orion Achieves Linear Prover Time for Scalable Zero-Knowledge Proofs
Orion introduces a linear-time encoding circuit and novel proof composition, shattering the ZKP prover bottleneck for massive on-chain computation.
New Accumulation Scheme Enables Post-Quantum, Symmetric-Key Verifiable Computation
Symmetric-key accumulation via error-correcting codes removes public-key reliance, establishing a path toward efficient, post-quantum verifiable computation.
