zk-SNARK
简洁非交互式零知识证明：不泄漏信息的情况下证明陈述为真。用于 rollup 扩容和隐私协议。需要可信设置 Ceremony 是早期 zk-SNARK 的特有信任环节。
zk-SNARK（简洁非交互式知识论证）是零知识证明的主流构造：证明小、验证快、无需多轮交互；需要可信设置（ceremony）生成参数——设置被污染则声音全假（历史项目用多方仪式降低风险）。与 STARK 的差异：SNARK 证明更小、需可信设置；STARK 抗量子、无需仪式（见零知识证明）。
简洁非交互式零知识证明：不泄漏信息的情况下证明陈述为真。用于 rollup 扩容和隐私协议。需要可信设置 Ceremony 是早期 zk-SNARK 的特有信任环节。
zk-SNARK（简洁非交互式知识论证）是零知识证明的主流构造：证明小、验证快、无需多轮交互；需要可信设置（ceremony）生成参数——设置被污染则声音全假（历史项目用多方仪式降低风险）。与 STARK 的差异：SNARK 证明更小、需可信设置；STARK 抗量子、无需仪式（见零知识证明）。