Odaily Planet Daily: Ризик-капіталістична фірма Andreessen Horowitz, через своє підрозділ A16z Crypto, недавно опублікувала блог-пост з технічним оновленням свого відкритого коду Jolt zkVM, а також зазначила широке неправильне використання концепції «ZK (нульове знання)» у галузі.
A16z зазначає, що багато так званих zkVM насправді не мають справжніх властивостей нульового знання, якщо не додати витратну процедуру «обгортання (wrapping)». Ця процедура зазвичай вимагає рекурсивних доведень, щоб повторно перевірити доведення zkVM у іншій системі доведень, яка справді має властивості нульового знання, що не лише вимагає великих обчислювальних витрат, але й часто потребує введення «достовірного налаштування» (trusted setup), що поступаєтьсяся прозорістю системи.
Стаття зазначає, що в багатьох контекстах розробників «zk» поступово став сприйматися як синонім «стислості», тобто малий розмір доказу та швидка перевірка, а не справжнє захист відомостей на основі нульового знання.
A16z вважає, що зі зростанням потреби галузі у захисті приватності таке плутання понять поступово стає проблемою. Справжні докази з нульовим розголошенням повинні зосереджуватися на захисті конфіденційних даних доводячого, а не лише на забезпеченні ефективного механізму перевірки.
Тим часом A16z також оголосила про введення схеми NovaBlindFold для Jolt zkVM, щоб посилити її конфіденційність і зробити цей віртуальний машинний середовище більш придатним для застосунків, пов’язаних із конфіденційністю.