为什么要使用协作SNARK而不是仅仅使用MPC? 我们经常被问到:如果你已经信任一个MPC网络以确保隐私,为什么还要在其上加上ZK?如果反正有信任假设,为什么不也信任它的正确性呢?🧵
1/ ZK 正在成为验证计算的默认方式。首先是在链上,然后可能会到处使用。如果你的输出仅依赖于对 MPC 网络的信任,人们将开始避免它。
2/ 你可能不信任MPC网络处理你自己的数据,但其他人信任。如果网络通过ZK证明其计算,你仍然可以信任结果——即使你不信任产生该结果的网络。 那么,为什么不也消除对隐私的信任假设呢?
3/ 我希望我们能做到。但现在,没有实际的方法。也就是说,越来越多的人正在努力减少甚至消除这个假设(包括我们)。 如果我们在这里取得与我们在 ZK 中看到的相同进展,我们可能实际上会接近一个理想的私有共享状态解决方案。
2.22K