За словами У, засновник Ethereum Віталік Бутерін опублікував статтю, в якій представив протокол GKR, сімейство протоколів, що дозволяє багатьом системам доказів досягати надзвичайно швидкої швидкості. GKR є основним протоколом для реалізації швидких доказів, таких як ZK-EVM, zk-ML тощо, що підходить для обчислень "багатошарового низькорівневого оброблення + великої кількості повторюваних функцій" (таких як хешування, нейронні мережі), без необхідності зобов'язуватися до проміжного шару, лише зобов'язуючись до вхідних і вихідних даних, що значно підвищує ефективність. Завдяки зменшенню обсягу обчислень на кожному раунді sumcheck (таких як трюк Грюена), оптимізації масової обробки Poseidon2 тощо, теоретично доведено, що витрати на хешування Poseidon складають лише 15x (традиційні STARKs - 100x), на практиці можуть бути нижчими за 10x, і чим більший обсяг даних, тим витрати наближаються до нуля.