Theo đề xuất của nhóm zkEVM thuộc Ethereum Foundation được trình bày tại cuộc họp All Core Devs (ACD), EIP-8025 đã được đề xuất đưa vào fork Hegota. Đề xuất này giới thiệu Optional Execution Proofs, cho phép các node Ethereum xác minh các khối bằng cách kiểm tra các bằng chứng zero-knowledge thay vì phải thực thi lại trực tiếp toàn bộ giao dịch.
Hiện tại, các node Ethereum phải thực thi lại các giao dịch để xác nhận tính hợp lệ của khối. EIP-8025 bổ sung một lựa chọn opt-in thay thế, trong đó các node có thể xác minh bằng chứng ZK về việc thực thi đúng của khối mà không cần tính toán dư thừa. Mặc dù ban đầu opt-in và không ảnh hưởng đến các quy tắc đồng thuận, đề xuất này là một bước nền tảng hướng tới mô hình xác thực dựa trên ZK, có khả năng giảm chi phí vận hành của node và cho phép các khối lớn hơn cùng việc thực thi phức tạp hơn.