Công ty kiểm toán bảo mật Web3 Certora đã nhận được một khoản tài trợ từ Quỹ Ethereum để xác minh tính chính xác của "autoprecompiles," một công nghệ do Powdr Labs phát triển cho dự án zkEVM của quỹ này. Sáng kiến này nhằm nâng cao hiệu suất tính toán ZK và cải thiện khả năng mở rộng của mạng Ethereum. Certora sẽ hợp tác với Powdr Labs để phát triển các công nghệ xác minh mới nhằm đảm bảo an toàn cho động cơ thực thi zkEVM. Dự án dự kiến sẽ công khai mã nguồn các đặc tả, bằng chứng và khung xác minh liên quan để tất cả các nhà triển khai zkEVM và các nhà nghiên cứu giao thức ZK có thể sử dụng.