Nhà sáng lập Ethereum, Vitalik Buterin, đã đăng bài viết giới thiệu về giao thức GKR sáng nay. GKR là giao thức cốt lõi cho các bằng chứng nhanh trong ZK-EVM, zk-ML và các nền tảng khác. Giao thức này phù hợp với các phép tính liên quan đến nhiều lớp xử lý cấp thấp và ứng dụng hàm lặp lại rộng rãi, chẳng hạn như băm và mạng nơ-ron. Giao thức này loại bỏ nhu cầu cam kết với các lớp trung gian, chỉ yêu cầu cam kết với đầu vào và đầu ra, cải thiện đáng kể hiệu quả. Bằng cách giảm số lần kiểm tra tổng mỗi vòng (ví dụ: thủ thuật của Gruen) và triển khai xử lý hàng loạt Poseidon2, về mặt lý thuyết, chi phí băm của Poseidon chỉ gấp 15 lần (so với 100 lần của STARK truyền thống) và có thể thấp hơn 10 lần trong thực tế. Chi phí này gần bằng 0 với khối lượng dữ liệu lớn hơn.