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をフォローして、暗号通貨市場の最新ニュースを常に更新し、重要な情報を見逃さないようにしましょう！