a16z Crypto оновлює Jolt zkVM і ставить під сумнів зловживання концептом «ZK» у галузі

CoinVoice останнім часом дізнався, що ризикові інвестиційні компанії Andreessen Horowitz підрозділ A16z Crypto нещодавно опублікували блог-пост, у якому оновлюють технічні характеристики свого відкритого коду Jolt zkVM, а також вказують на широке неправильне використання поняття “ZK (нульове знання)” у галузі. A16z заявляє, що багато так званих zkVM фактично не мають справжніх властивостей нульового знання, якщо не застосовувати додатковий високовартісний процес “обгортання (wrapping)”. Цей процес зазвичай вимагає рекурсивного доведення, щоб знову перевірити доказ zkVM у іншій системі доведення, яка справді має властивості нульового знання, що не лише високовитратно з точки зору обчислень, а й часто вимагає введення “довірчого налаштування” (trusted setup), що підриває прозорість системи. У статті зазначається, що у багатьох контекстах розробників “zk” вже поступово починає сприйматися як синонім “стислості (succinctness)”, тобто малого обсягу доказу та швидкості його перевірки, а не справжнього захисту приватності за допомогою нульового знання. A16z вважає, що з ростом потреби галузі у захисті приватних даних таке змішання понять поступово стає проблемою. Справжнє доведення нульового знання має зосереджуватися на захисті конфіденційних даних довідника, а не лише на забезпеченні високоефективної механіки перевірки. Водночас A16z оголосила про впровадження схеми NovaBlindFold для Jolt zkVM, щоб підсилити його можливості щодо приватності, зробивши цю віртуальну машину більш придатною для застосувань, що вимагають приватності.