# Що таке Zero-Knowledge Virtual Machine (zkVM)? By [Borsch](https://paragraph.com/@borsch) · 2025-02-15 --- Традиційна перевірка є простою, але неефективною. Коли ви входите на веб-сайт, ви підтверджуєте свою особу, показуючи свій пароль. Коли ви знімаєте гроші, ви показуєте своє посвідчення особи повністю. Коли блокчейн-мережі перевіряють транзакції, вони зазвичай обробляють кожну деталь кожної операції. У кожному разі ви розкриваєте більше інформації, ніж потрібно. То що, якщо ви хочете довести, що у вас достатньо грошей на банківському рахунку для покупки, але не хочете розкривати точний баланс чи історію транзакцій? Або що, якщо вам потрібно підтвердити свій вік, не показуючи своє посвідчення особи та всю його особисту інформацію? Як довести, що щось правдиве, не розкриваючи жодної непотрібної інформації? Це саме те, що вирішують докази нульового знання (ZKP). Це криптографічний метод, який дозволяє одній стороні (доказу) довести іншій стороні (верифікатору), що щось правдиве, не відкриваючи нічого, окрім факту, що це правда. Хоча це може здатися заплутаним, все це засновано на математичних роботах, які працюють за лаштунками, щоб зробити це, здавалося б, неможливе завдання реальністю. Як працюють докази з нульовим знанням? -------------------------------------- Щоб доказ вважався «нульовим знанням», він повинен задовольняти трьом основним властивостям: ### Повнота Якщо твердження вірне, чесний верифікатор буде переконаний чесним доказом. Подумайте про це як про ключ, який ідеально підходить до замку. Тільки якщо у вас є правильний ключ, двері завжди відчиняться. ### Обґрунтованість Якщо твердження хибне, жоден обман не зможе переконати верифікатора, що воно правдиве. Це все одно, що намагатися відімкнути двері не тим ключем, незалежно від того, наскільки ти розумний, ти не ввійдеш. ### Нульові знання Верифікатор не дізнається нічого, крім того, що твердження є істинним. Уявіть, що ви підтверджуєте, що знаєте пароль своєї електронної пошти, увійшовши у свій обліковий запис, коли екран верифікатора вимкнено, вони не бачать ваш пароль, але побачать, що ви успішно ввійшли. Подивимося, як ці властивості працюють у дії, на докладному прикладі. Припустімо, ваш уряд доручає вам створити систему цифрового посвідчення особи, яка використовує докази нульового знання, щоб дозволити громадянам підтверджувати свою особу державним службам. Коли громадянину необхідно отримати доступ до податкових послуг: 1. Їхня цифрова ідентифікаційна картка генерує доказ, використовуючи збережені особисті дані 2. Цей доказ підтверджує їх особу для податкової служби 3. Сервіс може підтвердити дійсність доказів (повноту) 4. Ніхто не може підробити дійсний доказ без правильного ідентифікатора (обґрунтованості) 5. Сервіс перевіряє їх особу без доступу до повних особистих даних (нульовий рівень знань) Докази з нульовими знаннями вже трансформують різні галузі. Постачальники медичних послуг використовують їх для перевірки страхового покриття без розголошення медичних записів, уряди впроваджують їх для систем цифрової ідентифікації, які зберігають конфіденційність, а фінансові установи використовують їх для відповідності KYC без зберігання конфіденційних даних. Навіть системи голосування вивчають ЗКП, щоб довести, що голоси підраховуються правильно, зберігаючи таємницю голосування. Звичайно, ця технологія особливо цінна в блокчейні, де мережі повинні ефективно перевіряти величезну кількість транзакцій. Традиційна перевірка блокчейну вимагає обробки кожної деталі кожної транзакції, що стає все більш нежиттєздатним у міру масштабування мережі. ZKP вирішують це, дозволяючи мережам перевіряти дійсність великих пакетів транзакцій за допомогою єдиного компактного підтвердження, що значно скорочує обчислювальні ресурси та час, необхідний для перевірки. Ця можливість особливо важлива для рішень рівня 2, які повинні підтвердити дійсність своїх транзакцій, не обтяжуючи основний ланцюг надмірною роботою з перевірки. Як Morph реалізує докази з нульовим знанням ------------------------------------------- Будучи глобальним споживчим рівнем, Morph використовує унікальний підхід до впровадження доказів із нульовим знанням за допомогою нашої системи Responsive Validity Proof (RVP). На відміну від інших рішень рівня 2, які або використовують ZKP для кожної транзакції (дорого), або покладаються виключно на оптимістичну перевірку (повільно), ми створили гібридну систему, яка максимізує ефективність, зберігаючи безпеку. Наш підхід простий: ми обробляємо транзакції оптимістично (припускаючи, що вони дійсні) для швидкості, але використовуємо докази з нульовим знанням, коли це викликано для безпеки. Це означає, що користувачі за замовчуванням отримують швидкі та дешеві транзакції, але з безкомпромісною безпекою ZKP як резервною копією. Нещодавно ми вдосконалили цю систему за допомогою нашого оновлення SP1 zkVM, яке робить створення цих доказів швидшим і ефективнішим, ніж будь-коли. Ця реалізація є прикладом нашого бачення споживчого блокчейну. Складна криптографія доказів із нульовим знанням працює непомітно у фоновому режимі, а користувачі насолоджуються транзакціями, які коштують центи замість доларів, розрахунками за 2 дні замість тижня та безкомпромісною безпекою без жодних ускладнень. Завдяки необмеженій масштабованості для майбутнього зростання цей блокчейн нарешті працює так, як повинен. Тому що справжня інновація полягає в тому, щоб складні технології зникли на задньому плані, а сяяли лише відчутні переваги. --- *Originally published on [Borsch](https://paragraph.com/@borsch/zero-knowledge-virtual-machine-zkvm)*