Вони перетворили «нульові знання» на універсальний ключ, стверджуючи, що можуть відкрити всі замки у блокчейні, але не здогадувались, що ключ стає все більшим, а отвір все меншим — універсальний, чи все ж важкий?

Але практика довела, що така концепція "великого і всього" часто призводить до неефективності та труднощів з масштабуванням. Тому виникає новий напрямок — модульний zkVM. А Pico v1.0, представлений Brevis @brevis_zk, є яскравим прикладом цієї тенденції.
Простими словами, Pico не є "універсальною машиною", а є набором "збірної майстерні".
Він розділяє zkVM на кілька незалежних модулів, дозволяючи розробникам, як у конструкторі, вільно обирати необхідні функції та відкидати непотрібні частини.

➤Основна ідея Pico: розділити zkVM і зробити його заново
Дизайнерська філософія Pico дуже проста — «усе може бути модульним».
Вона головним чином поділяється на три рівні структури:

1) Виконавчий модуль: підтримує різні системи доказів, такі як STARK, SNARK або їх комбінацію. Розробники можуть вільно перемикатися залежно від вимог до продуктивності та безпеки.

2) Модуль контекстного середовища: визначає структуру даних, управління станом та логіку взаємодії з у блокчейні. Служить «мозком» системи, що визначає, як вона спілкується з зовнішнім світом.

3) Розширення плагінного рівня: підтримка розробників для налаштування операторів або підключення спеціальних протоколів, наприклад, для прискорення ігрової логіки, обчислень AI або підтвердження даних поза блокчейном.
Наприклад, DEX може потребувати лише модуля доказу оновлення стану та обчислення цін, тоді як ігри на блокчейні більше зосереджуються на ефективності паралельного виконання та підтримці складної логіки.

➤Інші шляхи розвитку порівняно з основними zkVM
Наразі на ринку відомі zkVM, кожен з яких має свої переваги та недоліки:
Risc Zero: оснований на загальній архітектурі ЦП, має високу сумісність, але система велика і повільно запускається.

SP1 (Succinct): дизайн надзвичайно простий, підходить для рекурсивних доказів, але недостатньо гнучкий.

ZKWasm: повторне використання екосистеми WebAssembly, повнофункціональний, але з високими витратами на навчання та великим споживанням ресурсів.

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

➤ Реальна цінність модульності

Універсальний zkVM звучить потужно, але на практиці часто гальмує темп.
Тому що це потребує довшого періоду адаптації, більш складного розгортання та більше обчислювальних ресурсів.
А такі модульні zkVM, як Pico, надають помітні переваги на трьох рівнях:
>>Більш контрольовані витрати: розробники використовують модулі за потребою, економлячи обчислювальні та ресурси для розгортання.
>>Розробка більш швидка: не потрібно перебудовувати всю систему доказів, за кілька днів можна зібрати працююче середовище.
>> Підтримка стала простішою: модулі можна оновлювати або замінювати окремо, що запобігає системним збоям.
>> Екосистема більш відкрита: модульна структура полегшує інтеграцію зовнішніх протоколів, обчислень поза блокчейном або AI модулів.
Це особливо зручно для DApp, які потребують швидкої перевірки даних поза блокчейном. Наприклад, у блокчейні верифікація особистості, крос-ланцюгові розрахунки, результати AI-інференції, Pico може надати легку та кастомізовану підтримку доказів.

➤Від "малих компонентів" до "нової парадигми"
Не дивіться на Pico лише як на "малий компонент" у світі ZK, його значення насправді велике.
Вона перетворює zkVM з «закритого чорного ящика» на «відкриті блоки», що дає змогу розробникам справді взяти ініціативу в свої руки.
Майбутнє zk середовище виконання не повинно бути великим і універсальним, а має надавати саме ту обчислювальну потужність, яка потрібна для кожного типу застосунку.
@brevis_zk Pico перетворює це на реальність.
Після ери універсальних zkVM, можливо, модульний zkVM є справжньою зрілою формою технології ZK.
Вона не прагне охопити все, лише прагне, щоб кожен додаток міг мати найбільш підходящий обчислювальний двигун.

Це, власне, філософія дизайну, яка стоїть за Pico:
Дайте складному стати збиральним, щоб нульові знання справді стали практичними.
#Brevis #KAITO

@brevis_zk

@KaitoAI