У той час, коли верифікація обчислень стає центральною темою в промисловості, RISC Zero використовує більш універсальну та відкриту архітектуру нульових знань для переосмислення ефективності та меж довіри блокчейну. Завдяки першій у галузі універсальній zkVM на основі RISC-V та крос-ланцюговому веріфікованому обчислювальному рівню Boundless, ця команда гіків намагається перевести нульові знання з нішевого інструмента на масштабовану хмарну обчислювальну потужність, намагаючись обладнати децентралізований інтернет перевіреним "суперкомп'ютером".
Нещодавно співавтор Ethereum Віталік Бутерін запропонував провести суттєві зміни в шарі виконання мережі Ethereum: замінити існуючий байт-код віртуальної машини Ethereum (Ethereum Virtual Machine, EVM) на набір інструкцій RISC-V. Нова схема не змінить основні функції облікових записів, зберігання та інших смарт-контрактів, але радикально змінить спосіб компіляції та роботи коду контрактів. В певному сенсі пропозиція Віталіка є не лише оновленням стандартизації та комбінації шару виконання Ethereum, але і знову ставить "перевірні обчислення" - технологію, яка раніше вважалась дорогою і експериментальною - в центр наративу індустрії.
Один, RISC Zero: піонер універсального zkVM
На еволюційному шляху до перевіряємих обчислень компанія RISC Zero з США є однією з найперших і найпредставничіших практиків. Вони не лише створили перший у галузі універсальний zkVM на основі тієї ж архітектури RISC-V, але й розробили Boundless — цей шар перевіряємих обчислень, намагаючись оновити нульові знання з одиничного інструменту до крос-ланцюгового спільного, ринкового "хмарного обчислення". Це означає, що в майбутньому розробники більше не будуть обмежені високими витратами на Gas в ланцюзі або обмеженнями самого EVM, а зможуть викликати майже безмежні ресурси перевіряємих обчислень на будь-якому блокчейні.
Наразі бета-версія основної мережі Boundless вже запущена. Генеральний директор Шив Шанкар заявив: «Boundless досягає безпечних крос-ланцюгових обчислень, уникаючи повторних обчислювальних завдань, що підвищує масштабованість Блокчейну. Це не лише підвищує ефективність і зміцнює безпеку, але й дозволяє розробникам і майнерам брати участь у крос-екосистемному середовищі.» Дослідник фонду Ethereum Джастін Дрейк зазначив: «Підтримуючий екосистему Boundless RISC Zero zkVM задовольняє всі ключові потреби масштабування Ethereum: можливість миттєвого підтвердження, домашнє середовище для верифікації з кількома GPU, ліберальна ліцензія з відкритим вихідним кодом та реалізація з нуля.»
Протягом всього кількох днів на бета-версії основної мережі Boundless цей перший ринок, що підтверджує консенсус Ethereum, досяг поточної максимальної верифікації (3 мільярди) у 10 разів більше (50 мільярдів); 576 підтверджувачів успішно подали докази, що робить його найбільш децентралізованою мережею підтверджувачів у світі; ринковий обсяг зріс у 10 разів, добова кількість замовлень досягала максимуму 8000 замовлень, обчислювальні цикли досягли 2.6 трильйонів, майже без відмов, щодня виконується понад 99% замовлень; один зовнішній підтверджувач встановив новий рекорд швидкості, досягнувши 5.63MHz, що значно перевищує попередні 2.5MHz; замовлення майже завжди залишаються на рівні 0 заблокованих замовлень, що дозволяє нам зазирнути вперед у потенційний вплив POWV (доказ роботи) на прийняття ZK-доказів на початковому етапі запуску основної мережі; відкрите інноваційне середовище між підтверджувачами вже розпочалося, одним з яскравих моментів є те, що підтверджувачі можуть блокувати завдання в одному Блоці за менше ніж 100 мілісекунд.
Два. Принцип роботи та дизайнерські прориви Boundless
На шляху до еволюції нульових доказів з одноточкових інструментів у загальний обчислювальний шар, ключовий прорив Boundless полягає в перетворенні перевірних обчислень з ізольованих технічних можливостей на ринкову, комбіновану інфраструктуру на ланцюгу.
Конкретно, основна логіка Boundless має три ключові елементи: універсальний zkVM, крос-ланцюговий протокол верифікації та економічну модель PoVW (Proof of Verifiable Work).
Універсальна zkVM: Підґрунтя Boundless спирається на розроблену RISC Zero zkVM (R0VM 2.0), яка базується на відкритих стандартах архітектури RISC-V, може виконувати будь-які універсальні програми та генерувати перевіряємий нульовий доказ. Це означає, що незалежно від того, чи це смарт-контракт EVM, доказ стану Rollup, чи складні обчислення поза ланцюгом, за генерацію доказів дійсності відповідає zkVM, а потім вони швидко перевіряються смарт-контрактом на ланцюзі; весь процес є прозорим для кінцевого користувача та основного ланцюга.
крос-ланцюгова верифікаційна угода: Boundless не обмежується жодним конкретним ланцюгом, а з самого початку спроектована як рідна крос-ланцюгова система: вона створює бездозвільний ринковий майданчик для ліквідації, одночасно розгортаючи контракти Boundless Market на кількох ланцюгах, автоматично поєднуючи потреби розробників у підтвердженнях з обчислювальними ресурсами Prover вузлів з усього світу. Що ще важливіше, Boundless Market вже рідно розгорнутий на всіх основних ланцюгах, розробникам не потрібно виходити з знайомого їм екосистеми, їм потрібно лише взаємодіяти з локальною адресою контракту, оплачуючи витрати за допомогою рідного токена свого ланцюга і миттєво отримуючи перевірювані обчислювальні підтвердження. Такий дизайн децентралізованого ринку крос-ланцюгів суттєво знижує бар'єри для доступу, дозволяючи перевіряємим обчисленням справді стати ланцюговими публічними ресурсами, які можна планувати, розраховувати та комбінувати, як хмарні послуги.
Механізм стимулювання PoVW: Найбільш проривна частина полягає в механізмі стимулювання PoVW. На відміну від PoW, який винагороджує лише за хешування, та PoS, який винагороджує за бездіяльний капітал, PoVW вперше товаризує реальну обчислювальну навантаженість за допомогою zk-SNARKs, завершуючи замкнене коло з вимірюванням та оплатою на блокчейні. Prover отримує токенові винагороди, що відповідають обсягу роботи, за виконані ефективні цикли, а дані вимірювання повністю записуються на блокчейн та підлягають аудиту. Цей механізм не лише забезпечує гнучкість постачання обчислювальної потужності, але й стимулює більше вузлів постійно оптимізувати ефективність доказів та знижувати витрати, формуючи ринок попиту та пропозиції для верифікованої обчислювальної потужності.
Технічний керівник продукту Jacob Everly під час інтерв'ю з медіа в березні цього року розкрив, що Міжнародний валютний банк (BIS) у Сінгапурі вже розробив прототипну систему за допомогою технологій RISC Zero та Boundless, яка здатна перевіряти, чи можуть трейдери з Азійсько-Тихоокеанського регіону здійснювати торги на Сінгапурській біржі без надання їм повної особистої інформації. Користувачі повинні лише завантажити паспорт та номер телефону, щоб отримати zk-SNARKs, що підтверджує їх відповідність вимогам для торгівлі. На сьогодні вже більше 30 команд планують створити та розгорнути додатки на Boundless. Jacob Everly сказав: "Наша мета - досягти 100 партнерських команд наступного року, щоб зробити Boundless галузевим стандартом."
Три. Багатовимірна технологічна карта RISC Zero
Окрім Boundless, RISC Zero також постійно ітераційно працює над доступністю та масштабованістю zk-SNARKs, випускаючи кілька ключових продуктів, що додатково зміцнює його технологічний бар'єр як універсальної платформи для верифікованих обчислень.
R0VM 2.0: нова версія ядра zkVM, яка не лише скоротила час підтвердження одного Блоку Ethereum з 35 хвилин до 44 секунд, але й знизила вартість підтвердження на OP ланцюгах у 5 разів, а мінімальна вартість однієї транзакції становить лише 0.0012 долара, що значно знижує бар'єри для розробників при інтеграції ZK. Одночасно версія R0VM 2.0 покращила підтримку пам'яті та попередньо скомпільованих функцій, здатна обробляти більші масштаби підтвердження EVM та верифікованого медіа-контенту, і планує досягти рівня реального часу в 12 секунд цього року, що ще більше сприятиме розвитку децентралізації нульових знань від експериментів до масового виробництва. Варто зазначити, що версія R0VM 3.0 також розробляється і має бути випущена пізніше цього року. Ця версія використовуватиме нову систему підтвердження Binius, запущену Ethereum, що ще більше підвищить швидкість підтвердження.
ZK співпроцесор Steel 2.0: Відповідаючи на обмеження EVM екосистеми, RISC Zero також випустила ZK співпроцесор Steel 2.0, який може виконувати складні обчислення, доступ до історичних станів та міжблокові обчислення поза ланцюгом, а також реалізувати безпечну верифікацію в ланцюгу з витратами на доказ, що становлять всього 270000 gas, сумісний з Solidity та R0-Helios легким клієнтом, що полегшує розгортання в Ethereum та OP Stack.
OP Kailua модель ефективності: забезпечує можливість плавного переходу від OP Rollup до ZK Rollup, отримуючи високу безпеку та швидкі розрахунки, які забезпечує ZK, без значних реконструкцій. Проекти, такі як Base, BOB, вже впроваджені, надаючи економічно вигідні варіанти оновлення для ланцюгів з високою пропускною спроможністю.
Чотири, місія та амбіції RISC Zero
RISC Zero - це команда, що поєднує бунтівний дух та раціональне прагнення до технологій. На початку 2022 року, під час конференції ETH Denver, кілька членів RISC Zero успішно проникли на захід, тримаючи в руках тканину та прості інструменти, придбані в місцевій друкарні. Саме під час цього «хакерського прориву» вони досягли ранньої інвестиційної угоди з першими інвесторами.
Завдяки цьому духу авантюризму, який не слідує звичайним правилам, та глибокому дослідженню технології нульових знань, RISC Zero продовжує отримувати постійні ставки з боку капітальних ринків: у березні 2022 року вони завершили ангельський раунд фінансування в 2 мільйони доларів, а в серпні того ж року отримали 12 мільйонів доларів у раунді насіння; у липні 2023 року вони успішно отримали 4 мільйони доларів у новому раунді фінансування.
На відміну від інших проектів з нульовими знаннями, RISC Zero обрав більш універсальний шлях: на основі відкритого набору інструкцій RISC-V створено першу у світі zkVM, яка може виконувати будь-який загальний код, що дозволяє нульовим знанням дійсно мати універсальні обчислювальні можливості та знижує бар'єри для розробників, дозволяючи їм продовжувати використовувати знайомі інструменти програмування, такі як Rust та інші сучасні мови, без необхідності для ZK ефективності та зручних інструментів.
Сьогодні ця невелика команда, що складається з ґіків та футуристів, намагається створити відкриту, крос-ланцюгову, бездозвільну екосистему верифікованих обчислень на основі zkVM, щоб принести нову основу довіри для децентралізованого Інтернету — саме це є походженням і амбіцією Boundless.
Висновок:
Boundless не лише ще одна технічна спроба RISC Zero в галузі zk-SNARKs, але й реальна практика відкритого ринку верифікованих обчислень, крос-ланцюгової співпраці та масштабованої хмарної обчислювальної потужності. З розвитком Boundless та його складових, таких як zkVM, PoVW та інших, цей експеримент навколо "верифікованого децентралізованого суперобчислювального двигуна" можливо відкриває більш універсальний та амбітний шлях обчислювальної потужності для світу Блокчейн.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
Ethereum RISC-V стає на порядок денний: RISC Zero створює універсальний zkVM, Boundless відкриває нові горизонти для верифікованих обчислень
У той час, коли верифікація обчислень стає центральною темою в промисловості, RISC Zero використовує більш універсальну та відкриту архітектуру нульових знань для переосмислення ефективності та меж довіри блокчейну. Завдяки першій у галузі універсальній zkVM на основі RISC-V та крос-ланцюговому веріфікованому обчислювальному рівню Boundless, ця команда гіків намагається перевести нульові знання з нішевого інструмента на масштабовану хмарну обчислювальну потужність, намагаючись обладнати децентралізований інтернет перевіреним "суперкомп'ютером".
Нещодавно співавтор Ethereum Віталік Бутерін запропонував провести суттєві зміни в шарі виконання мережі Ethereum: замінити існуючий байт-код віртуальної машини Ethereum (Ethereum Virtual Machine, EVM) на набір інструкцій RISC-V. Нова схема не змінить основні функції облікових записів, зберігання та інших смарт-контрактів, але радикально змінить спосіб компіляції та роботи коду контрактів. В певному сенсі пропозиція Віталіка є не лише оновленням стандартизації та комбінації шару виконання Ethereum, але і знову ставить "перевірні обчислення" - технологію, яка раніше вважалась дорогою і експериментальною - в центр наративу індустрії.
Один, RISC Zero: піонер універсального zkVM
На еволюційному шляху до перевіряємих обчислень компанія RISC Zero з США є однією з найперших і найпредставничіших практиків. Вони не лише створили перший у галузі універсальний zkVM на основі тієї ж архітектури RISC-V, але й розробили Boundless — цей шар перевіряємих обчислень, намагаючись оновити нульові знання з одиничного інструменту до крос-ланцюгового спільного, ринкового "хмарного обчислення". Це означає, що в майбутньому розробники більше не будуть обмежені високими витратами на Gas в ланцюзі або обмеженнями самого EVM, а зможуть викликати майже безмежні ресурси перевіряємих обчислень на будь-якому блокчейні.
Наразі бета-версія основної мережі Boundless вже запущена. Генеральний директор Шив Шанкар заявив: «Boundless досягає безпечних крос-ланцюгових обчислень, уникаючи повторних обчислювальних завдань, що підвищує масштабованість Блокчейну. Це не лише підвищує ефективність і зміцнює безпеку, але й дозволяє розробникам і майнерам брати участь у крос-екосистемному середовищі.» Дослідник фонду Ethereum Джастін Дрейк зазначив: «Підтримуючий екосистему Boundless RISC Zero zkVM задовольняє всі ключові потреби масштабування Ethereum: можливість миттєвого підтвердження, домашнє середовище для верифікації з кількома GPU, ліберальна ліцензія з відкритим вихідним кодом та реалізація з нуля.»
Протягом всього кількох днів на бета-версії основної мережі Boundless цей перший ринок, що підтверджує консенсус Ethereum, досяг поточної максимальної верифікації (3 мільярди) у 10 разів більше (50 мільярдів); 576 підтверджувачів успішно подали докази, що робить його найбільш децентралізованою мережею підтверджувачів у світі; ринковий обсяг зріс у 10 разів, добова кількість замовлень досягала максимуму 8000 замовлень, обчислювальні цикли досягли 2.6 трильйонів, майже без відмов, щодня виконується понад 99% замовлень; один зовнішній підтверджувач встановив новий рекорд швидкості, досягнувши 5.63MHz, що значно перевищує попередні 2.5MHz; замовлення майже завжди залишаються на рівні 0 заблокованих замовлень, що дозволяє нам зазирнути вперед у потенційний вплив POWV (доказ роботи) на прийняття ZK-доказів на початковому етапі запуску основної мережі; відкрите інноваційне середовище між підтверджувачами вже розпочалося, одним з яскравих моментів є те, що підтверджувачі можуть блокувати завдання в одному Блоці за менше ніж 100 мілісекунд.
Два. Принцип роботи та дизайнерські прориви Boundless
На шляху до еволюції нульових доказів з одноточкових інструментів у загальний обчислювальний шар, ключовий прорив Boundless полягає в перетворенні перевірних обчислень з ізольованих технічних можливостей на ринкову, комбіновану інфраструктуру на ланцюгу.
Конкретно, основна логіка Boundless має три ключові елементи: універсальний zkVM, крос-ланцюговий протокол верифікації та економічну модель PoVW (Proof of Verifiable Work).
Універсальна zkVM: Підґрунтя Boundless спирається на розроблену RISC Zero zkVM (R0VM 2.0), яка базується на відкритих стандартах архітектури RISC-V, може виконувати будь-які універсальні програми та генерувати перевіряємий нульовий доказ. Це означає, що незалежно від того, чи це смарт-контракт EVM, доказ стану Rollup, чи складні обчислення поза ланцюгом, за генерацію доказів дійсності відповідає zkVM, а потім вони швидко перевіряються смарт-контрактом на ланцюзі; весь процес є прозорим для кінцевого користувача та основного ланцюга.
крос-ланцюгова верифікаційна угода: Boundless не обмежується жодним конкретним ланцюгом, а з самого початку спроектована як рідна крос-ланцюгова система: вона створює бездозвільний ринковий майданчик для ліквідації, одночасно розгортаючи контракти Boundless Market на кількох ланцюгах, автоматично поєднуючи потреби розробників у підтвердженнях з обчислювальними ресурсами Prover вузлів з усього світу. Що ще важливіше, Boundless Market вже рідно розгорнутий на всіх основних ланцюгах, розробникам не потрібно виходити з знайомого їм екосистеми, їм потрібно лише взаємодіяти з локальною адресою контракту, оплачуючи витрати за допомогою рідного токена свого ланцюга і миттєво отримуючи перевірювані обчислювальні підтвердження. Такий дизайн децентралізованого ринку крос-ланцюгів суттєво знижує бар'єри для доступу, дозволяючи перевіряємим обчисленням справді стати ланцюговими публічними ресурсами, які можна планувати, розраховувати та комбінувати, як хмарні послуги.
Механізм стимулювання PoVW: Найбільш проривна частина полягає в механізмі стимулювання PoVW. На відміну від PoW, який винагороджує лише за хешування, та PoS, який винагороджує за бездіяльний капітал, PoVW вперше товаризує реальну обчислювальну навантаженість за допомогою zk-SNARKs, завершуючи замкнене коло з вимірюванням та оплатою на блокчейні. Prover отримує токенові винагороди, що відповідають обсягу роботи, за виконані ефективні цикли, а дані вимірювання повністю записуються на блокчейн та підлягають аудиту. Цей механізм не лише забезпечує гнучкість постачання обчислювальної потужності, але й стимулює більше вузлів постійно оптимізувати ефективність доказів та знижувати витрати, формуючи ринок попиту та пропозиції для верифікованої обчислювальної потужності.
Технічний керівник продукту Jacob Everly під час інтерв'ю з медіа в березні цього року розкрив, що Міжнародний валютний банк (BIS) у Сінгапурі вже розробив прототипну систему за допомогою технологій RISC Zero та Boundless, яка здатна перевіряти, чи можуть трейдери з Азійсько-Тихоокеанського регіону здійснювати торги на Сінгапурській біржі без надання їм повної особистої інформації. Користувачі повинні лише завантажити паспорт та номер телефону, щоб отримати zk-SNARKs, що підтверджує їх відповідність вимогам для торгівлі. На сьогодні вже більше 30 команд планують створити та розгорнути додатки на Boundless. Jacob Everly сказав: "Наша мета - досягти 100 партнерських команд наступного року, щоб зробити Boundless галузевим стандартом."
Три. Багатовимірна технологічна карта RISC Zero
Окрім Boundless, RISC Zero також постійно ітераційно працює над доступністю та масштабованістю zk-SNARKs, випускаючи кілька ключових продуктів, що додатково зміцнює його технологічний бар'єр як універсальної платформи для верифікованих обчислень.
R0VM 2.0: нова версія ядра zkVM, яка не лише скоротила час підтвердження одного Блоку Ethereum з 35 хвилин до 44 секунд, але й знизила вартість підтвердження на OP ланцюгах у 5 разів, а мінімальна вартість однієї транзакції становить лише 0.0012 долара, що значно знижує бар'єри для розробників при інтеграції ZK. Одночасно версія R0VM 2.0 покращила підтримку пам'яті та попередньо скомпільованих функцій, здатна обробляти більші масштаби підтвердження EVM та верифікованого медіа-контенту, і планує досягти рівня реального часу в 12 секунд цього року, що ще більше сприятиме розвитку децентралізації нульових знань від експериментів до масового виробництва. Варто зазначити, що версія R0VM 3.0 також розробляється і має бути випущена пізніше цього року. Ця версія використовуватиме нову систему підтвердження Binius, запущену Ethereum, що ще більше підвищить швидкість підтвердження.
ZK співпроцесор Steel 2.0: Відповідаючи на обмеження EVM екосистеми, RISC Zero також випустила ZK співпроцесор Steel 2.0, який може виконувати складні обчислення, доступ до історичних станів та міжблокові обчислення поза ланцюгом, а також реалізувати безпечну верифікацію в ланцюгу з витратами на доказ, що становлять всього 270000 gas, сумісний з Solidity та R0-Helios легким клієнтом, що полегшує розгортання в Ethereum та OP Stack.
OP Kailua модель ефективності: забезпечує можливість плавного переходу від OP Rollup до ZK Rollup, отримуючи високу безпеку та швидкі розрахунки, які забезпечує ZK, без значних реконструкцій. Проекти, такі як Base, BOB, вже впроваджені, надаючи економічно вигідні варіанти оновлення для ланцюгів з високою пропускною спроможністю.
Чотири, місія та амбіції RISC Zero
RISC Zero - це команда, що поєднує бунтівний дух та раціональне прагнення до технологій. На початку 2022 року, під час конференції ETH Denver, кілька членів RISC Zero успішно проникли на захід, тримаючи в руках тканину та прості інструменти, придбані в місцевій друкарні. Саме під час цього «хакерського прориву» вони досягли ранньої інвестиційної угоди з першими інвесторами.
Завдяки цьому духу авантюризму, який не слідує звичайним правилам, та глибокому дослідженню технології нульових знань, RISC Zero продовжує отримувати постійні ставки з боку капітальних ринків: у березні 2022 року вони завершили ангельський раунд фінансування в 2 мільйони доларів, а в серпні того ж року отримали 12 мільйонів доларів у раунді насіння; у липні 2023 року вони успішно отримали 4 мільйони доларів у новому раунді фінансування.
На відміну від інших проектів з нульовими знаннями, RISC Zero обрав більш універсальний шлях: на основі відкритого набору інструкцій RISC-V створено першу у світі zkVM, яка може виконувати будь-який загальний код, що дозволяє нульовим знанням дійсно мати універсальні обчислювальні можливості та знижує бар'єри для розробників, дозволяючи їм продовжувати використовувати знайомі інструменти програмування, такі як Rust та інші сучасні мови, без необхідності для ZK ефективності та зручних інструментів.
Сьогодні ця невелика команда, що складається з ґіків та футуристів, намагається створити відкриту, крос-ланцюгову, бездозвільну екосистему верифікованих обчислень на основі zkVM, щоб принести нову основу довіри для децентралізованого Інтернету — саме це є походженням і амбіцією Boundless.
Висновок:
Boundless не лише ще одна технічна спроба RISC Zero в галузі zk-SNARKs, але й реальна практика відкритого ринку верифікованих обчислень, крос-ланцюгової співпраці та масштабованої хмарної обчислювальної потужності. З розвитком Boundless та його складових, таких як zkVM, PoVW та інших, цей експеримент навколо "верифікованого децентралізованого суперобчислювального двигуна" можливо відкриває більш універсальний та амбітний шлях обчислювальної потужності для світу Блокчейн.