Oliver's Blog

❯

❯

❯

2025年4月10日1分钟阅读

Binyi Chen

Protostar: Generic efficient accumulationfolding for special-sound protocols
Continuous Space-Bounded Non-malleable Codes from Stronger Proofs-of-Space
Mangrove: A Scalable Framework for Folding-Based SNARKs
BaseFold: Efficient Field-Agnostic Polynomial Commitment Schemes from Foldable Codes
Hyperplonk: Plonk with linear-time prover and high-degree custom gates
VerITAS: Verifying Image Transformations at Scale
VeriZexe: Decentralized Private Computation with Universal Setup
Blaze: Fast SNARKs from Interleaved RAA Codes