"ZK Track Active Project Sharing". 🙌 Я давно думаю, що написати, і мої знайомі, які мене знають, знають, що я завжди цікавився зк. Давайте подивимося на проекти ЗК, які останнім часом були дуже активними (з поточними стимулюючими заходами) і поступово активними (з майбутніми заохочувальними активностями). У цій статті системно проаналізовано п'ять найактивніших та найгучніших проєктів у нинішньому треку ZK: @NexusLabs, @RiscZero @boundless_xyz, @SuccinctLabs, @zerobasezk та @Zypher_Network. Він буде представлений з точки зору представлення проекту, технічної архітектури (основні функціональні продукти), останніх активностей та стимулів, а також обміну авторами. Наведена нижче таблиця містить короткий виклад ключової інформації для кожного проекту для зручного візуального порівняння, а твіти в ланцюжках детально описують кожен пункт. Давайте коротко розглянемо ЗК, ВМ і зкВМ zk (Zero-Knowledge): відноситься до «нульового знання», що є широким поняттям у криптографії, що означає, що одна сторона (доказ) може довести правдивість твердження іншій стороні (верифікатору) без розкриття будь-якої додаткової інформації під час взаємодії. Віртуальна машина (ВМ) — це комп'ютерна система, яка моделюється за допомогою програмного забезпечення та здатна запускати операційні системи та програми, як реальний фізичний комп'ютер. Простіше кажучи, віртуальна машина схожа на створення «віртуального комп'ютера» на вашому комп'ютері, на якому ви можете встановлювати різні операційні системи (наприклад, Windows, Linux тощо) і запускати програмне забезпечення, не впливаючи на вашу реальну хост-систему. Основними характеристиками віртуальних машин є ізоляція та віртуалізація. Навіщо потрібні віртуальні машини (ВМ) для розробки блокчейну? 1⃣️ Детерміноване середовище виконання Блокчейн – це децентралізована мережа, яка спільно підтримується багатьма вузлами. Щоб забезпечити узгодженість мережі, всі вузли повинні досягти консенсусу щодо результату виконання смарт-контракту. Віртуальні машини забезпечують стандартизоване середовище виконання, яке гарантує, що один і той же код і вхідні дані будуть виробляти абсолютно однаковий вихід на будь-якому вузлі. Ця «впевненість» і є основою для роботи блокчейну. 2⃣️ Безпека Смарт-контракти часто включають цінні активи, такі як криптовалюти або токени, тому безпека має першорядне значення. Віртуальна машина використовує технологію пісочниці для ізоляції коду контракту, щоб запобігти шкоді шкідливого коду вузлам або мережам. Наприклад, віртуальна машина в Ethereum використовує механізм «газ», щоб обмежити споживання ресурсів контракту та уникнути нескінченних циклів або атак. 3⃣️ Портативність Віртуальні машини дозволяють розробникам написати код смарт-контракту один раз і запустити його на будь-якому вузлі, який підтримує віртуальну машину, не турбуючись про відмінності в базовому апаратному забезпеченні або операційній системі. Це значно спрощує процес розробки та розгортання. 4⃣️ Стандартизація Віртуальні машини надають уніфікований набір наборів інструкцій і моделей виконання, що дозволяє розробникам покладатися на стандартизовану платформу для створення смарт-контрактів. Ця стандартизація сприяє співпраці в спільноті розробників і процвітаючій екосистемі. 5⃣️ Гнучкість і масштабованість Віртуальні машини підтримують різноманітні мови програмування та інструменти, що дозволяє розробникам писати код знайомим їм способом. При цьому дизайн віртуальних машин можна модернізувати в міру розвитку технологій, додаючи нові функції або оптимізуючи продуктивність. Простіше кажучи, віртуальні машини забезпечують безпечне, послідовне та портативне операційне середовище для блокчейнів і є ключовими технологіями для виконання смарт-контрактів. Наприклад, EVM – це абревіатура від «Ethereum Virtual Machine», яка також є інфраструктурою 90% публічних ланцюгів на даному етапі. zkVM: Це комбінація віртуальної машини та ZK: вона може як запускати програму (наприклад, віртуальну машину), так і генерувати «доказ з нульовим розголошенням», який доводить, що програма працює правильно, захищаючи конфіденційність. zkVM особливо корисний у сфері блокчейну, і його переваги включають: · Захист конфіденційності: У фінансових операціях zkVM може довести, що транзакція є дійсною (наприклад, баланс рахунку достатній), але не розкриває конкретну суму або інформацію про рахунок. · Масштабованість: На рівні 2 zkVM може перевіряти правильність тисяч транзакцій, а потім зберігати лише короткий доказ в основному ланцюжку, а не деталі кожної транзакції. Це дозволяє блокчейну обробляти більше транзакцій, зменшуючи витрати та навантаження. #Nexus, #RiscZero та #Succinct належать до треку zkVM. Наступним кроком буде аналіз кожного по черзі.