Web3 보안 회사인 Certora는 Powdr Labs와 협력하여 형식 검증을 발전시키기 위해 이더리움 재단으로부터 연구 자금을 받았습니다. 이 자금은 이더리움 재단의 zkEVM 이니셔티브 내에서 중요한 최적화 기술인 "자동 사전 컴파일"을 향상시키기 위한 노력을 지원할 것입니다. Powdr Labs가 개발한 이 기술은 저수준 ZK 회로 구성 요소를 자동으로 추론하여 zkEVM의 암호화 및 산술 효율성을 개선하는 것을 목표로 합니다.