#Bitcoin上でGroth16の証明を検証することは、かつて不可能に感じられました。

回路は一度しか動作しませんでした。データはテラバイトにまで膨れ上がりました。そして、回路が正直であることを証明するためだけに、追加のZKPsが必要でした。

#BitVM3はそれを変えます。

対称暗号をRSAベースの準同型暗号に置き換え、ガーブル回路を再利用可能にします。

ガーブル回路の証明は最小限に抑えられます。一度限りの使用制限はもうありません。

本当のブレークスルーは？

ガーブル回路の再利用性です。

Groth16はモジュール乗算を何千回も繰り返すため、BitVM3は繰り返されるロジックを一度ガーブル化し、すべてのGroth16回路評価で再利用します。

オフチェーンのデータ要件は、テラバイトからわずか数メガバイトに減少します。

なぜこれが重要なのでしょうか？

🔸ライトクライアントは不正証明を検証できます

🔸 ビルダーは、完全な$ZKロジックをロールアップ、ブリッジ、およびネイティブアプリに統合できます

🔸 プロトコルは、オフチェーンのオーバーヘッドに悩まされることなくスケールできます

BitVM3は、Groth16の証明検証を現実世界の規模にもたらし、Bitcoinでのトラストレスな#$ZKを最終的に実用的なものにします。

BitVM3を最初にどこに適用したいですか？ 👇

月曜日、BUIDLしましょう！