Web3 güvenlik firması Certora, Powdr Labs ile iş birliği içinde formal doğrulamayı ilerletmek için Ethereum Vakfı'ndan araştırma fonu aldı. Bu fon, Ethereum Vakfı'nın zkEVM girişiminde kritik bir optimizasyon teknolojisi olan "otomatik ön-derleme" çalışmalarını destekleyecek. Powdr Labs tarafından geliştirilen bu teknoloji, düşük seviyeli ZK devre bileşenlerini otomatik olarak çıkararak zkEVM'nin kriptografik ve aritmetik verimliliğini artırmayı hedefliyor.