A16z Crypto, дочерняя компания венчурной компании Andreessen Horowitz, недавно опубликовала пост в блоге с техническими обновлениями своей открытой Jolt zkVM, при этом отметила, что в современной отрасли широко распространено злоупотребление понятием «ZK (нулевое знание)».
A16z отметил, что многие так называемые zkVM на самом деле не обладают настоящими свойствами нулевого раскрытия, если нет дополнительного дорогостоящего процесса «обёртки». Этот процесс обычно требует рекурсивных доказательств для повторной проверки доказательств zkVM в другой действительно нулевой системе доказательства, что не только требует вычислительной затраты, но и часто требует внедрения «доверенной установки» в ущерб системной прозрачности.
В статье отмечается, что во многих контекстах разработчиков «zk» постепенно использовалось как синоним «лаконичности», то есть небольшого размера доказательств и высокой скорости проверки, а не истинного значения защиты конфиденциальности с нулевой информацией.
A16z считает, что такое смешение концепций становится проблемой по мере роста спроса отрасли на защиту конфиденциальности. Истинные доказательства с нулевой информацией должны быть сосредоточены на обеспечении конфиденциальности конфиденциальных данных проверяющего, а не только на эффективных механизмах проверки.
В то же время A16z также объявила о внедрении схемы складывания NovaBlindFold для Jolt zkVM, чтобы повысить возможности конфиденциальности, делая виртуальную машину более подходящей для приложений конфиденциальности.