今年初め、ベンチャー企業L2 Iterativeのウェイケン・チェン氏と彼のパートナーは、急速に発展するビットコインのエコシステムに関心を移すことを決めた。中国出身のチェン氏は、オーディナルズとレイヤー2の分野でさまざまなプロジェクトを支援し始めたマイニング業界の大手数社によるビットコイン開発への関心の高まりに注目していた。

「ビットコインに開発コミュニティがあるとは全然知らなかったよ」と彼は半ば冗談めかして言う。

先週まで話は進み、インフラ企業 Starkware の支援を受けて彼自身が率いるオープンソースの取り組みが、ビットコイン スクリプトを使用したゼロ知識検証器の初の実装を達成しました。

大きな進歩がほとんどない業界において、この取り組みに携わる人々はこの画期的な出来事の重要性を大いに喜んでいる。ゼロ知識証明はビットコインのプログラム可能性を解き放ち、その使用を世界規模で拡大するための鍵だと彼らは主張している。

この成果の背後には、わずか 6 か月前にビットコイン開発に着手し、今ではおそらく最も先進的なソフトウェアをコーディングした部外者の驚くべき旅があります。私は Weikeng Chen 氏にインタビューし、彼の動機、OP_CAT と STARKs をめぐる Starkware とのコラボレーション、そしてビットコイン開発のこの新しい時代に対する彼の見解について詳しく聞きました。

ゼロから始める

カリフォルニア大学バークレー校で暗号学の博士号を取得したチェン氏は、自分の技術力を業界に役立てて、潜在的な投資家や企業に自社の優位性を高める機会を探し始めたと説明した。豊富なエンジニアリング経験にもかかわらず、彼はすぐにリソースが不足しており、学習曲線が急峻であることに気付いた。「世の中にある資料の多くは時代遅れで、現在の開発状況を反映していません」と彼は述べた。ゼロ知識技術に対する彼の親和性は、最終的に、ゼロ知識証明の検証に必要な計算を実行するビットコインの能力に研究の焦点を当てることにつながった。

一つのウサギの穴が別のウサギの穴につながるように、ロビン・ライナスの BitVM という新しいコンピューティング パラダイムに関する研究が彼のレーダーに引っかかりました。ビットコインと互換性のあるゼロ知識システムを実装するために不正証明を使用する可能性に興味を持った彼は、ホワイト ペーパーを調べ始め、システムに含まれる概念のいくつかに問題があることに気づきました。「私はロビンに BitVM についていくつか質問するメッセージを送りました。そのホワイト ペーパーから得た BitVM についての私の理解は、まったく間違っていました。ロビンの最初の反応は、誰が私にそれを教えてくれたのかと尋ねたことだったのを覚えています」と彼は笑いながら思い出します。このやり取りがきっかけで、チェン、ライナス、その他の研究者の間で、元のアイデアを繰り返し検討し、最適化する方法を模索する短いながらも生産的なコラボレーションが始まりました。

「この方法がゼロ知識証明の検証に使用できることは明らかだったので、私の研究はすぐにSNARK検証器の実装の方向に進みました。」

検証者は、ビットコイン ネットワーク上でゼロ知識証明の検証を可能にする暗号化ツールです。

OP_CATの機会

同じ頃、ゼロ知識業界の大手 Starkware のチームは、ビットコイン コミュニティから生まれた新たな活動に注目していました。一部の人にとっては、それは長い間待ち望まれていたことでした。Starkware の創設者である Eli Ben-Sasson は、初期のビットコイン カンファレンスで暗号通貨の文脈でゼロ知識技術について議論した最初の人物と言えるでしょう。それからほぼ 10 年が経ち、Starkware の研究と ZK-STARK 技術は、この分野で増え続けるアプリケーションの基盤となっています。

「2013年にビットコインのスケーリングに有効性証明の使用を提案したとき、私はサトシがまだ存在していて、それをより早く実現させてくれることを期待していました。Weikeng Chenのような暗号の先見者や、Andrew PoelstraやEthan HeilmanのようなビットコインOP_CAT研究者のおかげで、私の11歳の夢は今や手の届くところにあるように感じます」とベン・サッソン氏はコメントした。

先月、同社はビットコインとゼロ知識証明の間の技術ギャップを埋めることに重点を置いた数多くの取り組みの展開を開始すると発表しました。OP_CAT ソフトフォーク提案の可能性を研究および調査するために、100万ドルの申請助成金が提供されました。

この発表は注目に値する熱狂を巻き起こし、何がこの楽観主義を駆り立てているのか疑問に思う人もいた。最近まで、ビットコインにおけるゼロ知識技術の見通しは、ほとんど後付けで、日の目を見ることのない別の OP コードのようなものだった。実際、ビットコインのコードベースへの小さな変更について合意を得るのが難しいことから、より複雑なものが実現する可能性は低いと思われていた。

Starkware の貢献者との会話によると、Weikeng の BitVM の進捗状況を知ったのは 5 月頃で、雰囲気が劇的に変わった。結局、開発者はすでに同社の Circle STARKs テクノロジーに目を向けていた。数か月前に発表された論文で、Chen はすでに後者を「ビットコインに適した証明システム」と位置づけていた。

何度かのやり取りの後、両者は協力して、OP_CAT プリミティブを使用した STARK 検証器のオープンソース実装に専念する共同の取り組みを立ち上げることに同意しました。「それができるとわかっていました。必要なのは、すべてのピースをまとめることだけでした」とチェンは言います。「ビットコイン ワイルドライフ サンクチュアリ」が誕生しました。

2 か月後、BitVM の初期の貢献者である Pingzhou Yuan 氏などの他の開発者の協力により、プロジェクトは目標を達成したようです。先週金曜日の午前遅く、Chen 氏はプロジェクトの Telegram グループに飛び込んで、他の参加者にニュースを伝えました。「仕事が終わったと思います!」

ローカルテストが成功した後、開発者は一連のトランザクションをビットコインの Signet テストネット ネットワークにブロードキャストし、スクリプト全体を実行しました。オンチェーンの使用を最適化するために、Starkware のオープンソース Stwo 実装に基づく STARK 証明は、OP_CAT ベースの契約を使用して連鎖された同時トランザクションに分割されます。

2024年7月12日午前6時29分、Signetネットワーク上で最終取引が確認され、支持者たちはこれがビットコインの新たな発展時代の始まりであると考えている。

「これは大変な努力で、かなりの時間がかかりました」とチェン氏は語った。「私たちは何もないところから始めました。ビットコインにはZK証明に関する情報がありませんでした。その後に続く数学的操作に関する情報もありませんでした。私たちはフルスタックを構築する必要があり、それが最終的にSTARK検証器の実装につながりました。」

新たな発展の道を切り開く

この結果は祝福に値するが、チェン氏は仕事はまだ終わっていないと強調する。ビットコインのロールアップのような新しいスケーリングプロトコルの基盤を構築するという自身の仕事について楽観的かと尋ねられると、同開発者はすぐに期待を裏切った。

「アイデアは大体機能していますが、概念実証はまだ実用化されていません。有効性の証明には大量のブロックスペースも必要で、将来的にはコストが高くなる可能性があります。」

Starkware の貢献者は、今後の課題を認識していますが、プロジェクトの成功は、ZK ロールアップ技術を活用できるビットコイン スケーリング ソリューションに向けた「画期的な前進」を意味すると確信しています。

確かなことは、このコラボレーションにより、潜在的な OP_CAT ソフトフォークを支持する議論がさらに強化される可能性が高いということです。検証ツールの実装をまとめるために、Chen 氏は、スクリプト改善提案の汎用性を強調するために、CAT を使用した契約の信頼できるフレームワークを開発する必要があったと述べています。彼は、エコシステム内の他の開発者が彼のコードを試して、その利点に関して彼と同じ結論に達することができると考えています。

「ベストプラクティスを開発してしまえば、リスクはそれほどないと思います。これがうまくいかない場所はそれほど多くありません。OP_CAT がさまざまな契約プロジェクトに安全に適応できることが明確に実証されました。」

今後のアクティベーション プロセスに貢献する意向があるかどうか尋ねられたとき、開発者は、ビットコインのオープン ソース開発を取り巻く動向にまだ十分精通していないことを率直に認めました。次に、開発メーリング リストのメンバーと進捗状況を共有し、他の人がレビューに貢献し、自分の作業にフィードバックを提供できることを期待しています。

これまでの経験を振り返り、チェン氏はエコシステムに参入する新しい開発者にとって肥沃な環境を作ることの重要性をすぐに指摘した。彼は、統一されたビジョンが欠如しているために、多くの才能ある開発者がビットコイン上で構築する機会を逃していると考えている。

「現時点では明確な方向性がないため、貢献者は将来に影響を与える能力があるかどうか困惑しています。新しいツールやプリミティブの出現によってこの状況が改善され、ビットコイン利用者が再び夢を見ることができるようになることを願っています。」

出典: ビットコインマガジン

この記事は、ビットコインでゼロ知識証明が史上初めて検証されたという記事をCrypto Breaking Newsに初めて掲載したものです。