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

Но практика показывает, что такой подход «большого и всеобъемлющего» часто приводит к неэффективности и проблемам с масштабируемостью. Таким образом, возникает новое направление — модульный zkVM. А Pico v1.0, выпущенный Brevis @brevis_zk, как раз и является представителем этой тенденции.
Проще говоря, Pico не является "универсальной машиной", а представляет собой "мастерскую для сборки".
Он разбивает zkVM на несколько независимых модулей, позволяя разработчикам, как будто собирая кубики, свободно выбирать необходимые функции и убирать ненужные части.

➤Основная идея Pico: разобрать и переделать zkVM
Дизайнерская философия Pico очень проста — "всё можно модульно".
Она в основном делится на три уровня структуры:

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

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

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

➤Отличие от основных направлений zkVM
В настоящее время у распространенных zkVM на рынке есть свои плюсы и минусы:
Risc Zero: основанная на универсальной архитектуре CPU, обладающая высокой совместимостью, но имеет громоздкую систему и медленный запуск.

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

ZKWasm: повторное использование экосистемы WebAssembly, полнофункциональный, но с высокой стоимостью обучения и большими затратами ресурсов.

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

➤ Реальная ценность, приносимая модульностью

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

➤От "малых компонентов" до "новой парадигмы"
Не смотрите на то, что Pico всего лишь "маленький компонент" в мире ZK, его значение на самом деле велико.
Это позволяет zkVM перейти от «закрытого черного ящика» к «открытым блокам», давая разработчикам реальную власть.
Будущее среды исполнения zk не требует огромных и универсальных решений, а должно предоставлять ровно столько вычислительных мощностей, сколько необходимо для каждого типа приложений.
Pico от @brevis_zk превращает это в реальность.
После эпохи универсальной zkVM, возможно, модульная zkVM является истинной зрелой формой технологии ZK.
Она не стремится охватить всё, а лишь хочет, чтобы каждое приложение имело наиболее подходящий вычислительный движок.

Это философия дизайна, стоящая за Pico:
Сделайте сложное простым, чтобы оно стало модульным, и пусть нулевые знания действительно станут практичными.
#Brevis #KAITO

@brevis_zk

@KaitoAI