Віталік опублікував статтю-інструкцію з GKR: протокол "batch × layer", що забезпечує надшвидкі ZK-докази
ChainCatcher повідомляє, що Vitalik Buterin у своїй останній статті детально пояснив, як протокол GKR (Goldreich–Kahan–Rothblum) використовується для прискорення ZK-доказів, адаптуючись до структури обчислень "пакет × багаторівневий", що значно зменшує кількість проміжних комітментів, залишаючи комітменти лише для вхідних та вихідних даних.
У статті на прикладі хешу Poseidon2 докладно розглядається рекурсивний процес доказу з sumcheck як основою, а також пропонуються оптимізації (трюк Gruen, лінійна пакетна обробка, кубування лише першого елемента часткових раундів). У сценаріях з поліноміальними комітментами це можна поєднувати з BaseFold або FRI. Автор зазначає, що фактичні витрати приблизно у 100 разів менші за теоретичні значення традиційного STARK, що дозволяє очікувати витрати на рівні однієї цифри, і нагадує, що у викликах Fiat–Shamir потрібно уникати ризику передбачуваності всередині схеми.
Відмова від відповідальності: зміст цієї статті відображає виключно думку автора і не представляє платформу в будь-якій якості. Ця стаття не повинна бути орієнтиром під час прийняття інвестиційних рішень.
Вас також може зацікавити
Деякий кит, який раніше купував ETH на дні, сьогодні знову придбав 91,5 cbBTC за 10 мільйонів USDC.
Huang Licheng неодноразово коригував позиції по ETH long, ціна ліквідації піднялася до 3827 доларів
Засновник Wintermute: крах стався через сукупність факторів, ринок мав надмірне кредитне плече
У тренді
БільшеЦіни на криптовалюти
Більше








