StarkWare は、Bitcoin Signet ネットワーク上で新しい STARK 検証ツールを使用し、初のゼロ知識 (ZK) 証明の検証に成功し、歴史的なマイルストーンを達成しました。

この開発は、ビットコイン ブロックチェーンの機能を拡張することを目的とした技術提案である OP_CAT の可能性を 3 か月間徹底的に調査した結果です。

検証者は、BTC のスケーラビリティを向上させ、グローバルな支払い機会を推進するための ZK ベースのレイヤー 2 (L2) ソリューションを開発するための基盤を築きます。

関連: Starknet ステーキングは第 4 四半期にメインネットに登場予定 — EthCC

OP_CAT 提案

OP_CAT 提案は、BTC ネットワークにスマート コントラクト機能を導入するもので、まだ承認プロセス中ですが、現在はテストネットである BTC Signet で利用可能です。

StarkWare の ZK 検証ツールは、テストネット上での提案のオペコードの最初の大規模な実用化です。BTC Signet ネットワークでの実装が成功したことは、いくつかの意味を持ちます。

L2 Iterativeの研究パートナーであり貢献者のWeikeng Chen氏は、Cointelegraphとのインタビューで、ZK検証は「これまでに行われたことのないものだ」と説明した。

「多くの構成要素が必要ですが、ビットコインコミュニティはこれまでこれらの構成要素を一度も構築したことがありません。」

関連: 新しいオープンソースの ZK 耐性により SQL クエリ時間が大幅に短縮

概念実証とアクセシビリティ

STARK 検証装置の概念実証では、フィボナッチの二乗数列の 32 番目の数字を検証するという数学的な問題を解くことが求められました。

チェン氏によると、このプロセスには「多大な労力」と「かなりの時間」がかかったという。ビットコインでのZK耐性の使用に関する情報がなかったため、チームは「何もないところからスタートした」。

チェン氏はコインテレグラフに対し、チームが「最初から基礎部分を書くのに数か月かかった」と語った。

「私たちは基本的に、ビットコインに ZK 検証を実際に実装している唯一のチームです。私たちが知っているさまざまな関係者から確認できるように、ZK 証明が検証されたのはこれが初めてです。」

不正証明や生存性に依存する他の BTC スケーリング ソリューションとは異なり、これは開発者に公開された最初の STARK ベースのソリューションであり、コードは GitHub でアクセスできます。

関連: StarkWare が ZK ビットコインスケーリングのための 100 万ドルの研究基金を設立

Starknet ステーキングが第 4 四半期にメインネットに登場

7月10日、EthCCで、StarkWareのCEOであるEli Ben-Sasson氏は、2024年末までにStarknetにステーキングを導入する計画を発表した。

Starknet改善提案（SNIP）を通じて提案されたコミュニティの承認により、ステーカーが「徐々により多くの責任を引き受ける」ことを可能にする新しいステーキング機能が導入されることになる。

SNIP が承認されると、ユーザーは最低限のステーキング額を保有するか、保有分を既存のステーカーに委任することでステーカーになることができます。

雑誌: Crypto-Sec: Evolve Bank がデータ侵害に遭い、Turbo Toad 愛好家が 3,600 ドルを失う