В настоящее время одной из основных проблем отрасли является ее врожденное ограничение вычислительных мощностей. Чтобы обеспечить децентрализацию и безопасность, все узлы сети должны повторно выполнять одни и те же вычисления, что приводит к высоким затратам и низкой эффективности.

—————————————————————————

Для решения этой проблемы @brevis_zk позиционирует себя как уровень бесконечных вычислений, стремясь предоставить вычислительную мощность с помощью метода проверяемых вычислений «вычисления вне цепи, проверка на цепи», одновременно сохраняя свою безопасность без доверия.

Ядром Brevis является "проверяемые вычисления", которые декомпозируют процесс вычисления и процесс проверки. Трудоемкие вычислительные задачи выполняются вне цепи и генерируют компактное ZK-доказательство, в то время как смарт-контракты на цепи могут проверять правильность этого доказательства с крайне низкими затратами, не повторяя весь вычислительный процесс.

В процессе реализации Brevis в основном использовал уникальную гибридную архитектуру, включающую два основных модуля: Pico zkVM и zkCoprocessor.

Pico zkVM (универсальная нулевая виртуальная машина)

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

zkCoprocessor (ZK данные сопроцессор)

Специальный сопроцессор, созданный для сценариев данных блокчейна. Смарт-контракты сами по себе не могут напрямую получать доступ или вычислять историческое состояние. zkCoprocessor считывает и агрегирует исторические данные (такие как транзакции пользователей, балансы, позиции и т.д.) вне цепочки и генерирует доказательства, чтобы подтвердить подлинность этих данных.

Архитектура "Универсальная zkVM + Специальный сопроцессор", сочетая гибкость и высокую производительность, позволяет @brevis_zk эффективно обрабатывать различные задачи от анализа данных DeFi до проверки сложных алгоритмов.

С ростом производительности Pico zkVM и постоянным расширением сценариев применения zkCoprocessor, Brevis находится на пути от масштабируемости к проверяемости.