A16z Crypto – відділ інвестицій у Web3 одного з провідних венчурних фондів Andreessen Horowitz – висловився щодо поширеного, але неточного використання терміну «ZK» у спільноті розробників у своєму недавньому блозі, присвяченому Jolt zkVM.
Згідно з статтею, «більшість zkVM насправді не є справжніми zero-knowledge — якщо не застосовувати дорогий процес «обгортання» (wrapping). Цей процес зазвичай вимагає рекурсивного підтвердження доказів zkVM у межах іншої системи доказів, що фактично досягає zero-knowledge. Такий підхід не лише значно споживає обчислювальні ресурси, а й часто змушує йти на компроміс із прозорістю через механізм довіреної установки (trusted setup).
Автори також зауважують, що у багатьох випадках «zk» стало скороченням для «синтаксичної стислість» (succinctness) — тобто доказів невеликого розміру та швидкої перевірки — замість справжнього забезпечення приватності zero-knowledge.
A16z Crypto підкреслює, що з урахуванням зростаючої уваги спільноти до приватності — яка вимагає справжнього zero-knowledge для захисту конфіденційних даних — неправильне вживання цього терміну стає серйозною проблемою.
Що таке ZK proof?
Zero-knowledge proof (ZK proof) — це криптографічна техніка, яка дозволяє одній стороні (довіряючому, prover) переконати іншу сторону (перевіряючого, verifier), що певна заява є істинною, не розкриваючи додаткової інформації, окрім того, що заява дійсна.
Спочатку розроблений у академічному середовищі, перший комерційний застосунок ZK proof з’явився у криптоіндустрії, зокрема з появою Zcash. Цей проект впровадив zk-SNARKs — форму стиснених доказів — для забезпечення приватності на блокчейні шляхом приховування даних транзакцій.
З того часу криптографія zero-knowledge широко застосовується у нових моделях блокчейнів, особливо у рішеннях масштабування для Ethereum Layer 2 та zk-Rollups.
Приватність також повертається до числа ключових питань для розробників і інвесторів у криптовалюту, оскільки багато хто вважає, що абсолютна прозорість більшості блокчейнів може заважати їх широкому прийняттю, особливо з боку фінансових організацій.
Наприклад, CEO Digital Currency Group Баррі Сілберт нещодавно заявив, що очікує значних інвестицій у блокчейни, орієнтовані на приватність.
Рішення Jolt
Зі свого боку, Jolt zkVM з відкритим кодом від A16z у вівторок запустила важливе оновлення, яке дозволяє підтримувати справжні нативні zero-knowledge proof.
Zero-Knowledge Virtual Machine (zkVM) — це середовище для запуску програм, здатне створювати докази того, що певний код був виконаний, не розкриваючи вхідні дані.
Раніше, як і багато інших застосунків, Jolt здебільшого використовувала ZK proof для досягнення стисненості, а не повної приватності. Щоб подолати цю обмеженість, команда розробників застосувала механізм «складання» (folding scheme), що походить із 1990-х років.
Зокрема, Jolt інтегрувала механізм NovaBlindFold для створення «затемнених» (blinded) доказів, що запобігає витоку інформації та робить систему придатною для застосувань, що вимагають приватності.
Згідно з блогом, кінцевий результат — доказ zero-knowledge розміром приблизно 3 KB, що лише трохи більше за попередні докази Jolt без ZK, що свідчить про відносно невеликі додаткові витрати у розмірі заради досягнення приватності.
Застереження: Інформація на цій сторінці може походити від третіх осіб і не відображає погляди або думки Gate. Вміст, що відображається на цій сторінці, є лише довідковим і не є фінансовою, інвестиційною або юридичною порадою. Gate не гарантує точність або повноту інформації і не несе відповідальності за будь-які збитки, що виникли в результаті використання цієї інформації. Інвестиції у віртуальні активи пов'язані з високим ризиком і піддаються значній ціновій волатильності. Ви можете втратити весь вкладений капітал. Будь ласка, повністю усвідомлюйте відповідні ризики та приймайте обережні рішення, виходячи з вашого фінансового становища та толерантності до ризику. Для отримання детальної інформації, будь ласка, зверніться до
Застереження.
Пов'язані статті
Наближається хардфорк Cardano: ось останнє оновлення — U.Today
Cardano готується до хардфорку Van Rossem, запланованого на червень 2026 року, який підвищить продуктивність і безпеку. Однак реліз 10.7.0 зіткнувся з невдачами через проблеми з пам’яттю, через що відклали його просування до готовності до mainnet, тоді як аналітичні можливості розширюються.
UToday7год тому
Aave Labs отримує відповідність SOC 2 типу II
Aave Labs досягла відповідності SOC 2 Type II, підвищивши свої операційні стандарти в сфері безпеки та захисту даних. Ця віхa сприяє довірі до DeFi, дозволяючи інституційній участі та позиціонуючи Aave для переходу в масове впровадження. Вона підкреслює зрілість галузі та її конкурентні переваги.
Coinfomania8год тому
Співзасновник Bittensor звинувачує засновника Covenant AI у зраді спільноти та планує впровадити механізм блокувального стейкінгу, щоб посилити управління
Засновник-співзасновник Bittensor Jacob Steeves відреагував на подію Covenant AI, звинувативши її засновника в зраді довіри та принісши вибачення. Steeves заявив, що просуватиме механізм блокування застави та стейкінгу, посилить прозорість протоколу й здатність протистояти ризикам, а також продовжить підтримувати розвиток відкритого AI.
GateNews8год тому
Розробники Ethereum повідомляють про запуск Glamsterdam Devnet наступного тижня, оскільки прогрес оновлення триває — U.Today
Заплановане оновлення Ethereum під назвою Glamsterdam просувається повільно: розробники орієнтуються на наступний тиждень для його першого devnet. Ключові можливості включають перерахунки комісій (gas repricings) та EIP-7954. Очікується, що оновлення відбудеться у 2026 році, а також тривають подальші оновлення на кшталт Hegotá.
UToday9год тому
Розробники Bitcoin випустили велике оновлення в тестовій мережі: що змінилося? - U.Today
Розробники Bitcoin випустили v31.0rc4 для тестування, запровадивши розширену приватність через мережі Tor і I2P, покращений дизайн mempool, ефективність комісій та оновлення продуктивності. Це оновлення має на меті оптимізувати керування транзакціями та захистити анонімність користувачів.
UToday10год тому
MiniMax оголосила, що модель M2.7 офіційно відкрито, і кілька бенчмарків досягли SOTA-рівня продуктивності
MiniMax оголосила, що її модель M2.7 офіційно відкрито в нових даних. У тестах SWE-Pro та Terminal Bench 2 вона досягла показників 56.22% і 57.0% відповідно, продемонструвавши найкращі результати (SOTA). Модель доступна на Hugging Face та має можливості для побудови складних агентських фреймворків.
GateNews10год тому
