certo

Web3 セキュリティ会社 Certora は、Ethereum 財団からの資金提供を受けたことを発表しました。具体的な金額はまだ公開されていませんが、関連資金は自動プリコンパイルの正確性を検証するために使用されます。自動プリコンパイルは、ゼロ知識計算における重要な最適化技術であり、Powdr Labs が Ethereum 財団の zkEVM プロジェクトのために開発しました。Certora は、開発した仕様、証明、および検証フレームワークをオープンソース化する計画を立てているとのことです。

ChainCatcher のメッセージ、中央集権的なステーブルコイン貸付プロトコル Certo は、テストネットプラットフォームで USD Coin (USDC) の預金と貸付のサポートを追加したことを発表しました。stUSD は、Certo を利用して利息を生み出すステーブルコインです。USDC の追加により、Certo エコシステムの参加者は、USDT と USDC を柔軟に預け入れて stUSD を受け取ることができるようになりました。この機能強化により、ユーザーは Certo インターフェース内で自分の投資が時間とともにどのように利息を生むかを直接プレビューできるようになります。

ChainCatcher のメッセージ、Web3 セキュリティ会社 Certora は、スマートコントラクト言語 Vyper チームと協力し、すべてのユーザーに Prover ツールを開放し、Vyper コードのセキュリティを強化する手助けをすると発表しました。Vyper コミュニティのキー保有者として、ユーザーは 2023 年 12 月 31 日まで Certora Prover を使用して Vyper コードを検証することができます。

ChainCatcher メッセージ、イスラエルのセキュリティ会社 Certora が Lido V2 スマートコントラクトに関する監査報告書を公開しました。Certora は、監査中に 23 の問題が発見され、その中には 2 つの重大な問題と 5 つの深刻な問題が含まれていることを指摘しました。Lido チームは、これらの問題に迅速かつ丁寧に対応しました。（出典リンク）

ChainCatcher のメッセージ、分散型取引プロトコル Balancer とスマートコントラクトのセキュリティ分析ツール Certora が協力して Balancer Certora セキュリティアクセラレーターを立ち上げました。これはコードレビューを提供し、Certora の形式検証証明プログラムへのアクセスを付与することを目的としており、Balancer によって構築されたプロジェクトのコードセキュリティを向上させ、コードベースの安全性を強化し、今後のプロジェクトの上場プロセスを簡素化することを目指しています。（出典リンク）