Theo thông báo từ PANews ngày 14 tháng 5, trang web chính thức của Quỹ Ethereum cho biết, cơ quan an ninh blockchain CertiK gần đây đã nhận được hai khoản tài trợ nghiên cứu từ Quỹ Ethereum cho quý 1 năm 2025, tập trung vào việc nâng cao các công cụ dành cho nhà phát triển và phương thức xác minh mạch điện zkVM:
Đánh giá công cụ Verus: CertiK sẽ đánh giá tính hữu dụng của Verus (một công cụ xác minh Rust) trong việc xác minh các mạch điện được viết bằng Rust và các mô-đun được biên dịch trước của Máy ảo Ethereum (EVM).
Đơn giản hóa xác minh mạch điện zkVM: Dự án này nhằm phát triển các chiến lược để đơn giản hóa việc xác minh mạch điện zkVM, tập trung vào việc giải quyết các phép toán mô-đun và đóng gói nhiều giá trị số thành một phần tử miền duy nhất.
Được biết, công nghệ xác minh hình thức của CertiK đã được áp dụng rộng rãi trong các dự án Web3 hàng đầu như zkWasm, hợp đồng chuỗi chính TON, Cosmos SDK, HyperEnclave TEE của Ant Group, hệ điều hành Asterinas, v.v.
