zk-SNARKs是一种(零知识证明)技术，全称为Zero-Knowledge Succinct Non-Interactive Argument of Knowledge。它使得(证明者)能够向(验证者)证明某个(计算陈述)的正确性，而无需泄露(私密输入/见证)的具体内容。该系统通过(算术电路)编译(计算任务)，并依赖(公共参数)与(证明密钥)、(验证密钥)来完成(非交互式)的(加密证明)生成与校验，常被应用于(区块链)的(隐私保护)与(二层扩容)场景中。
