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 によって構築されたプロジェクトのコードセキュリティを向上させ、コードベースの安全性を強化し、今後のプロジェクトの上場プロセスを簡素化することを目指しています。（出典リンク）