最新の報告によると、2025年第1四半期にイーサリアム財団は、ブロックチェーンセキュリティで有名な組織CertiKに2つの研究助成金を授与しました。これらのプロジェクトは、開発ツールとzkVMを確認するための形式的手法に焦点を当てています。**Verusツールの評価:** CertiKは、Rustで書かれた回路とEVMのコンパイラモジュールを検査するために、Rustの確認ツールであるVerusを評価します。**zkVMの確認を簡素化する:** このプロジェクトは、モジュラー算術と多くの値を一つのドメイン要素にパッケージ化するケースに焦点を当て、zkVMの確認を簡素化する戦略を開発しています。CertiKの公式検証技術は、zkWasm、TONマスターコントラクト、Cosmos SDK、Ant GroupのHyperEnclave TEEなど、多くの主要なWeb3プロジェクトで広く採用されています。内容は市場情報のみであり、投資を推奨するものではありません。この記事を読んでいただきありがとうございます!*いいね、コメント、そして**TinTucBitcoin**をフォローして、暗号通貨市場の最新ニュースを常に更新し、重要な情報を見逃さないようにしましょう！*
CertiKはイーサリアム財団から2つの助成金を獲得しました
最新の報告によると、2025年第1四半期にイーサリアム財団は、ブロックチェーンセキュリティで有名な組織CertiKに2つの研究助成金を授与しました。これらのプロジェクトは、開発ツールとzkVMを確認するための形式的手法に焦点を当てています。
Verusツールの評価: CertiKは、Rustで書かれた回路とEVMのコンパイラモジュールを検査するために、Rustの確認ツールであるVerusを評価します。
zkVMの確認を簡素化する: このプロジェクトは、モジュラー算術と多くの値を一つのドメイン要素にパッケージ化するケースに焦点を当て、zkVMの確認を簡素化する戦略を開発しています。
CertiKの公式検証技術は、zkWasm、TONマスターコントラクト、Cosmos SDK、Ant GroupのHyperEnclave TEEなど、多くの主要なWeb3プロジェクトで広く採用されています。内容は市場情報のみであり、投資を推奨するものではありません。
この記事を読んでいただきありがとうございます!
いいね、コメント、そしてTinTucBitcoinをフォローして、暗号通貨市場の最新ニュースを常に更新し、重要な情報を見逃さないようにしましょう！