Що таке Pico zkVM? Архітектурний аналіз модульної zkVM Brevis

Блокчейн-консенсус вимагає від кожного валідатора багаторазового виконання однакових обчислень, тому пряме ончейн-оброблення складної логіки є дорогим і обмеженим. Цінність zkVM полягає у перенесенні виконання офчейн, де ончейн перевіряється лише стислий доказ, що дозволяє подолати обчислювальну межу окремих транзакцій.

Як універсальний шар виконання верифікованих обчислень для Brevis (BREV), Pico zkVM використовує архітектуру glue-and-coprocessor, яка поєднує гнучкість і продуктивність. Вона забезпечує єдину інфраструктуру для програмування та доказів, що охоплює обробку даних, перевірку підписів, інференс машинного навчання та сценарії доказу блоків Ethereum.

Що таке Pico zkVM?

Pico zkVM, універсальний шар верифікованих обчислень Brevis, об'єднує "написання програм" і "доказ правильного виконання" в одну відкриту інфраструктуру. Розробники описують логіку обчислень на Rust без проектування низькорівневих схем; Pico здійснює офчейн-виконання та генерує доказ.

Модульність реалізована на двох рівнях: універсальне ядро виконує будь-яку програму, а підключувані копроцесори оптимізовані для частих операцій. Така архітектура дозволяє Pico підтримувати широкі обчислення та наближатися до продуктивності спеціалізованих схем для критичних задач, уникаючи типових обмежень "гнучкість, але повільно" для загальних zkVM.

Що таке архітектура glue-and-coprocessor?

Архітектура glue-and-coprocessor є основною для Pico zkVM: універсальне ядро виступає "glue", з'єднуючи весь потік програми, а обчислювально інтенсивні, часті задачі делегуються копроцесорам або прекомпільованим схемам.

Універсальне ядро RISC-V виконує будь-яку програму на Rust, забезпечуючи гнучкість. При виконанні операцій, таких як Keccak-256 хешування, перевірка підпису, інференс машинного навчання чи обробка даних блокчейна, Pico перенаправляє ці задачі на спеціалізовані схеми, обходячи необхідність доказу на кожній інструкції RISC-V.

Доказ на рівні інструкцій є ресурсомістким і становить основний вузол для загальних zkVM. Заміна цього процесу схемами, оптимізованими для zero-knowledge-доказів, дозволяє Brevis підвищити швидкість доказу приблизно у 10–80 разів, значно знижуючи витрати на доказ без втрати універсальності.

Як універсальне ядро і копроцесори працюють разом?

Універсальне ядро і копроцесори поєднують "гнучке виконання" з "ефективним доказом": ядро обробляє будь-яку логіку, а копроцесори прискорюють часті операції.

Як показано вище, універсальне ядро забезпечує виконання будь-якої програми Pico, а копроцесори перетворюють часті операції — хешування, перевірку підпису, інференс ML та обробку даних — з доказу на рівні інструкцій у доказ цілої схеми. Маршрутизація здійснюється автоматично, тому розробникам рідко потрібно вручну перемикати шляхи виконання.

Рис. 1. Архітектура glue-and-coprocessor Pico zkVM: універсальне ядро RISC-V (glue) виконує будь-яку програму, маршрутизуючи задачі Keccak-256, перевірки підпису, ML inference та обробки даних блокчейна на копроцесори або прекомпільовані схеми.

Як розробники можуть створювати верифіковані програми з Pico?

Робочий процес розробки Pico базується на "офчейн-виконанні, ончейн-перевірці" у чотири кроки: написати обчислення на Rust, Pico виконує офчейн і видає результати, згенерувати криптографічний доказ правильного виконання, і нарешті смарт-контракт перевіряє стислий доказ ончейн.

Ключовий етап — останній: ончейн-контракти перевіряють доказ, а не всю програму. Перевірка стислого доказу займає лише мілісекунди і майже не залежить від масштабу початкового обчислення, дозволяючи валідувати складну логіку ончейн з мінімальними витратами.

Для розробників Pico знижує бар'єр zero-knowledge-розробки завдяки Rust. Не потрібно опановувати схемотехніку для створення верифікованих програм — криптографічна складність ізольована всередині інфраструктури.

Рис. 2. Робочий процес розробки Pico zkVM: написати програму на Rust → Pico виконує офчейн → згенерувати ZK-доказ → смарт-контракт перевіряє ончейн.

Який взаємозв’язок між Pico і ZK Data Coprocessors?

Pico zkVM та копроцесори на рівні застосунків формують відносини "універсального glue" і "спеціалізованого рушія". ZK Data Coprocessor — яскравий приклад: він отримує історичні та кросчейн-дані офчейн, виконує обчислення і додає криптографічні докази автентичності та коректності даних.

У такому розподілі Pico виступає glue, ефективно маршрутизуючи дані між копроцесорами, зберігаючи гнучкість загального zkVM. Логіка застосунку може викликати універсальне ядро для кастомних обчислень або використовувати копроцесор даних для ефективного доступу до ончейн-історії.

Підсумовуючи, Pico забезпечує універсальні обчислювальні можливості, а копроцесори на рівні застосунків — спеціалізовану, високошвидкісну обробку для окремих сценаріїв. Разом вони складають стек виконання верифікованих обчислень Brevis.

Які сценарії використання Pico zkVM?

Pico zkVM ідеально підходить для сценаріїв, що потребують "достовірних обчислень + ончейн-перевірки", з обробкою даних, перевіркою підпису, інференсом машинного навчання та доказом блоків Ethereum як чотирма типовими застосуваннями.

Таблиця окреслює чотири типові сценарії та відповідні компоненти виконання. Обробка даних і перевірка підпису використовують копроцесори для прискорення, ML inference додає докази до офчейн-виходу моделі, а доказ блоку Ethereum є найпомітнішим застосуванням.

Доказ блоку Ethereum реалізується Pico Prism — системою реального часу на базі Pico. За даними Brevis, вона досягає близько 99,8% охоплення в реальному часі на 16 GPU, відповідаючи апаратній цілі Ethereum Foundation у $100 000. На відміну від oracle, які приносять офчейн-дані ончейн, Pico фокусується на верифікованих обчисленнях ончейн-даних. Відмінність між Brevis і oracle полягає у тому, що Pico акцентує верифіковані обчислення блокчейнових даних, а не зовнішніх цінових потоків. Ініціатива On-Prem Proving Ethereum Foundation (Ethproof) обрала Brevis однією з чотирьох команд у березні 2026 року.

Які переваги та особливості використання Pico zkVM?

Основна перевага Pico zkVM — поєднання гнучкості та продуктивності: універсальне ядро дозволяє запускати будь-яку програму, копроцесори підвищують ефективність частих операцій до рівня спеціалізованих схем, а інфраструктура Rust знижує бар'єр zero-knowledge-розробки.

Особливості стосуються охоплення спеціалізованих схем і динаміки proof-ринку. Копроцесори і прекомпільовані схеми застосовуються лише до оптимізованих операцій; програми, що сильно залежать від непідтримуваних обчислень, мають повертатися до доказу на рівні інструкцій універсального ядра, знижуючи приріст продуктивності. Стейкінг і slashing доказувачів у BREV токенах і coChain прив'язують надійність proof-доставки до забезпечення токенами.

Витрати на proof — ще одна структурна особливість. Генерація zero-knowledge-доказу потребує спеціалізованого обладнання і хешрейту, а proof-навантаження для загального обчислення залишається вищим за нативне виконання. Вартість і затримка складної логіки мають враховуватися при проектуванні. Це об'єктивні механізмові обмеження і не є інвестиційною порадою.

Підсумок

Pico zkVM, відкритий модульний zero-knowledge віртуальний машин Brevis, інтегрує універсальне ядро RISC-V і прекомпільовані схеми в архітектурі glue-and-coprocessor: ядро виконує будь-яку програму на Rust, часті задачі маршрутизуються на копроцесори, а Brevis повідомляє про підвищення швидкості доказу у 10–80 разів. Розробники пишуть обчислення на Rust, виконують офчейн і генерують докази, з ончейн-перевіркою лише стислих доказів. Разом із копроцесорами на рівні застосунків, такими як ZK Data Coprocessor, і розгорнутими системами, як Pico Prism, Pico формує універсальний шар виконання верифікованих обчислень Brevis.

Поширені запитання

Що таке Pico zkVM?

Pico zkVM, відкритий модульний zero-knowledge віртуальний машин Brevis (zkVM), дозволяє розробникам писати будь-яку логіку обчислень на Rust, виконувати офчейн і генерувати zero-knowledge-докази. Смарт-контракти перевіряють лише стислий доказ ончейн, без повторного виконання всієї програми.

Як архітектура glue-and-coprocessor прискорює докази?

Архітектура використовує універсальне ядро RISC-V як glue для виконання програм, маршрутизуючи типові операції, як Keccak-256 хешування, перевірку підпису та ML inference, на копроцесори (precompiles). Оптимізовані схеми для zero-knowledge-доказів замінюють доказ на рівні інструкцій, підвищуючи швидкість доказу у 10–80 разів за даними Brevis.

Як розробники можуть створювати верифіковані програми з Pico?

Розробники пишуть логіку обчислень на Rust, Pico виконує офчейн і видає результати, потім генерує криптографічний доказ правильного виконання. Смарт-контракти перевіряють цей стислий доказ ончейн, із навантаженням на перевірку на рівні мілісекунд і фактично незалежним від масштабу початкового обчислення.

Який взаємозв’язок між Pico zkVM і ZK Data Coprocessors?

Pico zkVM виступає glue, ефективно маршрутизуючи дані між копроцесорами, зберігаючи універсальність. ZK Data Coprocessors — найбільш помітні копроцесори на рівні застосунків, отримують історичні та кросчейн-дані офчейн і додають докази правильного обчислення. Разом вони формують повний стек виконання.

Що таке Pico Prism?

Pico Prism, створений на Pico, — система доказу блоку Ethereum у реальному часі. За даними Brevis, вона досягає близько 99,8% охоплення в реальному часі на 16 GPU, відповідаючи апаратній цілі Ethereum Foundation у $100 000. Ініціатива On-Prem Proving Ethereum Foundation (Ethproof) обрала Brevis однією з чотирьох команд у березні 2026 року.