ビットコインエコシステムのマイルストーン：ZuluがZKP検証を実装

著者：Nikki Xiaochuソース：medium

ビットコインのエコシステムにおける大きなマイルストーンは、最近、ビットコインのスクリプトを利用したZuluのzk-SNARK検証（ZKP）の実装の発表によってもたらされた。Groth16/FFlonk主流アルゴリズムが関与し、コードはBitVMリポジトリにコミットされました。

ZKPにビットコインスクリプトを実装することは、ビットコインネットワークがレイヤー2を検証できることを意味します。これが本当に意味するのは、ブロックチェーン上で最も安全なネットワークであるはずのBitcoin Powメカニズムからビットコインネットワークのセキュリティを継承する役割を担うlayer2です。

ZKPの実装は、ビットコインネットワークのプログラム上の制限により特に困難です。既存のビットコインL2のほとんどは、そのオンチェーン状態をビットコインネットワーク上で直接検証することができないため、実際のところ、真のローL2ではありません。彼らが現在行おうとしているのは、btcネットワークにポストされるzk証明を生成することである。しかし、この証明はビットコインネットワークによって検証されるのではなく、彼ら自身のネットワークの役割によって検証されるため、L2のオンチェーン状態は良い意味でビットコインネットワークから切り離されることになる。

これはイーサリアムのlayer2とは大きく異なる。 zk-rollupとop-rollupはどちらもデータをパッケージ化し、検証のためにメインのイーサリアムネットワークに渡します。 他のパブリックチェーンに対するイーサネットのレイヤー2の最大の利点は、レイヤー2のセキュリティがイーサネットによって保証されていることです。

ビットコインネットワークによって検証されるようになるレイヤー2の最大の利点は、ビットコインネットワークのセキュリティを継承していることです。ビットコインネットワークのセキュリティはイーサリアムよりも明らかに優れている。さて、そのセキュリティを本当に継承する方法は2つある。1つはバビロンに代表されるもので、ネイティブBTCを誓約し、それ自体がposネットワークによって管理され、悪人には厳しい罰則がある。誓約されたbtcの価値が比較的大きい場合、セキュリティを確保する方法として、悪事を働くコストが非常に高くなります。しかし、この列挙は、そもそも誓約する大量のBTCがあることを前提としている。

2つ目は、ビットコイン独自のパワードネットワークを利用することです。時価総額が最も高いネットワークとして、btcは14年間安全に運営されており、ネットワーク内で最も高い計算能力を持ち、そのセキュリティ係数は自明です。その後、ビットコインネットワークのセキュリティを継承することができ、そのbtcの重要な部分は、検証を達成することができます。つまり、今回のZuluは、今回のZKPの厳しい意義。前回Zuluネットワークに注目したのは、ビットコインの2層アーキテクチャを開拓した時だった。今回のzk-SNARK検証（ZKP）は、Zuluを支える技術力が非常に強いことも実感させてくれた。

zk-SNARK 中国語

SNARK（Succinct Non-Interactive Argument from Knowledge）とは、簡潔で非対話的な知識からの論証であり、その中核は、検証者にデータの正しさを検証させる証明システムを構築する数学的アルゴリズムです。を構築する数学的アルゴリズムである。ご存知のように、イーサネット・レイヤー2にはzk-rollupとop-rollupがあり、op-rollupは中間的な移行期間に過ぎないが、zk-rollupは最終形態である。zk-rollupはzkアルゴリズムを使用してトランザクションをバッチパックし、SNARK証明を生成してメインネットワークに提出し、メインネットワークはバッチ内のすべてのトランザクションを検証します。

BitVM

ここでBitVMを紹介することは重要です。BitVM以前は、ビットコインのスクリプトはチューリングではありませんでした。多くの人々が多くの作業を行ったにもかかわらず、それでも機能しなかった。ロビン・ライナスが驚異的なBitVMを発表したのは昨年10月のことで、ロビンのアプローチはビットコインのスクリプトでNANDゲートと呼ばれる特別な起動論理ゲートを検証することだった。これは計算の基本的な意味列の一つであり、物理的／電気的レベルに位置する。すべての可能な計算は、NANDゲートから構築することができる。

最近、ロビンはBitVM 2の設計案を持って戻ってきました。

BitVMの意義は、アップグレードもフォークもなく、btcに追加の負担をかけることなく、ビットコインネットワークを使った認証を可能にすることです。BitVMの重要性のため、多くのlayer2がBitVMの上に構築されている。例えば、Bitlayerはコア・コンポーネントとしてBitVMを使用し、レイヤー仮想マシン技術に投資するレイヤー2ソリューションです。

BitVMはまた、Zulu Networkの非常に重要な一部でもあります。ZuluはBitVMにとっても非常に重要な貢献者であり、ビットコインスクリプトによるzk-SNARK認証の実装はBitVMのコアステップです。zuluは公式BitVM 2 GitHubコードリポジトリに貢献しており、これはBitVMの発明者であるRobin Louisによって高く評価されています。

先週、ZuluはGroth16スクリプトのスライスを終えました。2つの公開入力は、合計1,701の添え字をスライスし、サイズは4M未満、深さは<1000でした。 最初のZKPスクリプトのスライスが完了し、BitVMの商用化に向けてまた新たな一歩を踏み出しました。Zuluの素晴らしい仕事のおかげで、BitVM2はすぐにビットコインベースで最初のSNARK証明を実装することができます。また、Zuluの技術も最先端であることを示している。

画像注：Zuluの技術は、BitVMの発明者であるロビン・ルイス氏によって高く評価されています

最後に、Zuluネットワークについて簡単に紹介します

Zuluは、次のようなネットワークです。Zulu Networkは、ビットコインエコシステムのための2層ネットワークです。layer2はEVM互換のZuluPrimeです。 EVMプロジェクトは、繁栄するエコシステムを可能にするために、迅速かつハイエンドに展開することができます。もう1つのレイヤーはZuluNexusと呼ばれるレイヤー3で、革新的にUTXOとアカウントアセットタイプを統合し、UTXOモデルに基づくスマートコントラクトのイノベーションを可能にします。Zuluは2つの製品に取り組んでいます：

• ZKPを試して、オフチェーンの状態を確認することができます。資産発行をサポートするためのZuluブリッジ

• ユーザーに任意の数のチェーン操作を提供する分散型ZKブリッジを開発中

Zulu。コインはまだ発行されていないので、早く参加したい場合は、Zuluの現在のテストネットポイントキャンペーンに参加することができます。https://www.yuque.com/zulunetworkzhongwenshequn/zvggg8/kr9epkg0v27rh860?singleDoc#