Foresight NewsはX（旧Twitter）に投稿しました。Vitalik Buterin氏はプライバシー保護と、ブロックチェーン・システムが計算を検証する方法について論じました。彼は、従来の検証では、ノードが取引を独立して実行し、結果を照合する必要があるため、検証は可能ですが作業が重複し、ネットワークが扱える計算量が制限されると述べました。

Buterin氏は、計算を行う当事者が作業を完了した後に暗号学的な証明を生成し、他の参加者がその証明を検証して、計算がルールに従って実行されたことを確認するという代替案を説明しました。彼は、SNARKsやSTARKsのような証明システムは、複雑な計算を再実行するよりも検証を効率化できると述べています。さらに、これらのシステムにゼロ知識性の性質がある場合、開示する必要のない入力情報を隠したまま、結果が有効であることを確認できます。

彼は、関連しているが異なる2つの目標があると述べました。すなわち、繰り返し計算を減らすことと、プライバシーを保護することです。証明を用いてシステムをスケールさせても、それだけで取引が自動的にプライベートになるわけではなく、プライバシーには依然としてアプリケーションやプロトコルの設計が必要です。

またブテリン氏は、完全準同型暗号（FHE）にも言及しました。これは、計算主体が最初に復号することなく暗号化データを処理できる技術です。彼は、この技術は、元のデータを渡すことなく他者が計算を実行するための手段を提供すると述べました。

さらに彼は、これらのツールによって、計算がどこで行われるか、結果をどのように検証するか、特定の情報を誰が見ることができるか――といった点について、開発者がより柔軟に選べるようになり、アプリケーションの設計空間が広がると付け加えました。