Vitalik опублікував статтю з уроками GKR: підтримка надшвидких ZK-доказів "批×层" протоколу

За повідомленнями Mars Finance, Віталік Бутерін опублікував нову статтю, в якій детально розглядає протокол GKR (Goldreich–Kahan–Rothblum), що використовується для прискорення ZK-доказів, адаптуючи структуру “пакет × багаторазовий” обчислень, що значно зменшує зобов'язання проміжного рівня, зобов'язуючись лише за вхідними та вихідними даними. У статті на прикладі хешу Poseidon2 детально описується процес рекурсивного доказу з акцентом на sumcheck, а також наводяться оптимізації (трик Грюена, лінійна пакетна обробка, часткові раунди лише з кубічним першим елементом), які можуть бути комбіновані з BaseFold або FRI в сценах полігамного зобов'язання. Автор стверджує, що фактичні витрати нижчі за традиційні STARK приблизно в 100 разів теоретичної величини, і що можна очікувати витрати на рівні одиниць, а також нагадує про необхідність захисту від ризику передбачуваності в електронних схемах для виклику Fiat–Shamir.