Oliver's Blog

❯

❯

❯

2025年4月10日1分钟阅读

Benedikt Bünz

Protostar: Generic efficient accumulationfolding for special-sound protocols
Proofs for deep thought: Accumulation for large memories and deterministic computations
Threshold signatures from inner product argument: Succinct, weighted, and multi-threshold
Verifiable delay functions
Proof-carrying data without succinct arguments
Transparent SNARKs from DARK Compilers
Hyperplonk: Plonk with linear-time prover and high-degree custom gates
Bulletproofs: Short proofs for confidential transactions and more
VeriZexe: Decentralized Private Computation with Universal Setup
Linear-Time Accumulation Schemes