Gate News のお知らせ：5月22日、Gateのマーケット情報によると、原稿時点でBOB（BOB）は0.008ドルで推移しており、過去24時間で37.91%上昇、最高値は0.0084ドル、安値は0.00588ドルまで下落しました。24時間の取引高は113.38万ドルです。現在の時価総額は約1777.11万ドルです。 BOBは、ビットコインDeFiへの扉を構築しています。世界で最も重要な資産の解放が持つ、真の実用価値を実現するために。ビットコインの比類ない安全性とイーサリアムの柔軟性を融合することで、BOBはビットコインの流動性、アプリケーション、そして機関投資家資金の最有力な目的地を作り上げました。BOBのハイブリッドチェーンは、独自にZKゼロ知識証明とBTCステーキングを組み合わせ、イーサリアムとビットコイン（BitVM）へ同時につながるネイティブ・ブリッジを構築しています。BOBのマルチチェーン・ゲートウェイにより、ユーザーはビットコインを任意の資産に交換したり、11+本のチェーンにまたがるDeFiプロトコルに直接預け入れたりできます。これはBTCインテント（intents）

公式発表によると、ZKベースの検証可能なコンピューティング・プラットフォームであるBrevisが開発したメディア信頼性検証ツール「Brevis Vera」が、現在一般に公開されています。ユーザーは、任意のC2PA対応カメラまたはスマートフォンを使用して画像をキャプチャできます。C2PAにより、デバイスは撮影した瞬間にメディア内容に対して暗号学的な署名を付与し、それをハードウェアに紐づけることで、改ざんに強いソースメタデータを生成できます。

BlockBeatsによると、イーサリアムの共同創業者ヴィタリック・ブテリンは5月19日に、AI強化された形式的検証が「ソフトウェア開発の究極の形」になり、高度なAI脅威への重要な防衛策になると概説した。ヴィタリックは、形式的検証はコードの正しさを数学的に検証可能な定理へと変換し、従来のテストや監査ではなく数学的な証明によってソフトウェアのセキュリティを保証すると説明した。 ヴィタリックは、この手法は特にイーサリアムの次段階のアップグレード、つまり量子耐性のある署名、STARKの証明システム、ビザンチン耐故障性のあるコンセンサス、ZK-EVMに適していると強調した。彼は、AIセキュリティの課題が増大する中で、イーサリアムは「セキュリティ・コア」アーキテクチャの不可欠な構成要素になり、重要なシステムは形式手法によって強化される一方で、周辺コンポーネントは最小限の権限でサンドボックス内で動作するようになると述べた。

ChainCatcherによると、Vitalikは本日「形式検証への浅い入門」というタイトルの記事を公開し、形式検証がEthereum開発におけるセキュリティと効率の両方をどのように高められるかを論じました。開発者はLean、EVMバイトコード、またはアセンブリ言語を使ってコードを書き、機械的に検証可能な数学的証明によってその正しさを確認できます。Vitalikは、形式検証はSTARKs、ビザンチン故障許容のコンセンサス、ZK-EVM、ポスト量子署名のような複雑なシステムに特に適している一方で、仕様の誤り、コードのカバレッジ不足、ハードウェアレベルの攻撃といった制限もあると指摘しました。

BlockBeatsによると、イーサリアム共同創設者のVitalik Buterin氏が、Consensys共同創設者のJoseph Lubin氏およびLighter創設者のVlad Novakovski氏とともに、5月18日23時（UTC+8）にファイヤーサイド・チャットへ参加します。議論は、ZKロールアップの実装進捗を含む、イーサリアム・エコシステムにおける高性能アプリケーション、スケーリングのロードマップ、そして分散型金融（DeFi）の未来に焦点を当てます。

Gate News 消息。Gate公式発表によると、CTM（c8ntinuum）はGate Alphaプラットフォームで取引が可能になりました。 CTMはBSCチェーン上で動作し、コントラクトアドレスは0xc8fb80fcc03f699c70ff0cc08c09106288888888です。Gate AlphaはGateが提供するオンチェーントレード集約プラットフォームで、現在SOL、ETH、Gate Layer、BSC、Base、SUI、ARBなど複数の主要なパブリックチェーンに対応しています。 ユーザーはGate AppのAlpha専用エリアで「CTM」を検索して取引できます。手動でチェーンやウォレットを切り替える必要はなく、システムが自動的に取引ルーティングを行います。

5月14日の発表によると、Tezosエコシステムは、将来の量子コンピューティングの脅威から防御しつつプライベートな支払いを可能にすることを目的としたテストネット「TzEL」を公開した。プロトタイプは、zk-STARK（Zero-Knowledge Scalable Transparent Arguments of Knowledge）暗号を使用して、取引のメタデータと支払い情報を暗号化しながら、ブロックチェーンの検証機能を維持する。zk-SNARKシステムとは異なり、zk-STARKは信頼できるセットアップ手順を必要とせず、潜在的な量子コンピューティング攻撃に対してより耐性があると考えられている。このテストネットは引き続きプロトタイプ段階にあり、まだTezosのメインネットには展開されていない。

Gate News のニュース、5月13日、Gateの相場情報によると、記事執筆時点でMAIGA（Maiga）は0.0055ドルで取引されており、過去24時間で148.44%上昇している。最高値は0.0088ドルに到達し、最安値は0.0028ドルまで下落した。24時間の取引高は4.73万ドルに達している。現在の時価総額は約154.11万ドル。 Maiga.aiは、人工知能（AI）主導の分散型金融（DeFi）および暗号資産取引プラットフォームだ。モデルコンテキストプロトコル（MCP）、トラステッド・エグゼキューション・エンバイロメント（TEE）、マルチモーダル入力、ゼロ知識証明（ZK-proofs）などの技術を組み合わせ、透明で安全な自律型AIエージェントを構築している。その中核は取引量に基づく「取引証明」（PoT）コンセンサスモデルであり、トークンの配分と価値の蓄積を、検証のための取引活動に直接結び付けている。受動的な保有や、線形の時間に沿ったアンロックとは異なる。 本ニュースは投資助言ではない。投資には市場変動リスクに注意が必要だ。

BlockBeatsによると、ZKsyncは5月12日にZK Fee Flow Systemの提案を導入しました。ガバナンス・サービス提供者のScopeLiftによって開発されたこの仕組みは、スマートコントラクトのメカニズムであり、ZKsync Governanceがオンチェーンの仕組みを通じてプロトコルの収益や手数料を経路指定し、配分できるようにするものです。

BlockBeatsによると、5月12日、ZKベースの検証可能な計算プラットフォームであるBrevisが、Ethereumのリアルタイム・ブロック証明システムのフルスタック・アップグレードであるPico Prism 2.0をローンチしました。現在、Ethereumメインネット上で稼働しており、Gas制限は60 millionです。このシステムは平均で約6.1秒で各ブロックの証明を生成し、12秒のブロック間隔内に99.9%のブロックが確認されます。合計で約$100,000のコストとなるデュアルマシンのハードウェア上で16基のRTX 5090 GPUを使用するPico Prism 2.0は、前身に比べて効率を5.3倍向上させ、Ethereum Foundationのパフォーマンス目標（平均レイテンシを10秒未満にすること、ハードウェア導入コストを$100,000未満に抑えることを含む）を達成しています。