zk-SNARK

简洁非交互式零知识证明：不泄漏信息的情况下证明陈述为真。用于 rollup 扩容和隐私协议。需要可信设置 Ceremony 是早期 zk-SNARK 的特有信任环节。