Theo Foresight News, công ty kiểm toán bảo mật CertiK đã thông báo rằng họ đã nhận được hai khoản tài trợ nghiên cứu từ Ethereum Foundation cho quý đầu tiên của năm 2025. Các khoản tài trợ này chủ yếu tập trung vào việc xác minh chính thức zkEVM, một công nghệ nhằm nâng cao khả năng mở rộng của Ethereum thông qua bằng chứng không kiến thức.
Công nghệ xác minh chính thức tiên tiến của CertiK, được thiết kế để xử lý các hệ thống bằng chứng không kiến thức phức tạp, cung cấp hỗ trợ bảo mật mạnh mẽ cho chiến lược mở rộng quy mô của Ethereum. Công nghệ này đã được áp dụng cho nhiều dự án Web3, bao gồm zkWasm, hợp đồng chuỗi chính TON, Cosmos SDK, HyperEnclave TEE của Ant Group và Asterinas OS.
zkEVM, hay Máy ảo Ethereum không cần kiến thức, là một cải tiến trong công nghệ blockchain, sử dụng bằng chứng không cần kiến thức để đạt được khả năng mở rộng cho Ethereum.
