a16z Crypto оновлює Jolt zkVM для підтримки нативного нуль-знання, кидаючи виклик зловживанню ярликом 'ZK' у галузі

a16z Crypto, веб3-підрозділ венчурної компанії Andreessen Horowitz, оголосила 3 березня 2026 року про значне оновлення своєї відкритої віртуальної машини Jolt з нульовим знанням, яка нативно підтримує справжню приватність без необхідності дорогого рекурсивного підтвердження.

Це оновлення реалізує схему складання NovaBlindFold для приховування повідомлень довірених перевірок, роблячи Jolt придатною для застосувань, що потребують приватності, при цьому додаючи всього близько 3 кілобайтів до розміру доказу та майже без збільшення часу перевірки. У повідомленні також критикується поширене неправильне використання терміну “ZK” у галузі, зазначаючи, що більшість zkVM використовують цей термін для позначення стисненості, а не справжньої приватності даних, що стає дедалі проблематичнішим із зростанням уваги розробників до приватності.

Підкреслення неправильного вживання термінології у технічному пості

Блог a16z Crypto звертає увагу на те, що автори характеризують як значний зсув у термінології в спільноті розробників блокчейнів. “Більшість zkVM насправді не є нульовими знаннями — якщо не застосовувати дорогий процес ‘обгортання’,” — йдеться у пості, маючи на увазі практику рекурсивного доведення перевірки zkVM у межах іншої системи доказів, що забезпечує властивості нульового знання.

Ця обгортка вимагає обчислювальних ресурсів і часто призводить до втрати прозорості через введення довірених налаштувань. Автори зауважують, що “zk” широко використовується як скорочення для “синтаксичності” — короткості та швидкості перевірки доказів, а не для справжньої приватності.

“Зі зростанням уваги спільноти до приватності — що вимагає справжнього нульового знання, тобто приватності чутливих даних довірителя — таке неправильне вживання термінології стає реальною проблемою,” додає пост, сигналізуючи про зростаючий попит на криптографічні системи, що захищають інформацію довірителя, а не просто стискають перевірки.

Докази нульового знання — це криптографічні техніки, що дозволяють одній стороні переконати іншу у правильності твердження без розкриття додаткової інформації. Спершу вони були розроблені в академічних колах, але криптоіндустрія впровадила перші масштабні комерційні застосування, зокрема zk-SNARKs у Zcash для приватності транзакцій через захищені дані. Згодом технологія поширилася на рішення масштабування Ethereum Layer 2 та інші zk-Rollups, а приватність знову стала пріоритетом для інституційного впровадження через обмеження прозорості блокчейнів.

Технічна реалізація через NovaBlindFold

Попередня версія Jolt не підтримувала нульове знання, оскільки повідомлення довірених перевірок на основі суми розкривали дані про свідка. Виправлення, реалізоване через NovaBlindFold, полягає у відправленні прихованих зобов’язань до цих повідомлень замість їх відкритого передавання, створюючи “засліплений” доказ, позначений як π.

Цей засліплений доказ фактично коротший за оригінальний доказ Jolt, оскільки приховані зобов’язання стискають кілька полів у один груповий елемент. Однак, приховування створює проблему перевірки, оскільки перевіряльник більше не може безпосередньо перевірити повідомлення суми.

Рішення полягає у розширенні π до трохи довшого доказу (π, π’), де π’ демонструє, що значення у прихованих зобов’язаннях задовольняють перевірки суми. Зменшення розміру π майже компенсує додаткові дані з π’, що дає доказ нульового знання приблизно на 3 кілобайти більший за початкову не-ZK версію.

Конструкція π’ використовує NovaBlindFold, яка виражає перевірки суми як систему обмежень і випадковим чином поєднує свідка з незалежно згенерованим випадковим рішенням. Це рішення безпечно розкривати, оскільки випадкове рішення маскує будь-яку інформацію, яку справжній свідок міг витекти, подібно до ідеальної секретності, досягнутої одноразовими ключами.

Щоб зберегти компактність доказу, застосовується Spartan для доведення, що зібране рішення є задовольняючим, забезпечуючи зростання π лише логарифмічним чином, а не лінійним, залежно від довжини рішення.

Наслідки для приватності та масштабування блокчейнів

Оновлення дозволяє Jolt виконувати дві функції у блокчейн-інфраструктурі. Розробники можуть використовувати zkVM для масштабування застосунків із підтвердженнями на GPU або для приватних застосувань, що вимагають доказів, створених на пристроях з обмеженими ресурсами, таких як мобільні телефони.

Генеральний директор Digital Currency Group Баррі Сільберт нещодавно висловив очікування значних фінансових потоків у приватні блокчейн-мережі, що відображає ширше визнання галузі, що транзакційна прозорість у публічних реєстрах може обмежувати інституційне впровадження. Тому приватні ланцюги та криптографія з нульовим знанням знову привернули інвестиції та увагу до розробки.

Реалізація Jolt досягається без необхідності довірених налаштувань або рекурсивних систем доказів, що потенційно знижує бар’єри для розробників, які прагнуть інтегрувати приватність у свої застосунки. Відкритий код проекту дозволяє спільноті перевіряти та сприяти подальшому розвитку.

FAQ: Jolt zkVM і приватність з нульовим знанням

Яка різниця між “ZK” для стисненості та справжньою приватністю з нульовим знанням?

У криптографії нульове знання означає, що доказ не розкриває жодної додаткової інформації, окрім того, що твердження є істинним, захищаючи приватність довірителя. Однак багато блокчейн-проектів використовують “ZK” у значенні стисненості — короткості та швидкості перевірки доказів — без фактичної приватності. Це особливо важливо для застосувань, що обробляють чутливі дані, де потрібна справжня конфіденційність.

Як оновлення Jolt досягає нульового знання без втрат у продуктивності?

Jolt реалізує схему NovaBlindFold для приховування повідомлень довірених перевірок, що раніше витікали дані про свідка. Техніка створює приховані зобов’язання, стискає елементи доказу та використовує систему згорнутого свідка, що додає всього близько 3 кілобайтів до розміру доказу з мінімальним впливом на час перевірки, уникаючи дорогого рекурсивного обгортання, яке зазвичай потрібно для додавання приватності до систем без ZK.

Чому підтримка нульового знання нативно стає важливою для розвитку блокчейнів?

Зростаючий інституційний інтерес до блокчейнів підкреслює прозорість як потенційний бар’єр для впровадження, оскільки бізнеси часто вимагають конфіденційності транзакцій. Приватні криптографічні системи дозволяють відповідати цим вимогам, зберігаючи переваги блокчейну. Крім того, штучний інтелект і автоматизовані системи дедалі більше потребують приватної перевірки обчислень, створюючи попит на віртуальні машини з нульовим знанням, що можуть довести правильність виконання без розкриття чутливих даних.