Vitalik детально пояснює прискорення GKR-протоколу для ZK-доказів: оптимізація та виклики хешу Poseidon2

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