Wu nói rằng, người sáng lập Ethereum Vitalik Buterin đã đăng bài giới thiệu về giao thức GKR, một gia đình giao thức có thể giúp nhiều hệ thống chứng minh đạt tốc độ cực nhanh. GKR là giao thức cốt lõi để thực hiện các chứng minh nhanh chóng cho ZK-EVM, zk-ML và các ứng dụng khác, thích ứng với "xử lý bậc thấp nhiều lớp + ứng dụng hàm lặp lại lớn" (như Hàm băm, mạng nơ-ron), không cần cam kết ở lớp giữa, chỉ cần cam kết đầu vào và đầu ra, giúp nâng cao hiệu quả đáng kể. Bằng cách giảm lượng tính toán mỗi vòng sumcheck (như mẹo Gruen), xử lý hàng loạt Poseidon2 và các tối ưu hóa khác, lý thuyết chứng minh rằng chi phí Hàm băm Poseidon chỉ 15x (STARKs truyền thống là 100x), thực tế có thể dưới 10x, và chi phí càng gần bằng không khi khối lượng dữ liệu càng lớn.