PANewsは2月5日、Chainwireの情報に基づき、Web3セキュリティ企業Certoraがイーサリアム財団から研究資金を受け取り、Powdr Labsと提携して「自動プリコンパイル」の形式検証を提供すると発表したと報じた。自動プリコンパイルは、イーサリアム財団のzkEVMイニシアチブにおける主要な最適化技術である。自動プリコンパイルは、Powdr Labsが開発した低レベルのZK回路コンポーネントで、自動推論が可能であり、zkEVMの暗号化および演算性能を最適化するために設計されている。