ZK-SNARK信任设置：多参与方计算与有毒废料销毁机制
ZK-SNARK协议依赖公共参考字符串（CRS）生成证明，该字符串通过多参与方计算（MPC）仪式生成，其中包含必须销毁的随机性‘有毒废料’。
CRS生成与MPC仪式
ZK-SNARK协议运行需要预先创建的公共参考字符串（CRS），这充当证明和验证的公共参数。为了防止恶意行为者利用这些参数生成虚假证明，CRS的生成过程必须高度安全。通常，这通过多参与方计算（MPC）仪式来实现，涉及多个受信任的参与者。每个参与者贡献一部分随机性来构建CRS，从而分散了密钥生成的风险。
有毒废料的销毁
在MPC仪式中，每个参与者贡献的随机性被称为‘有毒废料’。这些随机性是构建CRS所必需的，但如果落入恶意行为者手中，将破坏证明系统的安全性。因此，仪式的一个关键步骤是所有参与者必须立即销毁各自贡献的‘有毒废料’。只要至少有一个诚实参与者销毁了他们的输入，CRS的安全性就能得到保证。
信任假设与安全性
尽管销毁机制降低了风险，但ZK-SNARK仍然依赖于对参与者的信任假设。这意味着用户必须信任参与MPC仪式的个人不会泄露他们的随机性。如果恶意参与者保留了他们的‘有毒废料’并试图生成虚假证明，他们可能会破坏系统的完整性。因此，这种信任设置是ZK-SNARK架构中一个关键的权衡点。
资料与延伸阅读
你可以通过以下原始资料核对文中概念，并继续深入阅读。