証明システム

Web3資産データプラットフォームRootData Xの追跡データによると、過去7日間で、人間の認証システムVeryAIは新たにX（Twitter）で最も多くの著名人フォロワーを獲得したプロジェクトであり、新たにこのプロジェクトをフォローしたXの影響力のある人物には、zac.eth(@zacxbt)、默默(@momochenming)、小捕手CHAOS(@iamyourchaos)が含まれます。さらに、Xで最も多くの著名人フォロワーを持つプロジェクトにはinsiders.botも含まれています。

ChainCatcher のメッセージによると、Forbes の報道では、2024 年の非金融類リアルワールドアセット（RWA）トークン化規模が前年比 240% 増加し、従来の RWA カテゴリを大きく上回るとされています。核心的な進展は、ドメイン資産、知的財産、カーボンクレジットの三つの分野に焦点を当てています。知的財産の分野では、Oasys などのプラットフォームがブロックチェーン IP 証明システムを構築し、権利確定詐欺リスクを低減しています。音楽著作権の分割取引モデルは、クリエイティブ産業にまで拡大しています。Oasys は、ゲーム専用に設計された Layer1 ブロックチェーンであるとされています。Oasys はその EVM L1 とプライベート L2 の統合を通じて、大規模および独立系ゲームスタジオに対して、彼らのゲームと知的財産をチェーン上に展開するための魅力的なソリューションを提供しています。

ChainCatcher のメッセージ、コミュニティメンバーの Daniel Wang が提案した L2 ネットワークの Stage 2 フェーズの命名ラベル #BattleTested に対し、イーサリアムの共同創設者 Vitalik が X プラットフォームで発表した内容は次の通りです："これは良いリマインダーです：第二段階は安全性に影響を与える唯一の要因ではなく、基盤となる証明システムの質も同様に重要です。これは、第二段階に入るタイミングを示す簡略化された数学モデルです：各安全理事会メンバーには 10% の独立した「破壊」機会があります；私たちは、活動の失敗（署名の拒否またはキーへのアクセス不可）と安全の失敗（間違ったものに署名することやキーがハッキングされること）を同等の可能性と見なします；目標：上記の仮定の下でプロトコルの崩壊の可能性を最小化することです。フェーズ 0 の安全理事会は 4/7、フェーズ 1 は 6/8 です；これらの仮定は非常に不完全であることに注意してください。実際には、理事会メンバーには「共通モード故障」があります：彼らは共謀する可能性があり、または全員が脅迫されるか同じ方法でハッキングされる可能性があります、などです。これにより、フェーズ 0 とフェーズ 1 はモデルで示されているよりも安全性が低くなるため、モデルが示唆するよりも早くフェーズ 2 に入ることが最良の選択です。さらに、証明システム自体を複数の独立したシステムのマルチシグにすることで、証明システムの崩壊の確率を大幅に低下させることができることに注意してください（これが私が以前の提案で提唱したことです）。私は、過去数年のすべての第二段階の展開がこのようになると疑っています。これを考慮に入れると、これはグラフです。X 軸は証明システムの崩壊の確率です。Y 軸はプロトコルの崩壊の確率です。証明システムの質が向上するにつれて、最適な段階はフェーズ 0 からフェーズ 1 に移行し、次にフェーズ 1 からフェーズ 2 に移行します。フェーズ 0 の質の証明システムを使用してフェーズ 2 を行うことは最悪です。要するに、@l2beat は理想的には証明システムの監査と成熟度指標（可能であれば証明システムの実装ではなく全体の集約を再利用できるように）およびフェーズを示すべきです。"

ChainCatcher のメッセージ、バイナンスの準備金証明システムが発表されてから2年：34種類のトークンをカバーし、資産は1200億ドルを超えています。

ChainCatcher のメッセージによると、Cointelegraph が報じたところでは、21Shares は Chainlink の準備証明 (PoR) システムを統合し、そのコアのイーサリアム ETF "CETH" に対してより高い透明性を提供しています。Chainlink Labs の最高ビジネス責任者 Johann Eid は、共同声明の中で、新たな統合によってもたらされる透明性がデジタル資産の採用をさらに促進する可能性があると述べています。「21Shares はデジタル資産の採用を支援する上で重要な役割を果たしており、Chainlink プラットフォームは金融機関が世界中でシームレスなトークン化を実現するビジョンを支援しています。」報道によれば、PoR システムはリアルタイムの準備データと準備履歴を提供し、公開検証可能な方法で提供され、直接 Coinbase 取引所からデータを抽出します。

ChainCatcher のメッセージによると、Coindesk が報じたところでは、Polygon Labs は最新のゼロ知識証明システム Plonky3 を発表しました。このシステムは以前の Plonky2 よりも柔軟性が向上しています。ゼロ知識証明システムはブロックチェーンエコシステムの核心コンポーネントであり、オフチェーン取引を要約する証明を生成し、その情報をメインチェーンにフィードバックする役割を担っています。Plonky3 は現在、オープンソースソフトウェアとしてリリースされており、MIT および Apache ライセンスを採用しています。Polygon は、将来の技術開発を促進するために、すべての証明システムを1つのコードベースとフレームワークに統合する計画です。

ChainCatcher のメッセージによると、公式ツイッターで、Ola は最近その証明システムに Poseidon2 ハッシュをサポートしました。元の Poseidon ハッシュと比較して、40% 以上の prover 性能向上を達成しました。報告によると、Poseidon2 は Poseidon ハッシュと同等の安全性を維持しながら、より優れた zk-friendly 特性を持つ新しいハッシュアルゴリズムです。zk フレンドリーなハッシュアルゴリズムは、Ola の証明システム全体で広く使用されており、プライベートステートツリー、パブリックステートツリー、検証プロセス、plonky2 再帰プロセスなどが含まれています。Horizen Labs の論文における Poseidon2 ハッシュのアルゴリズムと実装を深く研究した後、Ola はそれを正式に証明システムに統合しました。公式によると、Ola ZKVM の内部テストネットは今年の Q4 初めに立ち上がる予定で、近日中にさらなる開発の詳細が発表されるとのことです。

ChainCatcher のメッセージによると、Polygon の公式のゼロ知識証明チームである Polygon Zero は、Matter Labs が最近発表した Boojum 証明システムに、Plonky2 ライブラリの性能に関する重要なコンポーネントのソースコードが大量にコピー＆ペーストされていることを指摘し、元の著作権やオリジナルの著者が明記されていないと述べています。直接コピーされたコードに加えて、Boojum は Plonky2 と非常に似ています。小範囲内の堅牢性を向上させるために同じ並列繰り返し戦略を使用し、再帰的な検証算術を効果的に行うために類似のカスタムゲートを使用し、Polygon Zero のメンバーである Ulrich Haböck が開発した同じ検索パラメータを使用しています。さらに、Polygon Zero は、Matter Labs の創設者が Boojum が Plonky2 よりも 10 倍以上速いと主張していることは誤解を招く声明であると述べています。

ChainCatcher のメッセージによると、Optimism エコシステムの開発者は OP Stack の障害証明システムを開発しており、これには防錯プログラム（FPP）、防障害仮想マシン（FPVM）、Dispute Game などのコンポーネントが含まれています。さらに、FPP と FPVM の分離により、同じオペレーターが FPVM と ZKVM の両方で実行できるようになり、OP Stack ZKP が ZK に基づく有効性証明を実現し、異なるネットワーク間の低遅延クロスチェーンブリッジをサポートするのに役立ちます。（ソースリンク）

ChainCatcher のメッセージ、zkSync Era は新しい証明システムのアップグレード Boojum を発表し、ネットワークが STARK 対応の証明システムに移行するのを支援します。Boojum の証明者は 16 GB の RAM しか必要ないため、チームは Boojum が証明者の分散化を実現するための重要なステップであると述べています。さらに、Boojum は zkSync Era のオーダラーに対して性能の補完を提供します。（出典リンク）

ChainCatcher のメッセージ、ゼロ知識証明スタートアップ RISC Zero は、モジュラー L2 プロトコル Layer N と共同でゼロ知識詐欺証明システムを発表しました。このシステムは、Layer N の実行環境を RISC Zero の zk 仮想マシンに移植することで、ブロックチェーンのパフォーマンスを向上させつつ、ブロックチェーンの信頼性と安全性を確保します。今後、zkVM は EVM、SVM、WASM などの他の実行層との互換性も実現する予定です。（出典リンク）

ChainCatcher のメッセージによると、CoinDesk が報じたところでは、Robin Linus、Tino Steffens、Lukas George などが設立した「ZeroSync 協会（ZeroSync Association）」というスイスの非営利団体が、ビットコインの証明システムを開発し、ビットコインのプライバシー、相互運用性、スケーラビリティを備えた未来を構築することを主導します。ZeroSync は STARK 証明に基づいており、ビットコインの証明を実現するために、StarkWare によって作成された Cairo 言語を使用します。ZeroSync は、ヘッダー チェーン証明、仮想有効チェーン証明、全チェーン証明の3つの連続した段階で展開される予定であり、現在、最初の2つのプロトタイプが完成しています。ZeroSync Toolkit は、ビットコイン開発者に強力なツールを提供し、ゼロ知識証明を自分の製品やサービスに適用できるようにします。（出典リンク）

ChainCatcher のメッセージ、バイナンスはその準備証明（PoR）システムにさらに 11 種類のトークンを追加したと発表しました。これには MASK、ENJ、WRX、GRT、CHR、CRV、1INCH、CVP、HFT、SSV、DOGE が含まれます。現在、バイナンスの PoR システムで検証された 24 の資産の総額は 630 ドルを超え、バイナンスの準備金は 630 億ドルを超えています。バイナンスは、ユーザーの資金は常に 1:1 の比率で担保され、さらに追加の準備金があると述べています。（出典リンク）

ChainCatcher メッセージ、暗号取引プラットフォーム BitMEX が責任証明（PoL）システムを導入したと発表しました。このシステムは、預金者が暗号通貨取引プラットフォームの総負債資産負債表の中で自ら負債を検証できることをサポートします。自らの検証プロセスは、第三者の監査人なしで行うことができるとのことです。アカウント残高はランダムに Merkle ツリーの複数の葉に分割されるため、顧客のプライバシーが保護されます。準備金と負債のスナップショットは、それぞれ毎週火曜日と木曜日に公開されます。（出典リンク）

ChainCatcher のメッセージによると、ゼロ知識証明技術開発会社 StarkWare は Twitter で、STARK 証明システム言語プログラミング言語 Cairo を使用して ZK-EVM の開発を完了したと発表しました。明日、イーサリアム共同創設者の Vitalik Buterin、ZK-STARK の共同発明者 Eli Ben-Sasson、StarkWare のメンバー Shahar Papini などを招待して Twitter Space を開催する予定です。Cairo はチューリング完全なゼロ知識証明システム言語であり、まだ初期開発段階にあります。（出典リンク）