zkDaily - 2026-03-05

零知识证明 zkDaily

ZKP Frontier Tracker 🎯

Thu

03.05

2026

Collaborative Incrementally Verifiable Computation

Paper

https://eprint.iacr.org/2026/410

Eden Aldema Tshuva CoSNARK IVC

Tshuva et al. proposed collaborative incrementally verifiable computation in their paper, enabling multiple parties to jointly update succinct proofs during streaming computations with reduced overhead.

Notes

Existing collaborative zkSNARKs suffer from high memory/communication overhead and lack updatability.
New scheme allows multiple parties to jointly update proofs at each step of streaming computation.
Constant communication overhead per step (with broadcast) and memory scaling with single step.
Applicable to privacy-preserving healthcare data aggregation, audits, and joint ML models.
Integrates IVC, folding, and MPC techniques to improve efficiency for large-scale datasets.
Breaks scalability barriers of collaborative proofs, enabling practical deployment.

Collected by @icerdesign

零知识证明 zkDaily

Q&A Deep Dive 💬

Thu

03.05

2026

What is a collaborative zkSNARK and how does it differ from a traditional single-prover zkSNARK?

A collaborative zkSNARK allows multiple mutually distrustful parties to jointly produce a proof attesting to the correctness of a computation over their private inputs without revealing them. In contrast, traditional zkSNARKs assume a single prover holding the entire witness.

What is Incrementally Verifiable Computation (IVC) and how does it help with long-running or streaming computations?

IVC decomposes a long computation into steps where each step updates a succinct proof that certifies both the current step and all previous steps, avoiding the need to reprove the entire computation history.

How does the construction maintain constant communication overhead per party?

Under a broadcast channel assumption, each party only sends a small update related to the current computation step. Since this update size does not grow with dataset size or computation history, the per-party communication remains constant.

Prompted by @icerdesign