Віталік опублікував статтю-інструкцію з GKR: протокол "batch × layer", що забезпечує надшвидкі ZK-докази
ChainCatcher повідомляє, що Vitalik Buterin у своїй останній статті детально пояснив, як протокол GKR (Goldreich–Kahan–Rothblum) використовується для прискорення ZK-доказів, адаптуючись до структури обчислень "пакет × багаторівневий", що значно зменшує кількість проміжних комітментів, залишаючи комітменти лише для вхідних та вихідних даних.
У статті на прикладі хешу Poseidon2 докладно розглядається рекурсивний процес доказу з sumcheck як основою, а також пропонуються оптимізації (трюк Gruen, лінійна пакетна обробка, кубування лише першого елемента часткових раундів). У сценаріях з поліноміальними комітментами це можна поєднувати з BaseFold або FRI. Автор зазначає, що фактичні витрати приблизно у 100 разів менші за теоретичні значення традиційного STARK, що дозволяє очікувати витрати на рівні однієї цифри, і нагадує, що у викликах Fiat–Shamir потрібно уникати ризику передбачуваності всередині схеми.
Відмова від відповідальності: зміст цієї статті відображає виключно думку автора і не представляє платформу в будь-якій якості. Ця стаття не повинна бути орієнтиром під час прийняття інвестиційних рішень.
Вас також може зацікавити
BitsLab придбала японський безпечний браузерний плагін KEKKAI Plugin та офіційно запустила BitsLab Safe

Дані: за останні 24 години одна адреса придбала загалом 2,971 ETH на суму близько 11.86 millions доларів США
У тренді
БільшеЦіни на криптовалюти
Більше








