なぜMPCではなくコラボレーションSNARKを使用するのですか? よく聞かれる質問ですが、すでにMPCネットワークを信頼しているのに、なぜZKをトップに置くのですか?いずれにせよ、信頼の仮定があるのなら、なぜそれを正しさのためにも信頼しないのでしょうか?🧵

1/ ZKは、コンピューティングを検証するデフォルトの方法になりつつあります。最初はオンチェーン、その後はおそらくどこでも。出力がMPCネットワークへの信頼のみに依存している場合、人々はそれを避け始めます。

2/ 自分のデータで MPC ネットワークを信頼していないかもしれませんが、他の人は信頼しています。ネットワークが ZK を介して計算を証明した場合、その結果を生成したネットワークを信頼していなくても、結果を信頼できます。 では、プライバシーに対する信頼の仮定も削除してみてはいかがでしょうか。

3/ できればいいのに。しかし、今のところ、現実的な方法はありません。そうは言っても、ますます多くの人々がこの仮定を減らしたり、さらには取り除いたりすることに取り組んでいます(私たち自身を含む)。 ここでZKで見たのと同じ種類の進歩を遂げれば、実際にはプライベート共有状態の理想的な解決策に近づくかもしれません。