Siniel: Distributed Privacy-Preserving zkSNARK
Yunbo Yang
Network and Distributed System Security (NDSS) Symposium 2025 · Day 3 · Privacy & Cryptography 2
This talk introduces **Siniel**, a novel distributed privacy-preserving **zkSNARK** (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) system designed to enhance the security and efficiency of delegated proof generation. Presented by Yunbo Yang, Siniel addresses critical limitations present in existing state-of-the-art solutions, particularly the need for interactive engagement from the delegator during the proof generation phase. The core innovation lies in its introduction of non-interactive consistency checkers, which allow a delegator to offload the computational burden of proof generation to multiple workers while maintaining strong security guarantees against malicious behavior, without needing to actively participate in the verification process.
AI review
Siniel presents a legitimate cryptographic engineering contribution — eliminating delegator interactivity in distributed zkSNARK proof generation is a real problem worth solving, and the three-checker architecture (witness, POP, final proof) is a coherent answer to a well-defined threat model. The work is technically honest and grounded, but it's incremental improvement over EOS rather than a paradigm shift, and the missing performance numbers in the transcript make it hard to assess the practical cost of the added security.