Холодний вітер штату Колорадо несе з собою прагнення світу блокчейн, на заходах навколо ETH Denver червоні ягоди слугують прообразом печатки, яка ставиться на руку кожного учасника — це перший код, залишений командою Boundless для учасників. Відповідальна за бренд та комунікацію Река стоїть поруч із установкою, її палець обережно ковзає по поверхні ягідної печатки: “Berry (малина) — це дуже цікава гра слів, кожна ягода символізує поєднання Boundless та перевірювальних обчислень (Verifiable Compute).
**Беррі, мабуть, запалив ентузіазм членів спільноти Boundless, і сьогодні на його основі викарбувано понад 1,5 мільйона NFT. **У снігах Скелястих гір вдалині Odaily та шість членів основної команди Boundless, що стоять за «Berry» – генеральний директор Джеремі Брюстл, технічний власник продукту Джейкоб Еверлі, директор з інформаційних технологій Шив Шанкар, головний операційний директор Джо Рестіво, віце-президент із продуктів Бретт Картер та бренд-керманич Река Медвец – Відбулася низка глибоких розмов. Від інженерної філософії ZKVM до гри в довіру TEE, від революційних експериментів з висновками штучного інтелекту до наративу бренду, що стоїть за «Berry», технологічні амбіції компанії так само вражають, як і їхні людські почуття.
Високоякісний браслет для входу на конференцію, перший заробіток з відчуттям крадіжки
На конференції ETH Denver на початку 2022 року група молодих людей без квитків стояла біля входу, тримаючи в руках тканини та інструменти, куплені в Joann Fabrics (місцевий магазин друку). Вони зрівнювали стиль браслетів відвідувачів, розрізали, шили та повторювали вправи, піднімаючи руки, щоб пройти через контроль безпеки. Коли підроблені браслети успішно обманули перевірку, ця група, можливо, не усвідомлювала, що таке "недотримання правил" в стилі хакерів стане метафорою долі компанії.
“Ті кілька ранніх інвестицій, які ми пізніше отримали, були узгоджені на цій «конференції, куди ми випадково потрапили».” Генеральний директор Boundless Джеремі Брюстл згадує. Для компанії, яка має безпеку в основі своєї технології, така майже абсурдна точка відправлення насправді узгоджується з підгрунтям логіки світу блокчейну: ті, хто ламає старі правила, зазвичай першими визначають нові правила.
"Момент осяяння" у математичних працях спровокував революцію віртуальних машин
Як один із співзасновників компанії, одержимість Джеремі математикою схожа на темну нитку, яка пов'язує технічні гени Boundless. Коли я запитав його, чи було створення Boundless результатом поштовху думки чи результатом тривалого періоду накопичення та підготовки, він без вагань відповів, що це був «покроковий процес».
П’ять-шість років тому, людина, яка могла б читати математичні статті як хобі, прочитала в статті про Теорему PCP (ймовірно перевіряні докази, Probabilistically Checkable Proofs): “Будь-яке складне обчислення може бути перевірене за постійний час”. Іншими словами, незалежно від того, скільки часу потрібно для виконання обчислення, ми можемо миттєво підтвердити його правильність. Це відкриття подібне до електричного струму, що проходить через мозок — якщо людство зможе миттєво перевірити всю правдивість «Великої британської енциклопедії», механізм довіри блокчейну буде повністю перевернутий.
Але технічна реальність того часу була дуже холодною: перевірка займала набагато більше часу, ніж самі розрахунки, теорія була бездоганною, а інженерію було важко просунути вперед. Лише у 2020 році стаття про систему доказів STARK дала йому можливість побачити світ. «Я провів простий розрахунок і виявив, що поки існує інженерна оптимізація, швидкість перевірки ZK може бути збільшена в мільйон разів».
У телефонному дзвінку пізно вночі він з захопленням описував своє бачення партнеру Френку, але натрапив на запитання, яке змусило його задуматися: "А як розробники будуть програмувати?" Коли Джеремі кинув фразу "обмеження на багато членів скінченного поля", на тому кінці трубки настала тиша. "Ніхто не захоче писати таке, це абсолютно не має сенсу!" - холодний душ Френка розбудив ілюзії технічного ідеалізму.
Справжній переломний момент настав у Сан-Франциско. Того вечора Джеремі, Френк і Брайан, троє чоловіків, дивилися на порожню банку з-під пива і раптом загорілися ідеєю: «А що, якби ми могли емулювати існуючий комп'ютер у ZK?» ”
Ця ідея, яка стала відомою як ZKVM (Zero-Knowledge Virtual Machine), змінила правила гри. Вони обрали сумісність з набором інструкцій RISC-V – це як клонування стандартного комп'ютера в криптосвіті, розробники, які пишуть програми на простому коді Rust і Solidity, і віртуальна машина, яка автоматично генерує докази ZK. «Ми хочемо зробити ZK таким же природним, як електрика, щоб розробники могли просто включити лампочку і не розуміти принцип вироблення електроенергії». — образно сказав Джеремі.
Галузь спочатку зневажала це. Точка зору Джеремі дійсно була радикальною на той момент; "Віртуальна машина відносно менш ефективна" "Розробники повинні вивчати базові електричні схеми, їм зовсім не потрібен zkVM" — голоси заперечення лилися, як повінь. Але команда Boundless знала: коли японські магазини зручності беруть на себе вуличні чайні з стандартизованими процесами, сила сумісної екосистеми завжди переважує локальну ефективність.
У 2023 році випуск RISC-V ZKVM став, як велика каменюка, що впала в озеро. Чотири-п’ять новачків швидко наслідували аналогічні рішення, доводячи, що ринок нарешті зрозумів передове судження, яке на той час ще було RISC Zero: коли ZK зустрічає стандартизований набір команд, швидкість поширення технологій буде експоненційно зростати.
Але погляд Джеремі вже зосереджений на далекому. "ZKVM просто дозволяє розробникам писати код, нам ще потрібно, щоб він міг 'включитися'." Наразі команда, що випустила Boundless, перетворює ZK на інфраструктуру блокчейну — так, як хмарні обчислення перетворюють сервери на ресурси, які можна використовувати відразу. Коли розробники можуть викликати ZK для прискорення обчислень на ланцюгу всього за три рядки коду, ця революція, що почалася з математичних статей, справді торкнеться світу, який вона має змінити.
Безмежний генеральний директор Джеремі, людина, яка сприймає математичні роботи як хобі
Що таке Boundless?
На елегантному веб-сайті Boundless написано таку фразу: **“We're building Boundless, the first universal ZK protocol that brings the power of zero-knowledge proofs to all chains. （**Ми будуємо Boundless, перший ZK додаток, який принесе можливості нульових доказів на всі блокчейни.） Але що таке Boundless насправді? І яке відношення має до нього материнська компанія RISC Zero — проект класу «суперзірка», який у 2023 році залучив 40 мільйонів доларів фінансування?
Від RISC Zero до Boundless: від zkVM до модульної ZK обчислювальної мережі
У сфері блокчейну RISC Zero є дуже відомим ім'ям, яке як лідер zkVM (віртуальна машина з нульовими знаннями) займає важливу позицію у сфері ZK обчислень. Однак Boundless не є лише продовженням RISC Zero, а є більш широким протоколом децентралізованих обчислень.
“RISC Zero є основним обчислювальним двигуном, що приводить у дію Boundless, а Boundless є способом, яким розробники використовують технологію RISC Zero на блокчейні.” пояснив CIO Boundless Шив Шанкар.
Оглядаючись назад кілька років, обговорення ZK обчислень все ще здебільшого зосереджувалося на тому, як підвищити швидкість, намагаючись звузити розрив у продуктивності між ZK обчисленнями та традиційними обчисленнями. Пізніше RISC Zero використав абсолютно новий шлях: використання zkVM (а не традиційної оптимізації на рівні схем) для підвищення ефективності ZK обчислень. Це прорив дозволив отримати більшу гнучкість, завдяки чому ZK обчислення можуть відійти від фіксованого проектування схем, наблизившись до традиційної обчислювальної архітектури, що справді забезпечує універсальні обчислення.
Проте, просто наявність zkVM недостатня, оскільки розробники потребують не лише обчислювальної потужності, але й повного інструментального набору, безперервного досвіду розробника та реалістичної економічної моделі.
«Ось що таке Boundless». «Це не тільки забезпечує високопродуктивні обчислення ZK, але й спрощує для розробників процес інтеграції технології ZK, дозволяючи їм використовувати обчислення ZK незалежно від основних деталей обчислень і незалежно від того, на якому ланцюжку вони створюють програми». ”
Безмежний = RISC Zero + повний стек протоколів + економічні стимули.
Від проєкту «Тризуб» до безмежного виклику: пошук оптимального рішення на практиці
«Ми хочемо створити правильне рішення з самого початку». Джеремі Брюстл, генеральний директор Boundless, згадує перші дні існування команди. Ця мета звучить як проста справа, але проблеми її досягнення набагато складніші, ніж ви думаєте.
Перед народженням Boundless команда не слідувала сліпо популярним рішенням на ринку, а провела масштабний технічний експеримент — Project Trident (тризуб план).
Тоді в команді існували абсолютно різні погляди на те, як побудувати ринок обчислень ZK. **Одна частина людей вважала, що слід виходити з точки зору Layer 1 (L1) і створити публічну блокчейн-мережу обчислень ZK, оптимізовану знизу вгору; інша частина вважала, що Layer 2 (L2) є більш реалістичним шляхом, який можна швидше реалізувати; ще хтось пропонував використовувати гібридну архітектуру, щоб досягти масштабованих обчислень ZK на різних рівнях, а також інші спроби різних фракцій тощо. **
У багатьох компаніях, де рішення про технологічну дорожню карту часто приймають засновники або керівники, Boundless обрала більш складний шлях: розробка трьох різних прототипів одночасно, фактичне тестування їх життєздатності і, зрештою, використання даних і результатів для визначення напрямку.
«Врешті-решт, рішення-переможець не належало ні генеральному директору, ні власнику продукту**, а було запропоноване нашими старшими інженерами». ** Безмежний ІТ-директор Шив Шанкар.
Цей процес не тільки знайшов найкраще технічне рішення, а й утвердив культуру безмежності: не сліпо підкорятися авторитетам, а дозволяти кращим ідеям взяти гору. «У майбутньому Boundless матиме велику спільноту розробників, і ми хочемо, щоб чудові ідеї членів спільноти поважалися та сприймалися так само, як і ідеї наших внутрішніх команд», — каже Шив. Якщо у когось є пропозиції щодо того, куди рухається Boundless, ми хочемо, щоб вони побачили історію та зрозуміли, що їхні ідеї не залишаться непоміченими, а будуть сприйняті серйозно, так само, як ми це робимо зі своїми власними. ”**
"Рідний шар виконання Rollup Ethereum": Основне досягнення Boundless
Якщо і існує концепція, яка узагальнює позиціонування Boundless в екосистемі блокчейну, то це «Модульний рівень виконання нативного зведення Ethereum». **
Бретт Картер, віце-президент з продуктів, визначає Boundless як «нативний модульний рівень виконання Ethereum», позиція, яка передбачає зміну парадигми архітектури блокчейну. Подібно до того, як хмарні обчислення розбивають центри обробки даних на рівні, Boundless розбиває докази ZK на компоненти, що підключаються:
Ринок ZK-майнінгу: запозичуючи механізм конкуренції Bitcoin PoW, але замість хеш-кollision використовується доказ генерації, що усуває витрати енергії.
Перевірка як послуга: так само, як AWS Lambda абстрагує управління серверами, розробники не повинні створювати власні вузли перевірки
Кросчейн виконавчий рівень: подібно до протоколу HTTP, що об'єднує комунікацію в інтернеті, Boundless стає ZK-координаційним процесором, що спільно використовується кількома ланцюгами.
"Якщо ви вивчите обговорення Джастіна Дрейка про нативні Rollup на Ethereum Research Forum, ви виявите, що Ефіріуму потрібна децентралізована мережа, зосереджена на виконанні (Execution-Only), щоб підвищити обчислювальну потужність, і Boundless є найкращим рішенням для цієї потреби," – сказав Бретт Картер.
Джейкоб Еверлі, керівник відділу технологічних продуктів, розповів мені, що Сінгапурський банк міжнародних розрахунків (BIS) розробив прототип системи з використанням технології RISC Zero і Boundless, яка здатна перевірити, що трейдери в Азіатсько-Тихоокеанському регіоні можуть торгувати на Сінгапурській біржі, не вимагаючи від них надання повної особистої інформації. Користувачам потрібно лише завантажити свій паспорт і номер мобільного телефону, щоб згенерувати сертифікат з нульовим розголошенням (ZKP), який підтверджує, що вони мають право на транзакцію.
Наразі понад 30 команд планують створювати та розгортати додатки на Boundless. «Наша мета — охопити 100 команд-партнерів до наступного року та зробити Boundless галузевим стандартом». – сказав Джейкоб Еверлі.
340 разів оптимізація: як знизити вартість обчислень ZK до прийнятного рівня?
Якщо знайти правильну архітектуру є першим етапом для Boundless, то зробити її дійсно комерційно життєздатною є ще більшим викликом. Обчислення ZK не тільки мають бути достатньо швидкими, але й достатньо дешевими, інакше вони можуть залишитися лише в лабораторії, а не стати основною інфраструктурою екосистеми Web3.
Віце-президент продуктів Boundless Бретт Картер, коли я запитав його про найбільший виклик, відразу дав відповідь: “В історії нашими найбільшими викликами завжди були продуктивність і вартість.”
У розрахунках ЗК затримка та вартість не завжди синхронізуються. Теоретично затримку можна зменшити шляхом розпаралелювання обчислень, але це збільшує витрати. Для рівня 2, якщо вартість обчислень ZK занадто висока, то економічну модель схеми Rollup буде важко встановити, не кажучи вже про масштабування.
У липні 2023 року Boundless випустила Zeth, перший у світі Type 1 ZK EVM, що працює на ZKVM від Boundless. Оцінки на той час показали, що обчислювальні витрати на підтвердження всіх транзакцій в основній мережі Ethereum становитимуть до 170 мільйонів доларів на рік. ** Цієї вартості достатньо, щоб відкласти більшість проектів.
Але всього за 16 місяців Boundless вдалося знизити витрати на обчислення ZK у 340 разів за допомогою серії оптимізацій обчислень GPU, оптимізації ядра ZKVM та покращень на рівні архітектури, довівши вартість доказів до менш ніж 500 000 доларів США в основній мережі Ethereum. «За цим стоїть велика технічна оптимізація, особливо на рівні графічного процесора, ми постійно оптимізуємо ядра ZKVM і GPU, так що ця вартість може бути значно знижена». Говорячи про це досягнення, очі Бретта сповнені гордості.
TEE та ZKVM: коли «перевірність» зустрічається з «програмованістю»
У питаннях обчислення надійності TEE (достовірне виконання середовища) та ZK (нульове знання) часто вважаються двома конкурентними рішеннями, але Boundless довела, що вони можуть доповнювати одне одного, як поєднання локальних обчислень та хмарних обчислень, кожен з яких реалізує свої переваги, оптимізуючи всю систему.
TEE відповідає за виконання обчислень у довіреному середовищі, але його дані про докази зазвичай занадто великі, щоб їх можна було безпосередньо помістити в блокчейн. Натомість ZK генерує перевірні математичні докази для ефективної перевірки правильності обчислень на ланцюзі. Віце-президент з продуктів Бретт Картер продемонстрував економічну цінність такої співпраці на прикладі Automata: безпосередня перевірка доказів TEE на Ethereum вимагає 6 мільйонів Gas, але за допомогою ZKVM обчислювальна частина може спочатку виконуватись поза ланцюгом, а на ланцюзі потрібно лише перевірити ZK-доказ, що знижує витрати Gas до 300 тисяч, досягаючи оптимізації на порядок. Taiko вже підтримує одночасно TEE-докази та ZK-докази у своїй схемі Rollup, що свідчить про те, що майбутні обчислення в блокчейні будуть більш гнучкими, а розробники зможуть вибирати найкращі рішення для довірених обчислень залежно від ситуації.
Це також дозволяє багатьом проєктам, які використовують сервіси TEE у просторі DeFAI, розміщувати завдання логічного висновку в централізованих службах, таких як OpenAI або Google Cloud, але користувачі насправді не можуть перевірити, чи ці моделі працюють так, як вони задумані. Іншими словами, якщо ChatGPT робить зло на рівні моделі, користувачі нічого не можуть зробити. Висновок, який можна перевірити за допомогою ZK, буде дуже цінним випадком використання. **
ZKVM від Boundless тепер підтримує обчислення AI, і з моменту пробного запуску в липні 2024 року продуктивність зросла на 50-100 разів. Це означає, що обчислення AI можуть виконуватися безпосередньо в ZKVM та генерувати перевіряємі ZK докази, що забезпечує правильність моделі ваг та захищає від фальсифікації.
Чому ZK? Чому ми все ще говоримо про ZK?
В історії науки і техніки кожна трансформаційна технологія проходила схожу траєкторію: від проростання концепції до шаленства ринку, до корита розчарування і, нарешті, до стадії зрілого застосування. Сьогодні докази з нульовим розголошенням (ZK) переживають такий переломний момент – колись вони рекламувалися як найкраще рішення для масштабованості блокчейну, але на практиці інженерні виклики значно перевершили очікування, а настрої ринку коливалися. Однак генеральний директор Boundless Джеремі Брюстл вірить у майбутнє ZK і вважає, що він знаходиться на критичному етапі в обчислювальній парадигмі.
“З точки зору технологічного циклу хайпу (Hype Cycle), ми зараз знаходимося на етапі долини розчарування (Trough of Disillusionment).” — пояснив Джеремі. “Багато людей кілька років тому побачили потенціал ZK і вважали, що він швидко змінить модель обчислень у блокчейні, але недооцінили інженерні труднощі переходу від теорії до практичної реалізації.”
Тим не менш, швидкість, з якою розвиваються технології ZK, вражає. «За останні кілька років продуктивність обчислень ZK покращилася в 3-4 рази на квартал. Це означає, що ZK, який рік тому не був доступний у великих масштабах, тепер починає бути доступним у реальному використанні. ”
Це і є причина народження Boundless. ZK — це не просто нова технологія, а зріла обчислювальна парадигма. Джеремі навіть порівнює це з революцією мікропроцесорів 1970-х років: "Тоді більшість обчислювальних завдань на ринку виконувалися за допомогою спеціалізованих інтегральних схем (ASIC), і поява мікропроцесорів не викликала оптимізму. Але з прогресом технологій вони стали швидшими і дешевшими, врешті-решт замінивши все спеціалізоване обладнання. Обчислення ZK йдуть тим же шляхом — вони подолають поточні вузькі місця в обчисленнях блокчейну, зробивши масштабовані й низькобюджетні обчислення стандартом."
подолання труднощів "малина на блокчейні"
На якому етапі зараз знаходиться блокчейн-обчислювальне середовище? CIO Boundless Шив Шанкар навів яскравий приклад: "Сьогоднішня блокчейн-обчислювальна потужність, напевно, відповідає Raspberry Pi. Обчислювальні ресурси надзвичайно обмежені, розробникам додатків доводиться безперервно оптимізувати витрати на Gas, щоб відповідати обмеженням продуктивності на ланцюгу."
Наразі виконання складного обчислення смарт-контракту на традиційній блокчейн може вимагати витрати кілька мільярдів Gas, що еквівалентно обсягу обчислень 30 блоків, що абсолютно неможливо виконати в основній мережі. Це подібно до періоду інтернет-бульбашки 1999 року, коли люди платили шалені рахунки за дозвін до Інтернету, але навіть для завантаження зображення потрібно було півхвилини. І зміни, які приносить ZK, нагадують про прихід епохи широкосмугового Інтернету — коли Boundless зменшить вартість обчислень на ланцюгу на 90%, блокчейн нарешті отримує можливість вирватися з кайданів Gas.
За останні 12 місяців користувачі блокчейну заплатили 5 мільярдів доларів комісії за газ, але фактичний обсяг обчислень вкрай обмежений. Після того, як обчислення ZK дозріють, ті ж обчислювальні витрати принесуть в 10 або навіть 20 разів більше обчислювальної потужності, а «економічна продуктивність» всієї галузі збільшиться в геометричній прогресії». «Ми створюємо «еластичні хмарні обчислення блокчейну», де обчислювальні ресурси масштабуються на вимогу, як хмарні сервери AWS, за незначною ціною». – пояснює Шанкар.
Як обчислення ZK змінить блокчейн протягом наступних п'яти років?
Якщо зробити сміливий прогноз щодо розвитку ZK протягом наступних п'яти років, Джеремі вважає, що ZK поступово замінить моделі виконання на основі консенсусу та стане основним способом обчислення в блокчейні.
Ця технологічна критична точка зміни може настати раніше, ніж очікувалося. Команди, такі як Boundless, прориваються в системі «ринку доказів», фактично відтворюючи логіку еволюції ринку хмарних обчислень — коли ZK обчислювальна потужність стане стандартизованим товаром, цінова війна та змагання за продуктивність призведуть до створення більш精密них агрегаторів доказів, більш ефективних апаратних прискорювачів та більш розумних алгоритмів розподілу ресурсів. У той час кривий зріст «ВВП» блокчейну може знову відобразити різке зростання інтернету від модемного до широкосмугового етапу.
Суть цієї тихої революції завжди слідує давньому правилу комп'ютерної індустрії: справжні великі технології ніколи не вимагають, щоб світ пристосовувався до них, а самі стають частиною світу. Коли розробники перестануть обговорювати ZK сам по собі і почнуть зосереджуватись на створенні на його основі ланцюгових додатків, про які раніше навіть не сміли мріяти, тоді ця революція в обчислювальній потужності буде вважатися справжньою перемогою.
Джеремі на конференції ETHDenver.
Конкурентна структура: коли ефективність відходить на другий план, безпека та зручність виходять на перший план
Історія блокчейну завжди повторює один і той же цикл: коли з'являються нові технології, на ринку з'являється незліченна кількість «рішень», кожне з яких претендує на звання стандарту майбутнього, кожне з яких конкурує за увагу. Але коли технологія перейде на реальну стадію посадки, ринок швидко відсіє ті бульбашки, які просто виглядають блискучими, залишаючи після себе структуру з реальною довгостроковою цінністю. І в цьому конкурсі Boundless виділяється як ніколи раніше.
Якщо комп'ютерний ринок ZK є перспективним містом, більшість проектів будують багатоповерхівки в надії залучити мешканців блискучим зовнішнім виглядом. Але шлях, який обрала компанія Boundless, полягає в будівництві доріг, оптимізації водопостачання та електропостачання, а також створенні інфраструктури, яка буде по-справжньому стійкою на довгострокову перспективу.
«Справжня децентралізація з самого початку означає опір цензурі, створення реального ринкового механізму, який мінімізує вартість доказу, гарантуючи при цьому дійсно безпечну віртуальну машину (ВМ)». Джеремі Брюстл, генеральний директор Boundless, сказав, що багато обчислювальних рішень ZK можуть здатися бездоганними на ранніх стадіях ринку, але справжнє випробування** не настане до масового впровадження. **
Уявіть, що протокол DeFi обробляє тисячі складних транзакцій на день, і раптом виявляє, що вартість обчислень ZK виходить за рамки бюджету, або система занадто децентралізована, щоб протистояти регуляторному тиску, якою б просунутою не була технологія, таке рішення не стане наріжним каменем галузі. ** Boundless вирішує проблему в тому, щоб забезпечити прозоре та справедливе використання обчислювальних ресурсів за допомогою Verifiable Proof of Work. **
Цей інноваційний механізм гарантує, що винагорода, яку отримують Provers**, повністю залежить від обсягу обчислювальної роботи, яку вони фактично виконують, ефективно запобігаючи атакам пензля та водночас субсидуючи вартість доказів, так що операційні витрати всієї системи можуть бути знижені до розумного діапазону. Іншими словами, Boundless не розкручує «майбутнє обчислень ZK», а робить обчислення ZK по-справжньому доступними, масштабованими та доступними.
Від "орендованих обчислень" до "повного рішення": одне вікно для ZK обчислювального досвіду
Багато проектів розглядають ринок ZK обчислень як "обчислювальну біржу", де розробники, як на платформах хмарних послуг, орендують сервери, купуючи обчислювальні потужності для генерації доказів. Але мислення Boundless зовсім інше — вона не просто надає обчислювальні потужності, а пропонує кінцевий ZK обчислювальний досвід.
"Ми не просто продаємо користувачам обчислювальні ресурси, а пропонуємо повне рішення для обчислень zk, яке дозволяє розробникам безперешкодно інтегрувати zk у свої додатки", - пояснив директор з інформаційних технологій Boundless Шив Шанкар.
Іншими словами, Boundless не прагне стати "постачальником хмарних обчислень" епохи Web3, а хоче стати "партнером з ZK обчислень" для розробників. Від генерації доказів до остаточної верифікації в ланцюзі, Boundless робить весь процес гладким і безперешкодним. Саме оптимізація цього досвіду є ключем до того, щоб ZK обчислення вийшли з лабораторії на масове застосування.
Для розробників такий дизайн «від кінця до кінця» означає нижчий технічний бар'єр, швидшу інтеграцію та більш стабільне середовище роботи. Boundless робить ZK-обчислення не лише складною технічною концепцією, а й безпосереднім інструментом продуктивності, який можна впровадити.
Продуктово-ринкове відповідність (Product-Market Fit): коли витрати наближаються до нуля, справжня конкуренція тільки починається
“До 2026 року майже ніхто не говоритиме про проблеми продуктивності ZK обчислень.” Сказав мені Шив Шанкар.
Прорив у обчислювальних технологіях зрештою завжди обертається навколо одного основного питання: витрати. Незалежно від того, йдеться про хмарні обчислення, GPU рендеринг чи AI навчання, справжня точка вибуху в галузі ніколи не є проривом у межах продуктивності, а зниженням обчислювальних витрат.
Судження Шива звучить неймовірно, але якщо ми озирнемося на шлях розвитку хмарних обчислень, ми побачимо, що ця тенденція є очевидною. Сьогодні майже жоден інженер не цікавиться конкретними витратами на обчислення AWS EC 2, оскільки ціни знизилися до незначного рівня; розробники лише зосереджуються на тому, як краще використовувати ці ресурси.
Команда Boundless вважає, що ZK обчислення незабаром перейдуть до аналогічної стадії. Це означає, що розробники більше не будуть турбуватись про те, «наскільки швидкими є ZK обчислення», а почнуть думати про те, як використати їх для створення більш безпечних, ефективних та масштабованих застосунків. DeFi, автентифікація, ігри на ланцюгу, захист даних... Сценарії використання ZK зазнають справжнього вибуху, і Boundless стоїть на передовій цієї трансформації.
В даний час основні вимоги до обчислень ZK походять від Rollups, Layer 2 і випадків використання, коли потрібно перевірити функцію переходу стану. Наприклад, EigenLayer планує використовувати технологію Boundless у Slashing Mechanism, оскільки для виконання цих обчислень на Ethereum потрібно 1 мільярд газу, але здатність ZK Compute виконувати обчислення поза мережею та ефективно надсилати докази робить його життєздатним варіантом.
Але тепер обчислення ZK не тільки оптимізують існуючі Web3-додатки, але й дозволять створити абсолютно новий набір блокчейн-додатків. **Наразі Boundless співпрацює з командою DeFi, яка хоче створити Data Markets, що включає кілька моделей ціноутворення. У минулому вони могли виконувати лише приблизні обчислення в ланцюжку через обсяг обчислень, але Boundless дозволяє їм запускати модель повністю та надсилати докази ZK для більш точних транзакцій DeFi. **
"Якщо ви сьогодні почнете будувати DeFi додаток, не використовуючи технологію ZK в системі, то ви дуже швидко будете витіснені з індустрії." Ця фраза Шива звучить радикально, але це правда: до 2026 року використання ZK обчислень стане стандартним варіантом, а не привілеєм високих технологій. Коли розробники більше не будуть панікувати через бюджет Gas, інновації перейдуть з "режиму виживання" в "режим створення".
В майбутньому застосування DeFi більше не будуть обмежені колом Web3, а зможуть безпосередньо конкурувати з TradFi (традиційними фінансами) навіть з великими біржами. Вони матимуть більш потужний захист конфіденційності, нижчі торгові витрати та вищу ефективність виконання. А Boundless прокладає швидкісну дорогу до цього дня.
Запуск основної мережі: «Місячна програма» Boundless
“Ми активно працюємо над запуском основної мережі (Mainnet), і в ідеальному випадку ми плануємо запустити її в другому або на початку третього кварталу цього року.” Сказав мені Шив Шанкар. Наразі основним пріоритетом Boundless безсумнівно є розгортання основної мережі. Протягом останніх кількох місяців команда провела кілька раундів експериментів на тестовій мережі, щоб перевірити стабільність протоколу, обчислювальну продуктивність і економічну модель. Сьогодні все перебуває на фінальній стадії спринту.
Перед остаточним запуском основної мережі наступним етапом Boundless є «Mainnet Beta», етап пробної експлуатації, орієнтований на розробників.
У поточному середовищі тестової мережі хоча докази ZK можуть працювати, вони ще не повністю інтегровані в реальну економічну систему. Мета Mainnet Beta полягає в тому, щоб розробники почали генерувати ZK-докази в реальному фінансовому середовищі, тестуючи систему в умовах фактичного ринку.
"Після Mainnet Beta ми зосередимося на широкому тестуванні механізму стимулювання (Incentive Mechanism)." – розповів Джо Рестіво.
Це буде ключовий етап реалізації економічної моделі Boundless, команда під час цього процесу буде тестувати та оптимізувати Verifiable Work (механізм верифікованої роботи), щоб забезпечити ефективну роботу розподілу обчислювальних ресурсів та системи стимулів у децентралізованому середовищі.
Децентралізоване управління: створення ZK екосистеми, що керується спільнотою
Разом із синхронізацією з основною мережею, також передбачено план децентралізованого управління (DG, Decentralized Governance).
Шив Шанкар відверто заявив, що Boundless не лише прагне побудувати ефективну ZK обчислювальну платформу, але й по-справжньому хоче зробити спільноту частиною екосистеми.
"Час запуску децентралізованого управління, більше залежить від юридичної та операційної команди, а не від контролю інженерної команди." Це означає, що, незважаючи на те, що Boundless вже надав технічну підтримку ринку ZK-обчислень, остаточне ухвалення рішень буде поступово передано спільноті, що справді реалізує децентралізовану роботу.
Остаточний план Boundless: вивести обчислення на блокчейні за межі можливого
Бретт Картер, віце-президент з продукту, сказав мені, що його основна думка полягає в тому, що всі обчислювальні виконання в кінцевому підсумку будуть переведені на докази з нульовим розголошенням (ZK) з простої причини: згідно з поточною архітектурою блокчейну, всі обчислення повинні досягати консенсусу між усіма вузлами, що фізично обмежує пропускну здатність всієї мережі. Наприклад, ліміт газу в Ethereum на блок становить лише 36 мільйонів, що означає, що смарт-контракти не можуть виконувати обчислення високої складності, такі як висновок ШІ, інакше вся мережа буде паралізована.
Якщо сьогоднішнє блокчейн-обчислення подібне до синхронного програмування, то ZK-обчислення, що надає Boundless, більше нагадує асинхронне програмування — розробники можуть виконувати обчислення паралельно поза ланцюгом (Off-chain), а потім доводити їх правильність за допомогою ZK, врешті-решт подаючи лише невелике доказ на рівень розрахунків, без необхідності виконання всього процесу обчислення в ланцюзі.
Коли Ethereum L2 розцвітає, справжнє вузьке місце перемістилося з мережевого рівня на обчислювальний рівень — хто зможе вивести на блокчейн швидкісну дорогу "важкі вантажівки" такі як навчання AI, 3D рендеринг, той матиме перепустку до наступної епохи. Бретт сказав, що саме тому ми назвали протокол Boundless (Безмежний) — щоб усунути межі обчислень, дозволяючи блокчейну дійсно мати безмежну обчислювальну потужність. У майбутньому блокчейн вже не буде просто інструментом для транзакцій і виконання смарт-контрактів, а стане платформою, що підтримує більш складні застосування, такі як верифіковане AI міркування (Verifiable AI Inference), високопродуктивні ігри на ланцюгу, децентралізовані соціальні мережі тощо. Візія Boundless полягає в тому, щоб вивільнити обчислення в блокчейні від поточних обмежень продуктивності, досягнувши справжньої свободи обчислень.
Висновок: Позаду однієї сорочки лежить нестандартна інноваційна філософія
В кінці інтерв'ю головний операційний директор Джо Рестіво бурчав на мене, і його слова були сповнені образи: "Ти знаєш, у нас є ще один дуже великий виклик у роботі: Джеремі має 'особливу' сорочку з малюнком японського цунамі, яку він носить на сцені будь-коли, замість офіційних товарів нашої компанії. Кожного разу, коли він виходить на сцену в цій сорочці з цунамі, я хочу підбігти і одягнути йому офіційну футболку Boundless."
Я спеціально ще раз поставив це питання Джеремі. Відповідаючи на сумніви, він щедро зізнався: "Я справді часто ношу ту сорочку з малюнком цунамі. Особливо коли зустрічаюся з інвесторами або на виступах, я зазвичай її одягаю." Цей тонкий конфлікт між особистим смаком і брендом компанії несподівано став підставою для культури команди: в Boundless команда створює цінність так, як їй подобається. Або, висловлюючись у більш естетичному стилі, в епоху технологічних хвиль важливіше знайти свою власну хвилю, ніж слідувати за течією.
«У світі так багато людей, і якби всі робили одне й те саме, можливості у світі були б обмежені. Він сказав мені: «Це символізує ідею... Я завжди вважав, що кожен з нас вільний вибирати, що ми хочемо створювати. І найзмістовніше – створити щось, що найкраще представляє «нас самих». Незалежно від того, вдасться це в кінцевому підсумку чи ні, ми завжди будемо продовжувати творити. ”**
Контент має виключно довідковий характер і не є запрошенням до участі або пропозицією. Інвестиційні, податкові чи юридичні консультації не надаються. Перегляньте Відмову від відповідальності , щоб дізнатися більше про ризики.
Odaily ексклюзивно інтерв'ює Boundless: ця група технарів перетворює ZK на культуру та філософію
Оригінал｜Odaily星球日报
Автор｜jk
Холодний вітер штату Колорадо несе з собою прагнення світу блокчейн, на заходах навколо ETH Denver червоні ягоди слугують прообразом печатки, яка ставиться на руку кожного учасника — це перший код, залишений командою Boundless для учасників. Відповідальна за бренд та комунікацію Река стоїть поруч із установкою, її палець обережно ковзає по поверхні ягідної печатки: “Berry (малина) — це дуже цікава гра слів, кожна ягода символізує поєднання Boundless та перевірювальних обчислень (Verifiable Compute).
**Беррі, мабуть, запалив ентузіазм членів спільноти Boundless, і сьогодні на його основі викарбувано понад 1,5 мільйона NFT. **У снігах Скелястих гір вдалині Odaily та шість членів основної команди Boundless, що стоять за «Berry» – генеральний директор Джеремі Брюстл, технічний власник продукту Джейкоб Еверлі, директор з інформаційних технологій Шив Шанкар, головний операційний директор Джо Рестіво, віце-президент із продуктів Бретт Картер та бренд-керманич Река Медвец – Відбулася низка глибоких розмов. Від інженерної філософії ZKVM до гри в довіру TEE, від революційних експериментів з висновками штучного інтелекту до наративу бренду, що стоїть за «Berry», технологічні амбіції компанії так само вражають, як і їхні людські почуття.
Високоякісний браслет для входу на конференцію, перший заробіток з відчуттям крадіжки
На конференції ETH Denver на початку 2022 року група молодих людей без квитків стояла біля входу, тримаючи в руках тканини та інструменти, куплені в Joann Fabrics (місцевий магазин друку). Вони зрівнювали стиль браслетів відвідувачів, розрізали, шили та повторювали вправи, піднімаючи руки, щоб пройти через контроль безпеки. Коли підроблені браслети успішно обманули перевірку, ця група, можливо, не усвідомлювала, що таке "недотримання правил" в стилі хакерів стане метафорою долі компанії.
“Ті кілька ранніх інвестицій, які ми пізніше отримали, були узгоджені на цій «конференції, куди ми випадково потрапили».” Генеральний директор Boundless Джеремі Брюстл згадує. Для компанії, яка має безпеку в основі своєї технології, така майже абсурдна точка відправлення насправді узгоджується з підгрунтям логіки світу блокчейну: ті, хто ламає старі правила, зазвичай першими визначають нові правила.
"Момент осяяння" у математичних працях спровокував революцію віртуальних машин
Як один із співзасновників компанії, одержимість Джеремі математикою схожа на темну нитку, яка пов'язує технічні гени Boundless. Коли я запитав його, чи було створення Boundless результатом поштовху думки чи результатом тривалого періоду накопичення та підготовки, він без вагань відповів, що це був «покроковий процес».
П’ять-шість років тому, людина, яка могла б читати математичні статті як хобі, прочитала в статті про Теорему PCP (ймовірно перевіряні докази, Probabilistically Checkable Proofs): “Будь-яке складне обчислення може бути перевірене за постійний час”. Іншими словами, незалежно від того, скільки часу потрібно для виконання обчислення, ми можемо миттєво підтвердити його правильність. Це відкриття подібне до електричного струму, що проходить через мозок — якщо людство зможе миттєво перевірити всю правдивість «Великої британської енциклопедії», механізм довіри блокчейну буде повністю перевернутий.
Але технічна реальність того часу була дуже холодною: перевірка займала набагато більше часу, ніж самі розрахунки, теорія була бездоганною, а інженерію було важко просунути вперед. Лише у 2020 році стаття про систему доказів STARK дала йому можливість побачити світ. «Я провів простий розрахунок і виявив, що поки існує інженерна оптимізація, швидкість перевірки ZK може бути збільшена в мільйон разів».
У телефонному дзвінку пізно вночі він з захопленням описував своє бачення партнеру Френку, але натрапив на запитання, яке змусило його задуматися: "А як розробники будуть програмувати?" Коли Джеремі кинув фразу "обмеження на багато членів скінченного поля", на тому кінці трубки настала тиша. "Ніхто не захоче писати таке, це абсолютно не має сенсу!" - холодний душ Френка розбудив ілюзії технічного ідеалізму.
Справжній переломний момент настав у Сан-Франциско. Того вечора Джеремі, Френк і Брайан, троє чоловіків, дивилися на порожню банку з-під пива і раптом загорілися ідеєю: «А що, якби ми могли емулювати існуючий комп'ютер у ZK?» ”
Ця ідея, яка стала відомою як ZKVM (Zero-Knowledge Virtual Machine), змінила правила гри. Вони обрали сумісність з набором інструкцій RISC-V – це як клонування стандартного комп'ютера в криптосвіті, розробники, які пишуть програми на простому коді Rust і Solidity, і віртуальна машина, яка автоматично генерує докази ZK. «Ми хочемо зробити ZK таким же природним, як електрика, щоб розробники могли просто включити лампочку і не розуміти принцип вироблення електроенергії». — образно сказав Джеремі.
Галузь спочатку зневажала це. Точка зору Джеремі дійсно була радикальною на той момент; "Віртуальна машина відносно менш ефективна" "Розробники повинні вивчати базові електричні схеми, їм зовсім не потрібен zkVM" — голоси заперечення лилися, як повінь. Але команда Boundless знала: коли японські магазини зручності беруть на себе вуличні чайні з стандартизованими процесами, сила сумісної екосистеми завжди переважує локальну ефективність.
У 2023 році випуск RISC-V ZKVM став, як велика каменюка, що впала в озеро. Чотири-п’ять новачків швидко наслідували аналогічні рішення, доводячи, що ринок нарешті зрозумів передове судження, яке на той час ще було RISC Zero: коли ZK зустрічає стандартизований набір команд, швидкість поширення технологій буде експоненційно зростати.
Але погляд Джеремі вже зосереджений на далекому. "ZKVM просто дозволяє розробникам писати код, нам ще потрібно, щоб він міг 'включитися'." Наразі команда, що випустила Boundless, перетворює ZK на інфраструктуру блокчейну — так, як хмарні обчислення перетворюють сервери на ресурси, які можна використовувати відразу. Коли розробники можуть викликати ZK для прискорення обчислень на ланцюгу всього за три рядки коду, ця революція, що почалася з математичних статей, справді торкнеться світу, який вона має змінити.
Безмежний генеральний директор Джеремі, людина, яка сприймає математичні роботи як хобі
Що таке Boundless?
На елегантному веб-сайті Boundless написано таку фразу: **“We're building Boundless, the first universal ZK protocol that brings the power of zero-knowledge proofs to all chains. （**Ми будуємо Boundless, перший ZK додаток, який принесе можливості нульових доказів на всі блокчейни.） Але що таке Boundless насправді? І яке відношення має до нього материнська компанія RISC Zero — проект класу «суперзірка», який у 2023 році залучив 40 мільйонів доларів фінансування?
Від RISC Zero до Boundless: від zkVM до модульної ZK обчислювальної мережі
У сфері блокчейну RISC Zero є дуже відомим ім'ям, яке як лідер zkVM (віртуальна машина з нульовими знаннями) займає важливу позицію у сфері ZK обчислень. Однак Boundless не є лише продовженням RISC Zero, а є більш широким протоколом децентралізованих обчислень.
“RISC Zero є основним обчислювальним двигуном, що приводить у дію Boundless, а Boundless є способом, яким розробники використовують технологію RISC Zero на блокчейні.” пояснив CIO Boundless Шив Шанкар.
Оглядаючись назад кілька років, обговорення ZK обчислень все ще здебільшого зосереджувалося на тому, як підвищити швидкість, намагаючись звузити розрив у продуктивності між ZK обчисленнями та традиційними обчисленнями. Пізніше RISC Zero використав абсолютно новий шлях: використання zkVM (а не традиційної оптимізації на рівні схем) для підвищення ефективності ZK обчислень. Це прорив дозволив отримати більшу гнучкість, завдяки чому ZK обчислення можуть відійти від фіксованого проектування схем, наблизившись до традиційної обчислювальної архітектури, що справді забезпечує універсальні обчислення.
Проте, просто наявність zkVM недостатня, оскільки розробники потребують не лише обчислювальної потужності, але й повного інструментального набору, безперервного досвіду розробника та реалістичної економічної моделі.
«Ось що таке Boundless». «Це не тільки забезпечує високопродуктивні обчислення ZK, але й спрощує для розробників процес інтеграції технології ZK, дозволяючи їм використовувати обчислення ZK незалежно від основних деталей обчислень і незалежно від того, на якому ланцюжку вони створюють програми». ”
Безмежний = RISC Zero + повний стек протоколів + економічні стимули.
Від проєкту «Тризуб» до безмежного виклику: пошук оптимального рішення на практиці
«Ми хочемо створити правильне рішення з самого початку». Джеремі Брюстл, генеральний директор Boundless, згадує перші дні існування команди. Ця мета звучить як проста справа, але проблеми її досягнення набагато складніші, ніж ви думаєте.
Перед народженням Boundless команда не слідувала сліпо популярним рішенням на ринку, а провела масштабний технічний експеримент — Project Trident (тризуб план).
Тоді в команді існували абсолютно різні погляди на те, як побудувати ринок обчислень ZK. **Одна частина людей вважала, що слід виходити з точки зору Layer 1 (L1) і створити публічну блокчейн-мережу обчислень ZK, оптимізовану знизу вгору; інша частина вважала, що Layer 2 (L2) є більш реалістичним шляхом, який можна швидше реалізувати; ще хтось пропонував використовувати гібридну архітектуру, щоб досягти масштабованих обчислень ZK на різних рівнях, а також інші спроби різних фракцій тощо. **
У багатьох компаніях, де рішення про технологічну дорожню карту часто приймають засновники або керівники, Boundless обрала більш складний шлях: розробка трьох різних прототипів одночасно, фактичне тестування їх життєздатності і, зрештою, використання даних і результатів для визначення напрямку.
«Врешті-решт, рішення-переможець не належало ні генеральному директору, ні власнику продукту**, а було запропоноване нашими старшими інженерами». ** Безмежний ІТ-директор Шив Шанкар.
Цей процес не тільки знайшов найкраще технічне рішення, а й утвердив культуру безмежності: не сліпо підкорятися авторитетам, а дозволяти кращим ідеям взяти гору. «У майбутньому Boundless матиме велику спільноту розробників, і ми хочемо, щоб чудові ідеї членів спільноти поважалися та сприймалися так само, як і ідеї наших внутрішніх команд», — каже Шив. Якщо у когось є пропозиції щодо того, куди рухається Boundless, ми хочемо, щоб вони побачили історію та зрозуміли, що їхні ідеї не залишаться непоміченими, а будуть сприйняті серйозно, так само, як ми це робимо зі своїми власними. ”**
"Рідний шар виконання Rollup Ethereum": Основне досягнення Boundless
Якщо і існує концепція, яка узагальнює позиціонування Boundless в екосистемі блокчейну, то це «Модульний рівень виконання нативного зведення Ethereum». **
Бретт Картер, віце-президент з продуктів, визначає Boundless як «нативний модульний рівень виконання Ethereum», позиція, яка передбачає зміну парадигми архітектури блокчейну. Подібно до того, як хмарні обчислення розбивають центри обробки даних на рівні, Boundless розбиває докази ZK на компоненти, що підключаються:
"Якщо ви вивчите обговорення Джастіна Дрейка про нативні Rollup на Ethereum Research Forum, ви виявите, що Ефіріуму потрібна децентралізована мережа, зосереджена на виконанні (Execution-Only), щоб підвищити обчислювальну потужність, і Boundless є найкращим рішенням для цієї потреби," – сказав Бретт Картер.
Джейкоб Еверлі, керівник відділу технологічних продуктів, розповів мені, що Сінгапурський банк міжнародних розрахунків (BIS) розробив прототип системи з використанням технології RISC Zero і Boundless, яка здатна перевірити, що трейдери в Азіатсько-Тихоокеанському регіоні можуть торгувати на Сінгапурській біржі, не вимагаючи від них надання повної особистої інформації. Користувачам потрібно лише завантажити свій паспорт і номер мобільного телефону, щоб згенерувати сертифікат з нульовим розголошенням (ZKP), який підтверджує, що вони мають право на транзакцію.
Наразі понад 30 команд планують створювати та розгортати додатки на Boundless. «Наша мета — охопити 100 команд-партнерів до наступного року та зробити Boundless галузевим стандартом». – сказав Джейкоб Еверлі.
340 разів оптимізація: як знизити вартість обчислень ZK до прийнятного рівня?
Якщо знайти правильну архітектуру є першим етапом для Boundless, то зробити її дійсно комерційно життєздатною є ще більшим викликом. Обчислення ZK не тільки мають бути достатньо швидкими, але й достатньо дешевими, інакше вони можуть залишитися лише в лабораторії, а не стати основною інфраструктурою екосистеми Web3.
Віце-президент продуктів Boundless Бретт Картер, коли я запитав його про найбільший виклик, відразу дав відповідь: “В історії нашими найбільшими викликами завжди були продуктивність і вартість.”
У розрахунках ЗК затримка та вартість не завжди синхронізуються. Теоретично затримку можна зменшити шляхом розпаралелювання обчислень, але це збільшує витрати. Для рівня 2, якщо вартість обчислень ZK занадто висока, то економічну модель схеми Rollup буде важко встановити, не кажучи вже про масштабування.
У липні 2023 року Boundless випустила Zeth, перший у світі Type 1 ZK EVM, що працює на ZKVM від Boundless. Оцінки на той час показали, що обчислювальні витрати на підтвердження всіх транзакцій в основній мережі Ethereum становитимуть до 170 мільйонів доларів на рік. ** Цієї вартості достатньо, щоб відкласти більшість проектів.
Але всього за 16 місяців Boundless вдалося знизити витрати на обчислення ZK у 340 разів за допомогою серії оптимізацій обчислень GPU, оптимізації ядра ZKVM та покращень на рівні архітектури, довівши вартість доказів до менш ніж 500 000 доларів США в основній мережі Ethereum. «За цим стоїть велика технічна оптимізація, особливо на рівні графічного процесора, ми постійно оптимізуємо ядра ZKVM і GPU, так що ця вартість може бути значно знижена». Говорячи про це досягнення, очі Бретта сповнені гордості.
TEE та ZKVM: коли «перевірність» зустрічається з «програмованістю»
У питаннях обчислення надійності TEE (достовірне виконання середовища) та ZK (нульове знання) часто вважаються двома конкурентними рішеннями, але Boundless довела, що вони можуть доповнювати одне одного, як поєднання локальних обчислень та хмарних обчислень, кожен з яких реалізує свої переваги, оптимізуючи всю систему.
TEE відповідає за виконання обчислень у довіреному середовищі, але його дані про докази зазвичай занадто великі, щоб їх можна було безпосередньо помістити в блокчейн. Натомість ZK генерує перевірні математичні докази для ефективної перевірки правильності обчислень на ланцюзі. Віце-президент з продуктів Бретт Картер продемонстрував економічну цінність такої співпраці на прикладі Automata: безпосередня перевірка доказів TEE на Ethereum вимагає 6 мільйонів Gas, але за допомогою ZKVM обчислювальна частина може спочатку виконуватись поза ланцюгом, а на ланцюзі потрібно лише перевірити ZK-доказ, що знижує витрати Gas до 300 тисяч, досягаючи оптимізації на порядок. Taiko вже підтримує одночасно TEE-докази та ZK-докази у своїй схемі Rollup, що свідчить про те, що майбутні обчислення в блокчейні будуть більш гнучкими, а розробники зможуть вибирати найкращі рішення для довірених обчислень залежно від ситуації.
Це також дозволяє багатьом проєктам, які використовують сервіси TEE у просторі DeFAI, розміщувати завдання логічного висновку в централізованих службах, таких як OpenAI або Google Cloud, але користувачі насправді не можуть перевірити, чи ці моделі працюють так, як вони задумані. Іншими словами, якщо ChatGPT робить зло на рівні моделі, користувачі нічого не можуть зробити. Висновок, який можна перевірити за допомогою ZK, буде дуже цінним випадком використання. **
ZKVM від Boundless тепер підтримує обчислення AI, і з моменту пробного запуску в липні 2024 року продуктивність зросла на 50-100 разів. Це означає, що обчислення AI можуть виконуватися безпосередньо в ZKVM та генерувати перевіряємі ZK докази, що забезпечує правильність моделі ваг та захищає від фальсифікації.
Чому ZK? Чому ми все ще говоримо про ZK?
В історії науки і техніки кожна трансформаційна технологія проходила схожу траєкторію: від проростання концепції до шаленства ринку, до корита розчарування і, нарешті, до стадії зрілого застосування. Сьогодні докази з нульовим розголошенням (ZK) переживають такий переломний момент – колись вони рекламувалися як найкраще рішення для масштабованості блокчейну, але на практиці інженерні виклики значно перевершили очікування, а настрої ринку коливалися. Однак генеральний директор Boundless Джеремі Брюстл вірить у майбутнє ZK і вважає, що він знаходиться на критичному етапі в обчислювальній парадигмі.
“З точки зору технологічного циклу хайпу (Hype Cycle), ми зараз знаходимося на етапі долини розчарування (Trough of Disillusionment).” — пояснив Джеремі. “Багато людей кілька років тому побачили потенціал ZK і вважали, що він швидко змінить модель обчислень у блокчейні, але недооцінили інженерні труднощі переходу від теорії до практичної реалізації.”
Тим не менш, швидкість, з якою розвиваються технології ZK, вражає. «За останні кілька років продуктивність обчислень ZK покращилася в 3-4 рази на квартал. Це означає, що ZK, який рік тому не був доступний у великих масштабах, тепер починає бути доступним у реальному використанні. ”
Це і є причина народження Boundless. ZK — це не просто нова технологія, а зріла обчислювальна парадигма. Джеремі навіть порівнює це з революцією мікропроцесорів 1970-х років: "Тоді більшість обчислювальних завдань на ринку виконувалися за допомогою спеціалізованих інтегральних схем (ASIC), і поява мікропроцесорів не викликала оптимізму. Але з прогресом технологій вони стали швидшими і дешевшими, врешті-решт замінивши все спеціалізоване обладнання. Обчислення ZK йдуть тим же шляхом — вони подолають поточні вузькі місця в обчисленнях блокчейну, зробивши масштабовані й низькобюджетні обчислення стандартом."
подолання труднощів "малина на блокчейні"
На якому етапі зараз знаходиться блокчейн-обчислювальне середовище? CIO Boundless Шив Шанкар навів яскравий приклад: "Сьогоднішня блокчейн-обчислювальна потужність, напевно, відповідає Raspberry Pi. Обчислювальні ресурси надзвичайно обмежені, розробникам додатків доводиться безперервно оптимізувати витрати на Gas, щоб відповідати обмеженням продуктивності на ланцюгу."
Наразі виконання складного обчислення смарт-контракту на традиційній блокчейн може вимагати витрати кілька мільярдів Gas, що еквівалентно обсягу обчислень 30 блоків, що абсолютно неможливо виконати в основній мережі. Це подібно до періоду інтернет-бульбашки 1999 року, коли люди платили шалені рахунки за дозвін до Інтернету, але навіть для завантаження зображення потрібно було півхвилини. І зміни, які приносить ZK, нагадують про прихід епохи широкосмугового Інтернету — коли Boundless зменшить вартість обчислень на ланцюгу на 90%, блокчейн нарешті отримує можливість вирватися з кайданів Gas.
За останні 12 місяців користувачі блокчейну заплатили 5 мільярдів доларів комісії за газ, але фактичний обсяг обчислень вкрай обмежений. Після того, як обчислення ZK дозріють, ті ж обчислювальні витрати принесуть в 10 або навіть 20 разів більше обчислювальної потужності, а «економічна продуктивність» всієї галузі збільшиться в геометричній прогресії». «Ми створюємо «еластичні хмарні обчислення блокчейну», де обчислювальні ресурси масштабуються на вимогу, як хмарні сервери AWS, за незначною ціною». – пояснює Шанкар.
Як обчислення ZK змінить блокчейн протягом наступних п'яти років?
Якщо зробити сміливий прогноз щодо розвитку ZK протягом наступних п'яти років, Джеремі вважає, що ZK поступово замінить моделі виконання на основі консенсусу та стане основним способом обчислення в блокчейні.
Ця технологічна критична точка зміни може настати раніше, ніж очікувалося. Команди, такі як Boundless, прориваються в системі «ринку доказів», фактично відтворюючи логіку еволюції ринку хмарних обчислень — коли ZK обчислювальна потужність стане стандартизованим товаром, цінова війна та змагання за продуктивність призведуть до створення більш精密них агрегаторів доказів, більш ефективних апаратних прискорювачів та більш розумних алгоритмів розподілу ресурсів. У той час кривий зріст «ВВП» блокчейну може знову відобразити різке зростання інтернету від модемного до широкосмугового етапу.
Суть цієї тихої революції завжди слідує давньому правилу комп'ютерної індустрії: справжні великі технології ніколи не вимагають, щоб світ пристосовувався до них, а самі стають частиною світу. Коли розробники перестануть обговорювати ZK сам по собі і почнуть зосереджуватись на створенні на його основі ланцюгових додатків, про які раніше навіть не сміли мріяти, тоді ця революція в обчислювальній потужності буде вважатися справжньою перемогою.
Джеремі на конференції ETHDenver.
Конкурентна структура: коли ефективність відходить на другий план, безпека та зручність виходять на перший план
Історія блокчейну завжди повторює один і той же цикл: коли з'являються нові технології, на ринку з'являється незліченна кількість «рішень», кожне з яких претендує на звання стандарту майбутнього, кожне з яких конкурує за увагу. Але коли технологія перейде на реальну стадію посадки, ринок швидко відсіє ті бульбашки, які просто виглядають блискучими, залишаючи після себе структуру з реальною довгостроковою цінністю. І в цьому конкурсі Boundless виділяється як ніколи раніше.
Якщо комп'ютерний ринок ZK є перспективним містом, більшість проектів будують багатоповерхівки в надії залучити мешканців блискучим зовнішнім виглядом. Але шлях, який обрала компанія Boundless, полягає в будівництві доріг, оптимізації водопостачання та електропостачання, а також створенні інфраструктури, яка буде по-справжньому стійкою на довгострокову перспективу.
«Справжня децентралізація з самого початку означає опір цензурі, створення реального ринкового механізму, який мінімізує вартість доказу, гарантуючи при цьому дійсно безпечну віртуальну машину (ВМ)». Джеремі Брюстл, генеральний директор Boundless, сказав, що багато обчислювальних рішень ZK можуть здатися бездоганними на ранніх стадіях ринку, але справжнє випробування** не настане до масового впровадження. **
Уявіть, що протокол DeFi обробляє тисячі складних транзакцій на день, і раптом виявляє, що вартість обчислень ZK виходить за рамки бюджету, або система занадто децентралізована, щоб протистояти регуляторному тиску, якою б просунутою не була технологія, таке рішення не стане наріжним каменем галузі. ** Boundless вирішує проблему в тому, щоб забезпечити прозоре та справедливе використання обчислювальних ресурсів за допомогою Verifiable Proof of Work. **
Цей інноваційний механізм гарантує, що винагорода, яку отримують Provers**, повністю залежить від обсягу обчислювальної роботи, яку вони фактично виконують, ефективно запобігаючи атакам пензля та водночас субсидуючи вартість доказів, так що операційні витрати всієї системи можуть бути знижені до розумного діапазону. Іншими словами, Boundless не розкручує «майбутнє обчислень ZK», а робить обчислення ZK по-справжньому доступними, масштабованими та доступними.
Від "орендованих обчислень" до "повного рішення": одне вікно для ZK обчислювального досвіду
Багато проектів розглядають ринок ZK обчислень як "обчислювальну біржу", де розробники, як на платформах хмарних послуг, орендують сервери, купуючи обчислювальні потужності для генерації доказів. Але мислення Boundless зовсім інше — вона не просто надає обчислювальні потужності, а пропонує кінцевий ZK обчислювальний досвід.
"Ми не просто продаємо користувачам обчислювальні ресурси, а пропонуємо повне рішення для обчислень zk, яке дозволяє розробникам безперешкодно інтегрувати zk у свої додатки", - пояснив директор з інформаційних технологій Boundless Шив Шанкар.
Іншими словами, Boundless не прагне стати "постачальником хмарних обчислень" епохи Web3, а хоче стати "партнером з ZK обчислень" для розробників. Від генерації доказів до остаточної верифікації в ланцюзі, Boundless робить весь процес гладким і безперешкодним. Саме оптимізація цього досвіду є ключем до того, щоб ZK обчислення вийшли з лабораторії на масове застосування.
Для розробників такий дизайн «від кінця до кінця» означає нижчий технічний бар'єр, швидшу інтеграцію та більш стабільне середовище роботи. Boundless робить ZK-обчислення не лише складною технічною концепцією, а й безпосереднім інструментом продуктивності, який можна впровадити.
Продуктово-ринкове відповідність (Product-Market Fit): коли витрати наближаються до нуля, справжня конкуренція тільки починається
“До 2026 року майже ніхто не говоритиме про проблеми продуктивності ZK обчислень.” Сказав мені Шив Шанкар.
Прорив у обчислювальних технологіях зрештою завжди обертається навколо одного основного питання: витрати. Незалежно від того, йдеться про хмарні обчислення, GPU рендеринг чи AI навчання, справжня точка вибуху в галузі ніколи не є проривом у межах продуктивності, а зниженням обчислювальних витрат.
Судження Шива звучить неймовірно, але якщо ми озирнемося на шлях розвитку хмарних обчислень, ми побачимо, що ця тенденція є очевидною. Сьогодні майже жоден інженер не цікавиться конкретними витратами на обчислення AWS EC 2, оскільки ціни знизилися до незначного рівня; розробники лише зосереджуються на тому, як краще використовувати ці ресурси.
Команда Boundless вважає, що ZK обчислення незабаром перейдуть до аналогічної стадії. Це означає, що розробники більше не будуть турбуватись про те, «наскільки швидкими є ZK обчислення», а почнуть думати про те, як використати їх для створення більш безпечних, ефективних та масштабованих застосунків. DeFi, автентифікація, ігри на ланцюгу, захист даних... Сценарії використання ZK зазнають справжнього вибуху, і Boundless стоїть на передовій цієї трансформації.
В даний час основні вимоги до обчислень ZK походять від Rollups, Layer 2 і випадків використання, коли потрібно перевірити функцію переходу стану. Наприклад, EigenLayer планує використовувати технологію Boundless у Slashing Mechanism, оскільки для виконання цих обчислень на Ethereum потрібно 1 мільярд газу, але здатність ZK Compute виконувати обчислення поза мережею та ефективно надсилати докази робить його життєздатним варіантом.
Але тепер обчислення ZK не тільки оптимізують існуючі Web3-додатки, але й дозволять створити абсолютно новий набір блокчейн-додатків. **Наразі Boundless співпрацює з командою DeFi, яка хоче створити Data Markets, що включає кілька моделей ціноутворення. У минулому вони могли виконувати лише приблизні обчислення в ланцюжку через обсяг обчислень, але Boundless дозволяє їм запускати модель повністю та надсилати докази ZK для більш точних транзакцій DeFi. **
"Якщо ви сьогодні почнете будувати DeFi додаток, не використовуючи технологію ZK в системі, то ви дуже швидко будете витіснені з індустрії." Ця фраза Шива звучить радикально, але це правда: до 2026 року використання ZK обчислень стане стандартним варіантом, а не привілеєм високих технологій. Коли розробники більше не будуть панікувати через бюджет Gas, інновації перейдуть з "режиму виживання" в "режим створення".
В майбутньому застосування DeFi більше не будуть обмежені колом Web3, а зможуть безпосередньо конкурувати з TradFi (традиційними фінансами) навіть з великими біржами. Вони матимуть більш потужний захист конфіденційності, нижчі торгові витрати та вищу ефективність виконання. А Boundless прокладає швидкісну дорогу до цього дня.
Запуск основної мережі: «Місячна програма» Boundless
“Ми активно працюємо над запуском основної мережі (Mainnet), і в ідеальному випадку ми плануємо запустити її в другому або на початку третього кварталу цього року.” Сказав мені Шив Шанкар. Наразі основним пріоритетом Boundless безсумнівно є розгортання основної мережі. Протягом останніх кількох місяців команда провела кілька раундів експериментів на тестовій мережі, щоб перевірити стабільність протоколу, обчислювальну продуктивність і економічну модель. Сьогодні все перебуває на фінальній стадії спринту.
Перед остаточним запуском основної мережі наступним етапом Boundless є «Mainnet Beta», етап пробної експлуатації, орієнтований на розробників.
У поточному середовищі тестової мережі хоча докази ZK можуть працювати, вони ще не повністю інтегровані в реальну економічну систему. Мета Mainnet Beta полягає в тому, щоб розробники почали генерувати ZK-докази в реальному фінансовому середовищі, тестуючи систему в умовах фактичного ринку.
"Після Mainnet Beta ми зосередимося на широкому тестуванні механізму стимулювання (Incentive Mechanism)." – розповів Джо Рестіво.
Це буде ключовий етап реалізації економічної моделі Boundless, команда під час цього процесу буде тестувати та оптимізувати Verifiable Work (механізм верифікованої роботи), щоб забезпечити ефективну роботу розподілу обчислювальних ресурсів та системи стимулів у децентралізованому середовищі.
Децентралізоване управління: створення ZK екосистеми, що керується спільнотою
Разом із синхронізацією з основною мережею, також передбачено план децентралізованого управління (DG, Decentralized Governance).
Шив Шанкар відверто заявив, що Boundless не лише прагне побудувати ефективну ZK обчислювальну платформу, але й по-справжньому хоче зробити спільноту частиною екосистеми.
"Час запуску децентралізованого управління, більше залежить від юридичної та операційної команди, а не від контролю інженерної команди." Це означає, що, незважаючи на те, що Boundless вже надав технічну підтримку ринку ZK-обчислень, остаточне ухвалення рішень буде поступово передано спільноті, що справді реалізує децентралізовану роботу.
Остаточний план Boundless: вивести обчислення на блокчейні за межі можливого
Бретт Картер, віце-президент з продукту, сказав мені, що його основна думка полягає в тому, що всі обчислювальні виконання в кінцевому підсумку будуть переведені на докази з нульовим розголошенням (ZK) з простої причини: згідно з поточною архітектурою блокчейну, всі обчислення повинні досягати консенсусу між усіма вузлами, що фізично обмежує пропускну здатність всієї мережі. Наприклад, ліміт газу в Ethereum на блок становить лише 36 мільйонів, що означає, що смарт-контракти не можуть виконувати обчислення високої складності, такі як висновок ШІ, інакше вся мережа буде паралізована.
Якщо сьогоднішнє блокчейн-обчислення подібне до синхронного програмування, то ZK-обчислення, що надає Boundless, більше нагадує асинхронне програмування — розробники можуть виконувати обчислення паралельно поза ланцюгом (Off-chain), а потім доводити їх правильність за допомогою ZK, врешті-решт подаючи лише невелике доказ на рівень розрахунків, без необхідності виконання всього процесу обчислення в ланцюзі.
Коли Ethereum L2 розцвітає, справжнє вузьке місце перемістилося з мережевого рівня на обчислювальний рівень — хто зможе вивести на блокчейн швидкісну дорогу "важкі вантажівки" такі як навчання AI, 3D рендеринг, той матиме перепустку до наступної епохи. Бретт сказав, що саме тому ми назвали протокол Boundless (Безмежний) — щоб усунути межі обчислень, дозволяючи блокчейну дійсно мати безмежну обчислювальну потужність. У майбутньому блокчейн вже не буде просто інструментом для транзакцій і виконання смарт-контрактів, а стане платформою, що підтримує більш складні застосування, такі як верифіковане AI міркування (Verifiable AI Inference), високопродуктивні ігри на ланцюгу, децентралізовані соціальні мережі тощо. Візія Boundless полягає в тому, щоб вивільнити обчислення в блокчейні від поточних обмежень продуктивності, досягнувши справжньої свободи обчислень.
Висновок: Позаду однієї сорочки лежить нестандартна інноваційна філософія
В кінці інтерв'ю головний операційний директор Джо Рестіво бурчав на мене, і його слова були сповнені образи: "Ти знаєш, у нас є ще один дуже великий виклик у роботі: Джеремі має 'особливу' сорочку з малюнком японського цунамі, яку він носить на сцені будь-коли, замість офіційних товарів нашої компанії. Кожного разу, коли він виходить на сцену в цій сорочці з цунамі, я хочу підбігти і одягнути йому офіційну футболку Boundless."
! Інтерв'ю Odaily з Boundless: Ця група технічних ботаніків підносить ZK до культури та філософії
Фортуна сорочка Джеремі: Хвилі в стилі Укійо-е
Я спеціально ще раз поставив це питання Джеремі. Відповідаючи на сумніви, він щедро зізнався: "Я справді часто ношу ту сорочку з малюнком цунамі. Особливо коли зустрічаюся з інвесторами або на виступах, я зазвичай її одягаю." Цей тонкий конфлікт між особистим смаком і брендом компанії несподівано став підставою для культури команди: в Boundless команда створює цінність так, як їй подобається. Або, висловлюючись у більш естетичному стилі, в епоху технологічних хвиль важливіше знайти свою власну хвилю, ніж слідувати за течією.
«У світі так багато людей, і якби всі робили одне й те саме, можливості у світі були б обмежені. Він сказав мені: «Це символізує ідею... Я завжди вважав, що кожен з нас вільний вибирати, що ми хочемо створювати. І найзмістовніше – створити щось, що найкраще представляє «нас самих». Незалежно від того, вдасться це в кінцевому підсумку чи ні, ми завжди будемо продовжувати творити. ”**