Oliver's Survey

❯

❯

2025年4月10日1分钟阅读

Dan Boneh

zkBridge: Trustless Cross-chain Bridges Made Practical
zkPi: Proving Lean Theorems in Zero-Knowledge
Zero-knowledge proofs on secret-shared data via fully linear PCPs
Halo Infinite: Proof-Carrying Data from Additive Polynomial Commitments
Mangrove: A Scalable Framework for Folding-Based SNARKs
Hyperplonk: Plonk with linear-time prover and high-degree custom gates
Bulletproofs: Short proofs for confidential transactions and more
VerITAS: Verifying Image Transformations at Scale
Volatile and Persistent Memory for zkSNARKs via Algebraic Interactive Proofs
Scaling verifiable computation using efficient set accumulators
Experimenting with collaborative zk-SNARKs: Zero-Knowledge proofs for distributed secrets