Zcashの新しいプライバシープールIronwoodは形式的検証を採用し、検出できない増発バグの根絶を目指す
Odailyによると、Zcashの開発チームは、まもなく公開予定の新しいプライバシープール「Ironwood」を通じて形式的検証を導入し、数学的証明によって「判別不能な偽造（Undetectable Counterfeiting）」リスクを排除する計画を発表しました。
以前の報道では、Orchardシールドプールに存在していた脆弱性は修正されており、悪用された証拠は現在のところありません。しかし理論上では、オンチェーン履歴から過去に隠れた偽造が発生したかどうかを確認できないため、コミュニティは新たなIronwoodシールドプールの導入と、プロトコル への全面的な形式的検証を決定しました。
免責事項：本記事の内容はあくまでも筆者の意見を反映したものであり、いかなる立場においても当プラットフォームを代表するものではありません。また、本記事は投資判断の参考となることを目的としたものではありません。
こちらもいかがですか？
Serve Robotics（SERV.US）はUber（UBER.US）との契約終了後、2つの主要なデリバリー注文チャネルを新たに獲得！配送ロボットの商業化が加速する見込み
Serve Roboticsは、米国のオンライン飲食宅配サービスプラットフォームGrubhubと新たなパートナーシップを締結したと発表しました。また、米国内最大の宅配アプリDoorDashとの提携を、米国のさらに二つの都市に拡大することも明らかにしました。
Cerebras（CBRS.US）がWedbushにより高く評価：OpenAIとの協力がますます深化し、750MWのコンピューティングパワー注文が拡張の可能性を示す
Wedbush Securitiesは、OpenAIがGPT-5.6 SolのUltrafastモードにCerebrasの計算能力が提供されることを公表した後、両社の既存の協力関係が「積極的な進展」を遂げていると考えているとレポートで指摘しました。
web3：違法コピーの「オデッセイ」ファイルに暗号資産ウォレットを盗むマルウェアが埋め込まれる
オマーンが「板挟み」に！トランプ氏、米国とイランの衝突を妨害すれば軍事攻撃を加えると警告
報道によると、アメリカ大統領のDonald Trumpは電話インタビューで厳しい警告を発し、ホルムズ海峡にて米軍がイラン船舶に封鎖を実施する際にOmanが妨害した場合、米国側は軍事攻撃の行動を取ると述べました。
暗号資産価格
もっと見る
