Web3 보안 감사 회사인 Certora는 Ethereum 재단으로부터 zkEVM 프로젝트를 위해 Powdr Labs가 개발한 "autoprecompiles" 기술의 정확성을 검증하기 위한 보조금을 받았습니다. 이 이니셔티브는 ZK 계산 성능을 향상시키고 Ethereum 네트워크의 확장성을 개선하는 것을 목표로 합니다. Certora는 zkEVM 실행 엔진의 보안을 보장하기 위해 Powdr Labs와 협력하여 새로운 검증 기술을 개발할 예정입니다. 이 프로젝트는 관련 사양, 증명 및 검증 프레임워크를 오픈 소스로 공개하여 모든 zkEVM 구현자와 ZK 프로토콜 연구자들이 사용할 수 있도록 할 계획입니다.