Автор оригіналу: дослідник YBB Capital Zeke
TLDR
ZK Coprocessor (ZK Coprocessor) можна розглядати як автономний обчислювальний плагін, який є похідним від модульної концепції. Його функція подібна до графічного процесора в наших традиційних комп’ютерах, який розділяє графічні обчислювальні завдання для ЦП, тобто спільне використання обчислень. у конкретних сценаріях процесора завдань;
Може використовуватися для обробки складних обчислень і важких даних, зниження плати за газ і розширення функцій смарт-контрактів;
Відмінність від Rollup: співпроцесор ZK не має стану, може використовуватися в різних ланцюгах і підходить для складних обчислювальних сценаріїв;
Співпроцесор ZK важко розробити, він має високу продуктивність і не має стандартизації. Апаратне забезпечення потребує великих витрат. Хоча трек набагато зріліший, ніж рік тому, він все ще знаходиться на ранніх стадіях.
Після того, як інфраструктура вступила в модульну еру фрактального розширення, блокчейн зіткнувся з різними проблемами, такими як брак ліквідності, розпорошені користувачі, відсутність інновацій і сумісності крос-ланцюгів, і сформував парадокс з L1 вертикального розширення. Співпроцесор ZK може стати гарним підкріпленням для обох у майбутньому, дозволяючи їм уникнути проблем, забезпечувати підтримку продуктивності для старих програм і нових і важливих програм, а також принести більше свіжих оповідань.
1. Ще одна гілка модульної інфраструктури, співпроцесор ZK
1.1 Огляд співпроцесора ZK
ZK Coprocessor (ZK Coprocessor) можна розглядати як автономний обчислювальний плагін, що походить від модульної концепції. Його функція подібна до графічного процесора в наших традиційних комп’ютерах, який розподіляє графічні обчислювальні завдання для центрального процесора, тобто спільне використання обчислень. у конкретних сценаріях завдання. Згідно з цією структурою проектування, завдання «важких даних» і «складної логіки обчислень», з якими загальнодоступні ланцюжки не справляються, можуть бути обчислені через співпроцесор ZK , нарешті реалізовано надійні обчислення поза мережею для складних завдань.
Наразі такі популярні програми, як AI, SocialFi, DEX і GameFi, мають нагальну потребу у високій продуктивності та контролі витрат. У традиційних рішеннях ці «важкі програми», які вимагають високої продуктивності, часто вибирають форму активів у ланцюзі + поза ланцюгом. додатки, або Створити ланцюжок додатків окремо для додатка. Однак обидва мають певні внутрішні проблеми. Наприклад, перший має чорну скриньку, а другий має такі проблеми, як високі витрати на розробку, відокремлення від початкової екології ланцюга та фрагментація ліквідності. Крім того, віртуальна машина основного ланцюга також має великі обмеження на розробку та роботу таких програм (наприклад, відсутність стандартів прикладного рівня та складних мов розробки).
Існування ZK співпроцесора є для вирішення таких проблем, щоб навести більш детальний приклад, ми можемо розглядати блокчейн як термінал, який не може бути підключений до Інтернету (мобільний телефон, комп’ютер тощо). деякі простіші програми, такі як Uniswap та інші програми DeFi, можуть працювати повністю в мережі. Але коли з’являться більш складні програми, такі як запуск програми на кшталт ChatGPT, продуктивність і сховище загальнодоступного ланцюга будуть повністю недостатніми, і газ вибухне. У випадку з Web2 те саме відбувається, коли ми запускаємо ChatGPT. Самі звичайні термінали не можуть обробляти великі мовні моделі, такі як GPT-4. Нам потрібно повідомити про проблему серверу OpenAI через Інтернет результати, ми Ви отримаєте відповідь безпосередньо. Співпроцесор ZK схожий на віддалений сервер блокчейну, однак для різних типів проектів у різних проектах співпроцесора можуть бути невеликі відхилення, але основна логіка не буде сильно відрізнятися розрахунок + докази ЗК або докази зберігання. Взявши за приклад розгортання Rise Zero, ми можемо зрозуміти, що логіка цієї архітектури повністю інтегрована у власну zkVM. Розробникам потрібно лише два прості кроки, щоб використовувати Bonsai як співпроцесор.
Написати програму zkVM для обробки логіки програми;
Напишіть контракт Solidity, який вимагає від Bonsai запустити вашу програму zkVM і обробити результати.
Яка різниця між 1.2 і Rollup?
У наведеному вище визначенні ми побачимо, що Rollup, здається, має високий ступінь перекриття з співпроцесором ZK, незалежно від його логіки реалізації чи цілей. Але насправді Rollup більше схожий на багатоядерну версію основного ланцюжка.
1. Основна мета:
Зведений пакет: покращте пропускну здатність транзакцій блокчейну та зменшіть комісію за транзакції.
Співпроцесор ZK: розширює обчислювальну потужність смарт-контрактів, щоб він міг обробляти складнішу логіку та більші обсяги даних.
2. Принцип роботи:
Зведення: узагальнюйте транзакції в ланцюжку та передайте їх до основного ланцюга через захист від шахрайства або ZK.
ZK співпроцесор: подібний до ZK Rollup, за винятком того, що сценарії застосування ZK Rollup обмежені формою та правилами ланцюжка і не підходять для роботи ZK співпроцесора.
3. Управління статусом:
Зведення: потрібно підтримувати власний стан і регулярно синхронізуватися з основним ланцюгом.
Співпроцесор ZK: не підтримує постійний стан, і кожне обчислення не має стану.
4. Сценарії застосування:
Зведення: переважно для сторони С, підходить для високочастотної торгівлі.
Співпроцесор ZK: в основному для B-сторони, підходить для сценаріїв, які потребують складних обчислень, таких як передові фінансові моделі, аналіз великих даних тощо.
5. Зв'язок з основним ланцюгом:
Зведення: можна розглядати як розширення основного ланцюга, зазвичай зосереджуючись на конкретній мережі блокчейн.
Співпроцесор ZK: він може надавати послуги для кількох блокчейнів і не обмежується певним основним ланцюгом, тому він також може надавати послуги для Rollup.
Таким чином, вони не є взаємовиключними за своєю природою, а навіть доповнюють один одного. Навіть якщо зведений пакет існує у формі ланцюжка додатків, співпроцесор ZK все одно може надавати послуги.
1.3 Варіанти використання
Теоретично кажучи, співпроцесор ZK має дуже широкий спектр застосування і може в основному охоплювати проекти в різних треках блокчейну. Наявність співпроцесора ZK може наблизити функцію Dapp до функції централізованої програми Web2.
Розробка DApp на основі даних
Співпроцесор ZK дозволяє розробникам створювати керовані даними DApps, які використовують історичні дані з усього ланцюжка та виконують складні обчислення без додаткових припущень довіри. Це надає безпрецедентні можливості для розробки DApp, наприклад:
Розширений аналіз даних: функції аналізу даних у мережі схожі на Dune Analytics.
Складна бізнес-логіка: реалізуйте складні алгоритми та бізнес-логіку в традиційних централізованих програмах.
Додатки між ланцюжками: створюйте міжланцюгові DApps на основі даних кількох ланцюжків.
Програма VIP-трейдера DEX
Типовим сценарієм застосування є впровадження програми знижок на основі комісії на основі обсягу транзакцій на децентралізованій біржі (DEX), тобто «Програма лояльності для трейдерів VIP». Цей тип схеми поширений на централізованих біржах (CEX), але рідко зустрічається на DEX.
Використовуючи співпроцесор ZK, DEX може:
Відстежуйте історичний обсяг транзакцій користувачів
Розрахувати VIP-рівень користувача
Динамічно регулюйте комісії за транзакції залежно від рівня
Ця функція може допомогти DEX покращити утримання користувачів, збільшити ліквідність і, зрештою, збільшити дохід.
Розширення даних для смарт-контрактів
Співпроцесор ZK може служити потужним проміжним програмним забезпеченням для надання послуг збору, обчислення та перевірки даних для смарт-контрактів, тим самим зменшуючи витрати та підвищуючи ефективність. Це дозволяє розумним контрактам:
Доступ і обробка великих обсягів історичних даних
Виконуйте складні обчислення поза мережею
Впровадити більш просунуту бізнес-логіку
Технологія перехресного ланцюгового мосту
Деякі технології перехресного ланцюгового мосту на основі ZK, такі як Геродот і Лагранж, також можна розглядати як застосування співпроцесора ZK. Ці технології в основному зосереджені на вилученні та перевірці даних, забезпечуючи надійну базу даних для перехресного зв’язку.
Співпроцесор 1.4 ZK не ідеальний
Незважаючи на те, що ми перерахували багато переваг, поточний рівень співпроцесора ZK не ідеальний і все ще має стикатися з багатьма проблемами. Я особисто резюмував такі моменти:
1. Розробка: багатьом розробникам складно зрозуміти концепцію ZK, а також вимагає відповідних знань криптографії та володіння певними мовами та інструментами розробки.
2. Витрати на апаратне забезпечення високі: апаратне забезпечення ZK, яке використовується для обчислень поза ланцюгом, має повністю покриватися самим проектом. Апаратне забезпечення ZK є дорогим і все ще проходить швидку розробку та ітерацію, і це обладнання, ймовірно, буде усунено в будь-який момент. Варто розглянути питання, чи може це сформувати замкнутий цикл у бізнес-логіці;
3. Доріжка переповнена: Насправді, не буде великої різниці в технічній реалізації, ймовірно, вона буде схожа на поточний шаблон рівня 2. Є кілька видатних проектів, але більшість із них ігноруються.
4.zk схема: Виконання автономних обчислень у zk співпроцесорі вимагає перетворення традиційних комп’ютерних програм у zk схеми дуже складне, а використання zkvm для запису схем у віртуальних машинах викликає різні обчислювальні моделі .
2. Ключові елементи головоломки, що ведуть до широкомасштабного застосування
(Цей розділ дуже суб’єктивний і відображає лише особисті погляди автора)
У цьому циклі домінує модульна інфраструктура. Якщо шлях модулярізації правильний, то цей цикл може бути останнім кроком до широкомасштабного застосування. Однак на нинішньому етапі у всіх є спільне відчуття, чому ми можемо бачити лише деякі старі вина з новими додатками. Чому нових стандартів токенів, таких як написи, можна назвати найбільшою інновацією? круглий?
Причина такої нестачі свіжих наративів полягає в тому, що поточна модульна інфраструктура недостатня для підтримки супердодатків, особливо відсутність деяких передумов (сумісність повного ланцюга, порогові значення для користувачів тощо), що сприяло найбільшому розвиток в історії блокчейна в маскуванні. Зведення, як ядро модульної ери, є швидким, але також приносить багато проблем, тобто фрагментація ліквідності, розсіяність користувачів, сама ланцюжок або віртуальна машина, про що ми неодноразово підкреслювали вище, все ще обмежує інновації в додатках. З іншого боку, Celestia, ще одна «ключова людина» модульності, висунула ідею про те, що DA не має бути на Ethereum. Ця ідея ще більше посилює фрагментацію. Незалежно від того, чи починається це з ідеології чи вартості DA, результатом є те, що BTC змушений робити DA, а інші публічні ланцюги повинні робити більш рентабельні DA Проекти рівня 2 у кожному публічному ланцюжку. Нарешті, усі учасники інфраструктурного та екологічного проекту ретельно вивчили ігровий процес із вбивством очок (OpenSea), започаткований Blur (Tieshun), вимагаючи від користувачів закладати токени в цьому проекті. для китів Або зростання BTC і модель Token із безкоштовними токенами, ще більше стискаючи ліквідність у ланцюжку.
На минулому «бичачому» ринку кошти надходили лише в кілька-десяток публічних ланцюжків, і можна навіть сказати, що вони були зосереджені лише в Ethereum. Але сьогоднішні кошти розпорошені по сотнях публічних ланцюжків і закладені в тисячі проектів, які всі однакові. Тож східні гравці роблять PVP в екосистемі BTC, а західні гравці не мають іншого вибору, окрім як робити PVP у Solana. Тому мене особисто зараз найбільше хвилює те, як сприяти агрегації ліквідності в усьому ланцюжку та як підтримати народження нових ігор і супердодатків. У напрямі сумісності з повним ланцюгом кілька традиційних провідних проектів фактично показали погані результати. Вони все ще більше схожі на традиційні крос-ланцюгові мости. Нове рішення сумісності також обговорювалося в нашому попередньому дослідницькому звіті, головним чином шляхом об’єднання кількох ланцюжків в один ланцюг. Зараз ми працюємо над AggLayer, Superchain, Elastic Chain, JAM тощо, які тут не обговорюватимуться.
Загалом, агрегація всього ланцюга є перешкодою, яку необхідно подолати в рамках модульної структури, але ця перешкода все одно займе багато часу. Співпроцесор ZK є більш критичною частиною головоломки на поточному етапі, крім посилення Рівня 2, він також може посилити Рівень 1. Чи можна тимчасово уникнути двох проблем повного ланцюга та трикутника в майбутньому? Спочатку впровадити деякі поточні програми на Рівні 1 або Рівні 2, які мають широку ліквідність? Зрештою, поточного наративу блокчейн-програми дійсно бракує. З іншого боку, для досягнення диверсифікації ігрового процесу, контролю газу, появи великомасштабних додатків і навіть крос-ланцюжків, зниження порогу користувачів, інтеграція рішення співпроцесора буде більш ідеальним рішенням, ніж покладатися на централізацію.
3. Список проектів
Версія співпроцесора ZK з’явилася приблизно в 2023 році і є відносно зрілою на поточному етапі. Відповідно до класифікації Мессарі, існуючі проекти на трасі можна розділити на три основні вертикальні області (загальні обчислення, сумісність і крос-ланцюг, ШІ та машинне навчання), з 18 проектами. Більшість із цих проектів підтримуються головними венчурними спеціалістами, вибираючи деякі проекти в різних вертикальних полях для опису нижче.
3.1 Людина
Giza — це протокол zkML (машинне навчання з нульовим знанням), який розгорнуто в Starknet і офіційно підтримується StarkWare, зосереджуючись на тому, щоб моделі штучного інтелекту можна було перевірити в смарт-контрактах блокчейна. Розробники можуть розгортати моделі штучного інтелекту в мережі Giza, яка потім перевіряє правильність міркувань моделі за допомогою доказів із нульовим знанням і надає результати для використання смарт-контрактами без довіри. Це дозволяє розробникам створювати програми в ланцюжку, які включають можливості ШІ, зберігаючи при цьому децентралізацію та можливість перевірки блокчейну.
Giza завершує робочий процес, виконавши такі три кроки:
Перетворення моделі: Giza перетворює моделі штучного інтелекту у форматі ONNX у формат, який можна запускати в системах з нульовим розпізнаванням. Це дозволяє розробникам навчати моделі за допомогою знайомих інструментів, а потім розгортати їх у мережі Giza.
Висновок поза ланцюгом: коли смарт-контракт запитує висновок моделі ШІ, Giza виконує фактичні обчислення поза ланцюгом. Це дозволяє уникнути високої вартості запуску складних моделей ШІ безпосередньо в блокчейні.
Перевірка з нульовим знанням: Giza генерує ZK-доказ для кожного висновку моделі, щоб довести, що обчислення було виконано правильно. Ці докази перевіряються в ланцюжку, забезпечуючи правильність результатів висновків без необхідності повторювати весь процес розрахунку в ланцюжку.
Підхід Giza дозволяє моделям ШІ служити надійними джерелами вхідних даних для смарт-контрактів, не покладаючись на централізовані оракули чи надійні середовища виконання. Це відкриває нові можливості для програм блокчейну, таких як управління активами на основі ШІ, виявлення шахрайства та динамічне ціноутворення. Це один із небагатьох логічних замкнутих проектів у поточному Web3 x AI, а також чудове використання спільної обробки в області AI.
3.2 Нульовий нагрів
Risc Zero — це проект співпроцесора, який підтримується багатьма провідними венчурними фінансовими компаніями, і є лідером у цій галузі. Проект зосереджений на забезпеченні довільних обчислень, які можна перевірити, у смарт-контрактах блокчейна. Розробники можуть писати програми в Rust і розгортати їх у мережі RISC Zero. Потім RISC Zero перевіряє правильність виконання програми за допомогою доказів з нульовим знанням і передає результати в розумні контракти без довіри. Це дозволяє розробникам створювати складні програми в ланцюжку, зберігаючи при цьому децентралізацію та можливість перевірки блокчейну.
Вище ми коротко говорили про розгортання та робочий процес, а тут докладніше розповімо про два ключових компоненти:
Bonsai: Bonsai of RISC Zero — це компонент співпроцесора в проекті. Він повністю інтегрований у zkVM архітектури набору інструкцій RISC-V, що дозволяє розробникам швидко інтегрувати високопродуктивні докази з нульовим знанням в Ethereum і L1. Кілька днів блокчейн, ланцюжок додатків Cosmos, зведення L2 і dApps забезпечують прямі виклики смарт-контрактів, обчислення поза ланцюгом, що підлягають перевірці, сумісність між ланцюжками та універсальні функції зведення, в той же час застосовуючи дизайн розподіленої децентралізованої архітектури в поєднанні з рекурсивними функціями. докази, спеціальні компілятори схем, продовження стану та постійне вдосконалення алгоритмів доказів, що дозволяє будь-кому генерувати високоефективні докази з нульовим знанням для різноманітних застосувань.
zKVM: zkVM — це верифікований комп’ютер, який працює як справжній вбудований мікропроцесор RISC-V. Ця віртуальна машина заснована на архітектурі набору інструкцій RISC-V, що дозволяє розробникам використовувати різноманітні мови програмування, такі як Rust, C++, Solidity, Go та інші мови програмування високого рівня, щоб писати програми, які можуть генерувати нуль. Він підтримує більш ніж 70% популярних ящиків Rust. Він забезпечує цілісне поєднання загальних обчислень і доказів з нульовим знанням і може генерувати ефективні докази з нульовим знанням для обчислень будь-якої складності, зберігаючи при цьому конфіденційність обчислень. процес і можливість перевірки результатів. zkVM використовує STARK і SNARK, включаючи технологію ZK, яка реалізує ефективну генерацію доказів і перевірку за допомогою таких компонентів, як Recursion Prover і STARK-to-SNARK Prover, підтримуючи режими автономного виконання та перевірки в ланцюжку.
Risc Zero інтегрувався з кількома системами ETH рівня 2 і продемонстрував кілька випадків використання Bonsai, найцікавішим з яких є Bonsai Pay. Демонстрація використовує zkVM і Bonsai від RISC Zero, щоб дозволити користувачам надсилати або знімати ETH і токени на Ethereum за допомогою облікового запису Google. Він демонструє, як RISC Zero може бездоганно інтегрувати on-chain програми за допомогою OAuth 2.0 (стандарт, що використовується основними постачальниками ідентифікаційної інформації, такими як Google), інтеграційний варіант використання, який знижує бар’єр для входу для користувачів Web3 через традиційні програми Web2, на додаток до прикладів. на основі таких програм, як DAO.
3,3 =нуль;
=nil; Інвестують відомі проекти та установи, такі як Mina, Polychain, Starkware і Blockchain Capital. Варто зазначити, що серед них також є сторони проекту з передовими технологіями, такими як Mina та Starkware. технічне визнання проекту залишається високим. =nil; це також проект, згаданий у нашому дослідницькому звіті «Ринок обчислювальної потужності». У той час він був в основному зосереджений на =nil;’s Proof Market (децентралізований ринок створення доказів).
zkLLVM — це інноваційний компілятор схем, розроблений компанією =nil; Він може автоматично перетворювати коди програм, написані на основних мовах розробки, як-от C++ і Rust, у ефективні схеми для перевірки на Ethereum без використання спеціальних полів з нульовим знанням (. DSL), що значно спрощує процес розробки та в той же час покращує продуктивність, не використовуючи віртуальну машину з нульовими знаннями. Він підтримує апаратне прискорення для прискорення створення доказів , міжланцюгові мости, різноманітні сценарії додатків ZK, такі як оракули, машинне навчання та ігри, і тісно інтегровані з =nil Proof Market, щоб забезпечити розробникам наскрізну підтримку від створення схеми до генерації доказів.
3.4 Brevis
Цей проект є дочірнім проектом Celer Network. Bervis — це інтелектуальний співпроцесор з нульовим знанням (ZK) для блокчейну, який дозволяє dApps отримувати доступ, обчислювати та використовувати між кількома блокчейнами абсолютно ненадійним способом. Як і інші співпроцесори, Brevis також має широкий спектр варіантів використання, таких як керований даними DeFi, zkBridges, залучення користувачів у мережі, zkDID та абстракція соціальних облікових записів.
Архітектура Brevis в основному складається з трьох частин:
zkFabric: zkFabric є ретранслятором для архітектури Brevis. Його основне завдання полягає в зборі та синхронізації інформації про заголовок блоку з усіх підключених блокчейнів і, нарешті, генерації підтверджень консенсусу для кожного зібраного заголовка блоку через схему клієнта ZK light.
zkQueryNet: zkQueryNet — це відкритий ринок механізму запитів ZK, який може безпосередньо приймати запити даних від смарт-контрактів у ланцюжку, а також може генерувати результати запитів і відповідні сертифікати запитів ZK через схему механізму запитів ZK. Ці механізми варіюються від вузькоспеціалізованих (наприклад, обчислення обсягу транзакцій на DEX за певний період часу) до дуже загальних абстракцій індексів даних і мов запитів високого рівня, які задовольняють різноманітні потреби додатків.
zkAggregatorRollup: діє як рівень агрегації та зберігання для zkFabric і zkQueryNet. Він перевіряє докази обох компонентів, зберігає підтверджені дані та фіксує свій корінь стану ZK-proof до всіх підключених блокчейнів, дозволяючи dApps отримувати прямий доступ до підтверджених у бізнес-логіці результатів запиту смарт-контрактів у ланцюзі.
Завдяки цій модульній архітектурі Brevis може забезпечити надійний, ефективний і гнучкий доступ до смарт-контрактів у всіх підтримуваних публічних мережах. Цей проект також був прийнятий у версії V4 UNI та інтегрований з Hooks у протоколі (система, яка інтегрує спеціальну логіку для різних користувачів), щоб полегшити читання історичних даних блокчейну, зменшити плату за газ і забезпечити децентралізацію. Це приклад співпроцесора zk, що керує DEX.
3.5 Лагранжа
Lagrange — це взаємодіючий протокол співпроцесора zk під керівництвом 1kx і Founders Fund. Основна мета протоколу — забезпечити безперебійну взаємодію між ланцюжками та підтримати інновації програм, які потребують складних обчислень великих даних. На відміну від традиційних вузлових мостів, крос-ланцюгова сумісність Lagrange в основному досягається завдяки його інноваційним механізмам ZK Big Data і State Committee.
ZK Big Data: цей продукт є ядром Langrange і в основному відповідає за обробку та перевірку міжланцюжкових даних і створення відповідних сертифікатів ZK. Цей компонент включає високопаралельний ZK-сопроцесор для виконання складних обчислень поза ланцюгом і генерації підтверджень з нульовим знанням. Спеціально розроблена база даних підтримує необмежену кількість слотів для зберігання та прямі SQL-запити для смарт-контрактів. Механізм динамічного оновлення оновлює лише змінені точки даних Час перевірки та інтегрована функціональність, яка дозволяє розробникам отримувати доступ до історичних даних за допомогою SQL-запитів безпосередньо зі смарт-контрактів без написання складних схем, разом утворюють великомасштабну систему обробки та перевірки даних блокчейна.
Державний комітет: цей компонент є децентралізованою мережею перевірки, що складається з кількох незалежних вузлів, кожен вузол заставляє ETH як заставу. Ці вузли служать клієнтами ZK light і призначені для перевірки стану конкретних зведених оптимізаційних пакетів. Державний комітет інтегрується з AVS EigenLayer, використовує потужний механізм застави для підвищення безпеки, підтримує участь необмеженої кількості вузлів і досягає надлінійного зростання безпеки. Він також забезпечує «швидкий режим», який дозволяє користувачам виконувати міжланцюгові операції, не чекаючи вікна виклику, що значно покращує роботу користувача. Поєднання цих двох технологій дозволяє Lagrange ефективно обробляти великомасштабні дані, виконувати складні обчислення та безпечно передавати та перевіряти результати між різними блокчейнами, забезпечуючи підтримку для розробки складних міжланцюжкових додатків.
Наразі Lagrange інтегровано з EigenLayer, Mantle, Base, Frax, Polymer, LayerZero, Omni, AltLayer тощо, а також буде пов’язано з екосистемою Ethereum як перший ZK AVS.
Список літератури
1.ABCDE：Глибоке занурення в співпроцесор ZK та його майбутнє：https://medium.com/@ABCDE.com/en-abcde-a-deep-dive-into-zk-coprocessor-and-its-future-1d1b3f33f946
2. «ZK» — це все, що вам потрібно: https://medium.com/@gate_ventures/zk-is-all-you-need-238886062c 52
3. Нульовий ризик: https://www.risczero.com/bonsai
4. Лагранж: https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis
5. AxiomBlog: https://blog.axiom.xyz/
6. Азот прискорює! Як співпроцесор ZK долає бар'єри даних смарт-контрактів: https://foresightnews.pro/article/detail/48239
