Balancerとセキュリティ分析ツールCertoraが協力して、Balancer Certoraセキュリティアクセラレーターを発表しました。

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