Odaily Planet Daily сообщение: Подразделение венчурного капитала Andreessen Horowitz, A16z Crypto, недавно опубликовало блог-пост с техническим обновлением своего открытого Jolt zkVM, а также указало на широкое неправильное использование концепции «ZK (нулевое знание)» в отрасли.
A16z отмечает, что многие так называемые zkVM на самом деле не обладают настоящими свойствами нулевого знания, если не добавить дорогостоящий процесс «упаковки (wrapping)». Этот процесс обычно требует рекурсивных доказательств, при которых доказательства zkVM повторно проверяются в другой системе доказательств, обладающей настоящими свойствами нулевого знания. Это не только дорого с точки зрения вычислительных ресурсов, но и часто требует введения «доверенной настройки» (trusted setup), что снижает прозрачность системы.
Статья отмечает, что в многих контекстах разработчиков термин «zk» постепенно стал обозначать «краткость (succinctness)» — то есть небольшой размер доказательства и быстрая проверка — а не истинную защиту конфиденциальности на основе нулевого знания.
A16z считает, что с ростом потребности отрасли в защите конфиденциальности такая путаница понятий постепенно становится проблемой. Настоящие доказательства с нулевым разглашением должны сосредотачиваться на защите конфиденциальных данных доказывающей стороны, а не только на обеспечении эффективных механизмов проверки.
В то же время A16z объявила о внедрении схемы NovaBlindFold для Jolt zkVM для усиления его возможностей конфиденциальности, что делает эту виртуальную машину более подходящей для приложений, требующих конфиденциальности.