Công ty bảo mật Web3 Certora đã nhận được tài trợ nghiên cứu từ Quỹ Ethereum để thúc đẩy việc xác minh hình thức phối hợp với Powdr Labs. Khoản tài trợ sẽ hỗ trợ các nỗ lực nâng cao "biên dịch trước tự động," một công nghệ tối ưu hóa quan trọng trong sáng kiến zkEVM của Quỹ Ethereum. Công nghệ này, được phát triển bởi Powdr Labs, nhằm cải thiện hiệu quả mật mã và số học của zkEVM bằng cách tự động suy luận các thành phần mạch ZK cấp thấp.