Vitalik Buterin, đồng sáng lập Ethereum, đã giới thiệu giao thức GKR, một họ giao thức mới được thiết kế để tăng tốc đáng kể các hệ thống chứng minh khác nhau. GKR đóng vai trò then chốt trong việc tạo ra các chứng minh nhanh trong các hệ thống như ZK-EVM và zk-ML, tối ưu hóa các phép tính liên quan đến xử lý đa lớp với bậc thấp và các ứng dụng hàm lặp đi lặp lại, chẳng hạn như băm và mạng nơ-ron. Giao thức này nâng cao hiệu quả bằng cách chỉ yêu cầu cam kết với đầu vào và đầu ra, bỏ qua các lớp trung gian. GKR đạt được điều này thông qua các tối ưu hóa như giảm tính toán sumcheck mỗi vòng bằng các kỹ thuật như mẹo Gruen và xử lý hàng loạt Poseidon2. Về mặt lý thuyết, điều này giảm chi phí chứng minh cho việc băm Poseidon chỉ còn 15 lần, so với 100 lần với STARK truyền thống, và trên thực tế, có thể dưới 10 lần. Khi khối lượng dữ liệu tăng lên, chi phí này tiến gần về 0, đánh dấu một bước tiến quan trọng trong hiệu quả của hệ thống chứng minh.