Віталік Бутерін опублікував посібник GKR: протокол "пакетного×шару", що підтримує надшвидкі ZK докази.



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

#Cryptocurrency #Блокчейн #Ethereum #ZKProofs #ВіталікБутерін
ETH-0.15%
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
  • Нагородити
  • Прокоментувати
  • Репост
  • Поділіться
Прокоментувати
0/400
Немає коментарів
  • Закріпити