Thành phố New York, New York, ngày 5 tháng 2 năm 2026, Chainwire
Certora, nền tảng đảm bảo an ninh toàn diện được tin tưởng bởi các đội ngũ tiên tiến nhất trong Web3, đã nhận được khoản tài trợ nghiên cứu từ Ethereum Foundation để xác minh tính chính xác của autoprecompiles. Autoprecompiles là một tối ưu hóa quan trọng trong tính toán ZK do Powdr Labs phát triển cho sáng kiến zkEVM của Ethereum Foundation.
zkEVM sẽ mở ra một sự tối ưu hóa lớn về khả năng mở rộng của mạng lưới Ethereum bằng cách thay thế mô hình thực thi hiện tại cho smart contract bằng một mô hình thay thế được tối ưu hóa, hỗ trợ ZK. Đảm bảo tính chính xác của động cơ thực thi zkEVM là yếu tố then chốt cho thành công của sáng kiến này.
Autoprecompiles là các thành phần mạch ZK cấp thấp được suy luận tự động, được sử dụng lại để tối ưu hóa hiệu suất và cho phép các thao tác mật mã học và số học nhanh hơn trên zkEVM. Tối ưu hóa này rất quan trọng để xây dựng một zkEVM hiệu quả, và thông qua khoản tài trợ này, Certora và Powdr Labs đang hợp tác phát triển các kỹ thuật xác minh mới nhằm đảm bảo tính chính xác của kỹ thuật tối ưu hóa này.
zkEVM là nền tảng cho một tương lai zero-knowledge của EVM, với ít gas hơn, tốc độ nhanh hơn, bảo mật cao hơn và khả năng mở rộng lớn. Mục tiêu là tạo ra một mô hình cực kỳ hiệu quả mang lại lợi ích cho toàn bộ hệ sinh thái.
“Autoprecompiles làm cho lớp thực thi zkEVM trở nên khả thi, nhưng đồng thời cũng tăng tầm quan trọng của việc xác minh tính chính xác của toàn bộ chuỗi công cụ,” ông Seth Hallem, CEO của Certora cho biết. “Chúng tôi rất cảm kích Ethereum Foundation đã hỗ trợ công việc này, đưa xác minh toán học vào tận gốc rễ của tính toán ZK. Chuyên môn của Certora về ZK cùng sự hợp tác với Powdr Labs sẽ giúp đảm bảo kỹ thuật tối ưu hóa này đóng vai trò quan trọng trong chuỗi công cụ zkEVM mà không làm ảnh hưởng đến sự an toàn hay tính chính xác.”
Certora sẽ mã nguồn mở các đặc tả, bằng chứng và khung xác minh được phát triển thông qua sáng kiến này, đóng góp cơ sở hạ tầng có thể tái sử dụng cho tất cả các triển khai zkEVM, các nhà xây dựng rollup và các nhà nghiên cứu giao thức ZK.
“Precompiles là yếu tố then chốt cho hiệu suất của zkEVM, và autoprecompiles có thể tiến xa hơn nữa bằng cách tự động xác minh các tối ưu hóa này ngay khi chúng được tạo ra,” ông Alexander Hicks, Nhà nghiên cứu tại Ethereum Foundation chia sẻ. “Chúng tôi cũng sẽ giảm nhu cầu xác minh thủ công precompiles và hy vọng phát triển các kỹ thuật xác minh hữu dụng nói chung có thể áp dụng cho các trường hợp sử dụng khác.”
Về Certora
Certora là đối tác đảm bảo an ninh được các đội ngũ tiên tiến nhất trong Web3 tin cậy. Được thành lập năm 2018 bởi những người tiên phong về ngôn ngữ lập trình và phương pháp hình thức, Certora giúp các giao thức hàng đầu như Lido, Aave, Uniswap và Compound bảo vệ hàng tỷ giá trị một cách tự tin.
Về Ethereum Foundation
Ethereum Foundation là tổ chức phi lợi nhuận cam kết hỗ trợ Ethereum và các công nghệ liên quan. Thông qua các khoản tài trợ và sáng kiến nghiên cứu, EF thúc đẩy phát triển mã nguồn mở cho hạ tầng phi tập trung.
Về Powdr Labs
Powdr Labs phát triển công nghệ trình biên dịch cho các bằng chứng zero-knowledge hiệu quả của các chương trình cấp cao. Bằng cách chuyên môn hóa các quy trình biên dịch và tối ưu hóa, Powdr thu hẹp khoảng cách giữa hiệu suất của các mạch ZK tùy chỉnh và zkVM mà không làm giảm tính dễ sử dụng.
