Vega Achieves Practical Low-Latency Zero-Knowledge Proofs without Trusted Setup
A new ZKP system, Vega, uses fold-and-reuse proving and lookup-centric arithmetization to deliver sub-second credential verification, resolving the identity privacy-latency trade-off.
Zeromorph Unifies Multilinear Proofs with Efficient Univariate Commitments
Zeromorph is a cryptographic recipe that maps complex multilinear polynomials to simpler univariate forms, radically reducing ZK-SNARK verification cost.
Lookup-Only zkVM Architecture Fundamentally Simplifies and Accelerates Verifiable Computation
Lasso lookup arguments enable Jolt, a zkVM that shifts proving complexity from circuit constraints to efficient table lookups, unlocking new performance ceilings.
