Web3 güvenlik denetim firması Certora, Ethereum Vakfı'ndan, vakfın zkEVM projesi için Powdr Labs tarafından geliştirilen "autoprecompiles" teknolojisinin doğruluğunu doğrulamak üzere bir hibe aldı. Bu girişim, ZK hesaplama performansını artırmayı ve Ethereum ağının ölçeklenebilirliğini iyileştirmeyi amaçlıyor. Certora, zkEVM yürütme motorunun güvenliğini sağlamak için yeni doğrulama teknolojileri geliştirmek üzere Powdr Labs ile iş birliği yapacak. Proje, ilgili spesifikasyonları, kanıtları ve doğrulama çerçevelerini tüm zkEVM uygulayıcıları ve ZK protokol araştırmacılarının kullanımına açık kaynak olarak sunmayı planlıyor.