Pico 3.1 уже доступна. Доказательство Ethereum в реальном времени по-прежнему выполняется на одной машине с 4 GPU, а теперь ещё и:
✅ криптостойкость на уровне 128 бит ✅ итоговые доказательства размером не более 300 КБ ✅ полностью открытый исходный код для CPU и GPU под лицензиями MIT и Apache 2.0
Уровень безопасности и размер доказательства соответствуют целевым показателям Ethereum Foundation на конец 2026 года. И система стала немного быстрее: для 99% блоков доказательство создаётся за 8,73 с или меньше (Pico 3.0: 9,10 с).
Знакомьтесь: Arca — превратите потраченные впустую усилия в доход.
Все сеансы с ИИ, которые вы выбросили, всё ещё хранятся на вашем диске. Arca считывает сеансы, которые уже сохраняют ваши ИИ-инструменты. Вы сами выбираете, какие загрузить, и ничего не покидает ваше устройство без вашего разрешения.
Сначала удаляются конфиденциальные данные, затем вы получаете предложение. За одобренные сеансы еженедельно выплачивают вознаграждение в USDC.
Код, контракты, исследования — засчитывается любая реальная работа.
Создано Brevis ($BREV ) на основе верифицируемых вычислений. Ранний доступ только по приглашениям открывается сегодня:
Когда мы запустили Pico Prism в октябре 2025 года, чтобы доказывать блоки Ethereum в реальном времени, понадобилось 64 GPU на восьми серверах.
К Pico 2.0 мы сократили это до 16 GPU на двух машинах.
Сегодня Pico 3.0 делает это на одной машине с 4 GPU — на совершенно новом вычислительном ядре для доказательств, с 100 битами доказуемой безопасности. Это в 16 раз меньше GPU за год, при этом по-прежнему доказывая 99% блоков основной сети Ethereum менее чем за 10 секунд.⭐
Мы последовательно работаем над целями Ethereum Foundation по доказательствам в реальном времени, и каждый релиз продвигает нас дальше — за те, которые мы уже преодолели.
Pico 3.0: Проверка Ethereum в реальном времени на 4 GPU с 100-битной доказуемой безопасностью
Коротко: Pico 3.0 снижает проверку Ethereum в реальном времени до одного компьютера — достаточно всего 4 GPU. На тех же 7 200 блоках mainnet, которые мы использовали для Pico Prism 2.1, он доказывает 99% из них за 9,10 секунды — против 9,14 секунды у версии 2.1 на 16 GPU. Он работает на совершенно новом вычислительном ядре для доказательств и по ходу достигает 100 бит доказуемой безопасности. Четыре GPU, одна машина Когда мы запустили Pico Prism в октябре 2025 года, доказательство Ethereum в реальном времени требовало 64 GPU на восьми серверах. К февралю мы довели это до 16 GPU на двух машинах — так устроены и Pico Prism 2.0, и 2.1. Pico 3.0 делает это на одной машине с 4 GPU — это шестнадцатая часть того, с чего мы начинали.
Мы создали ИИ-агента 🤖, который оптимизирует код полностью самостоятельно, и направили его на одну из самых сложных целей по производительности, которые у нас есть: Pico, наш zkVM.
AutoEng выполняет полный цикл инженерии производительности без участия человека. Он профилирует работающий prover, выбирает наиболее ценный узкий участок, пишет предлагаемую оптимизацию и сохраняет её только в том случае, если измерения доказывают, что изменение одновременно корректно и быстрее. Никто не утверждает ни одного шага.
Итог: при реальном доказательстве блоков в Ethereum система, уже настроенная годами экспертной работы и работающая в реальном времени, AutoEng обнаружила стабильное ускорение порядка ~11% end-to-end за менее чем три дня автономного выполнения. Для контекста: на этом рубеже специалист может потратить две-три недели, чтобы получить лишь половину процента.
Доверие обеспечивается просто: модель может предлагать, но никогда не «судит». Корректность проверяется байт-в-байт, а скорость определяется детерминированными бенчмарками, поэтому она не может «убедить себя» в плохом результате.
И цикл не был привязан к Pico. Тот же агент, управляемый измерениями, соревновался и на внешних бенчмарках: ненадолго достиг #1 в задаче ecdsa.fail по квантовым схемам (обойдя вступление Google) и занял топ-20 в GPU MODE, примерно в ~2,4 раза быстрее, чем MAGMA.
Большинство историй про «ИИ пишет код» останавливаются на генерации и оставляют человеку проверку результата. AutoEng автоматизирует и «судейство» тоже — и получает каждое ускорение, о котором заявляет. Небольшой, но реальный взгляд на автономную инженериию производительности.
Полный разбор: https://blog.brevis.network/2026/07/06/autoeng-the-ai-agent-that-autonomously-made-state-of-the-art-code-11-faster/
Brevis_ZK
·
--
AutoEng: ИИ-агент, который автономно ускорил код уровня state-of-the-art на 11%
TL;DR. AutoEng — автономный агент, который оптимизирует код и сохраняет только те ускорения, которые может доказать. Мы направили его на Pico, наш zkVM, по всему его коду для GPU и CPU. Без участия человека он нашёл ускорение порядка ~11% end-to-end при реальном доказательстве блока в Ethereum на системе, уже являвшейся на уровне лучших достижений, всего за менее чем три дня автономного выполнения. Как это работает: AutoEng профилирует работающий «провер» (prover), чтобы определить, куда именно уходит время, нацеливается на самый ценный узкий момент (bottleneck) и генерирует кандидатную оптимизацию, которую сохраняет только если изменение доказуемо корректно и доказуемо быстрее.
AutoEng: ИИ-агент, который автономно ускорил код уровня state-of-the-art на 11%
TL;DR. AutoEng — автономный агент, который оптимизирует код и сохраняет только те ускорения, которые может доказать. Мы направили его на Pico, наш zkVM, по всему его коду для GPU и CPU. Без участия человека он нашёл ускорение порядка ~11% end-to-end при реальном доказательстве блока в Ethereum на системе, уже являвшейся на уровне лучших достижений, всего за менее чем три дня автономного выполнения. Как это работает: AutoEng профилирует работающий «провер» (prover), чтобы определить, куда именно уходит время, нацеливается на самый ценный узкий момент (bottleneck) и генерирует кандидатную оптимизацию, которую сохраняет только если изменение доказуемо корректно и доказуемо быстрее.
Кратко Brevis Vera теперь доступен для всех, чтобы использовать его от начала до конца на vera.brevis.network. Захватите изображение на любой камере или телефоне с поддержкой C2PA, загрузите его в Vera, примените редактирования, которые криптографически подтверждаются как легитимные, и скачайте файл доказательства, который любой в мире может проверить в своем браузере. Vera вводит нулевые доказательства как новую примитиву в стеке C2PA, разработанную для сохранения конфиденциальности как исходных медиа, так и процесса редактирования на протяжении всей цепочки доверия. От концептуальной демонстрации до рабоч工具
Pico Prism 2.0: Увеличение эффективности в 5.3x в реальном времени при подтверждении Ethereum
Кратко: Pico Prism 2.0 подтверждает блоки Ethereum mainnet в среднем за 6.1 секунды при текущем лимите газа в 60M, с 99.9% блоков, завершающихся в течение 12-секундного слота. Полная установка работает на 16 RTX 5090 GPU на двух машинах с общими затратами на оборудование около $100K. В сравнении с Pico Prism 1.0 на том же базовом уровне газа в 60M, новая система демонстрирует ~5.3x большую эффективность подтверждения на блок. В феврале мы предварительно представили переход Pico Prism на установку из 16 GPU на двух машинах, с ранними результатами по тем же блокам с эталоном газа в 45M, которые тестировала Pico Prism 1.0.
Для нас было честью совместно проводить встречу BASE Meetup x Pancake House с @PancakeSwap и @Base вчера.
В своем ключевом выступлении Майкл объяснил, почему следующая эпоха блокчейн-приложений будет построена на внешних проверяемых вычислениях и поделился тем, как Pico zkVM и ProverNet уже управляют рабочими нагрузками в DEX, RWAs и инфраструктуре конфиденциальности.
Огромное количество участников на @BNBCHAIN Super Meetup в Гонконге прошлой ночью 🎇
Наш CEO Майкл модерировал резкую панель RWA x Privacy с @OndoFinance, @StableStock, @UTechStables и CMBI, разобравшись в том, что действительно нужно для построения инфраструктурного слоя для институционального Web3.
Спасибо команде BNB Chain за то, что пригласили нас.
Brevis и Camp Network: Проверяемая ИС для эпохи ИИ
TL;DR: Brevis ($BREV ) сотрудничает с Camp Network, блокчейном первого уровня, ориентированным на интеллектуальную собственность, чтобы внедрить верификацию с нулевым знанием для лицензирования интеллектуальной собственности, распределения роялти и подтверждения права собственности. Сотрудничество решает три основные проблемы, которые ИИ создал для экономики ИС: доказательство права собственности без раскрытия конфиденциальной информации, вычисление сложных распределений роялти в масштабах и обеспечение конфиденциального лицензирования для ценного творческого контента. Camp предоставляет инфраструктуру ИС, включая регистрацию, лицензирование, атрибуцию ремиксов и механизмы роялти. Brevis предоставляет уровень доверия ZK для аутентичности данных, вычислений вне цепи и конфиденциальности.
Несколько снимков 📸 нашего CSO Алана, представляющего Pico Prism 2.0 на @eth_proofs BEAST MODE в Каннах.
⭐️Основные моменты: новая архитектура рабочего координатора, которая сокращает требования к GPU с 64 до 16, переписанный код GPU с расширенной поддержкой RISC-V 64IM и на 33% больше рабочей нагрузки за то же время доказательства.
Скоро будет открытый исходный код. Больше результатов в пути.