- Pico Prism zkVM — це перша у світі система, яка досягла 99,6% покриття доказів (менше 12 секунд) та 96,8% покриття доказів у реальному часі (менше 10 секунд).
- Завдяки зниженню цін на GPU-обладнання на 50%, яке стало можливим завдяки цьому підвищенню продуктивності, реальний час тепер економічно доцільний для широкого впровадження.
- Комплексна перебудова архітектури, яка переходить від доказування на одній машині до розподілених кластерів з декількома GPU, забезпечує Pico Prism такі прирости продуктивності.
Для блоків основної мережі Ethereum поточного покоління з лімітом газу 45M, Brevis, провідна інфраструктурна компанія, яка забезпечує розумні, перевірювані додатки з використанням zero-knowledge proofs, оголосила, що її Pico Prism zkVM — це перша у світі система, яка досягла 99,6% покриття доказів (менше 12 секунд) та 96,8% покриття доказів у реальному часі (менше 10 секунд).
Щоб відповідати майбутнім вимогам до пропускної здатності Ethereum, Pico Prism перейшла від досліджень до готової до виробництва інфраструктури, яка усуває значну перешкоду в переході мережі до базового рівня zero-knowledge verification. Завдяки зниженню цін на GPU-обладнання на 50%, яке стало можливим завдяки цьому підвищенню продуктивності, реальний час тепер економічно доцільний для широкого впровадження.
У порівнянні з поточними рішеннями, Pico Prism пропонує значні переваги за всіма важливими показниками:
- Покриття для існуючих блоків з 45M газу становить 99,6% (<12с) та 96,8% (<10с), тоді як конкуруючі рішення тестували блоки з 36M газу та отримали покриття 40,9%.
- Вартість обладнання $128K проти $256K.
- Середній час доказування для блоків з 45M газу становив 6,9 секунди; для блоків з 36M газу — 6,04 секунди проти 10,3 секунди.
- Для подібної продуктивності порівнюйте 64 RTX 5090 GPU з 160 RTX 4090 GPU.
- Якщо поєднати вимірювання швидкості та ефективності витрат, продуктивність у 3,4 рази краща.
“Цифри говорять самі за себе,” — сказав Мо Донг, CEO та співзасновник Brevis. “Ми побудували інфраструктуру, яка може впоратися з тим, що Ethereum фактично виробляє сьогодні. Це швидша продуктивність, що веде до економічної ефективності, яка робить доказування в реальному часі життєздатним для виробничого впровадження.”
Комплексна перебудова архітектури, яка переходить від доказування на одній машині до розподілених кластерів з декількома GPU, забезпечує Pico Prism такі прирости продуктивності. Завдяки модульній архітектурі Pico, система розділяє процес доказування на паралельні етапи, переміщаючи обчислювально-інтенсивні завдання на GPU, залишаючи операції налаштування на CPU.
Стрибок для Ethereum
Сьогодні, коли користувач обмінює токени на Uniswap, понад 800 000 валідаторів по всьому світу незалежно повторно виконують транзакцію. Всі вони виконують одні й ті ж обчислення, читають одні й ті ж стани та доходять до одного й того ж висновку. У міру розширення Ethereum, обчислювальні втрати лише погіршуються. Це призводить до основного обмеження масштабування Ethereum: пропускна здатність блоку залишається штучно низькою, оскільки валідаторам потрібне доступне обладнання для обробки запитів на повторне виконання.
Використовуючи криптографічні докази замість обчислень грубою силою, Pico Prism демонструє, що блокчейни можуть масштабувати верифікацію. Один доказувач створює математичний доказ, і всі інші перевіряють його за мілісекунди, усуваючи необхідність для сотень тисяч валідаторів повторювати ті ж самі транзакції.
Можливість zkEVM перевіряти блоки Ethereum у реальному часі є ключовою для масштабованості Ethereum у майбутньому. Ethereum має намір зрештою перейти на ZK-докази на кожному етапі стеку — від onchain-приватності з клієнтським доказуванням до агрегації підписів на рівні консенсусу. Інтеграція L1 zkEVM — це початковий крок у цьому напрямку.
Щоб підтримувати найвищі рівні життєздатності мережі та стійкості до цензури, Ethereum Foundation визначив чіткі цілі у своїй дорожній карті на липень 2025 року: 99% покриття, доказування менше 10 секунд, обладнання дешевше $100K та споживання енергії менше 10kW для домашнього доказування.
З Pico Prism шлях до інтеграції Ethereum L1 zkEVM тепер набагато очевидніший. Brevis намагається впровадити додаткові функції, щоб перевершити оновлену мету доказування в реальному часі менше 10 секунд, хоча залишилося лише 2,2 відсоткових пункти.
Верифікація без обмежень
Обмеження значно зменшуються, коли Pico Prism обробляє верифікацію:
- Безпечно підвищувати ліміти газу понад поточні 45M на блок.
- Середні витрати на транзакції різко знижуються.
- Економічна доцільність складних DeFi-операцій.
- Смарт-контракти можуть отримувати доступ до історичних даних без надмірних витрат на газ.
- Можливо впроваджувати заходи для збереження приватності без перевищення бюджетів користувачів.
Щодо здоров'я мережі та валідаторів:
- Замість ігрових комп'ютерів домашні стейкери можуть верифікувати, використовуючи прості ноутбуки.
- У міру зниження бар'єрів для участі децентралізація мережі зростає.
- Без централізації обладнання пропускна здатність транзакцій різко зростає.
Тепер розробники можуть створювати dApps з таким же рівнем впевненості, як і Ethereum L1, використовуючи необмежену кількість обчислювальних ресурсів поза ланцюгом. Те, яким може стати Ethereum найближчим часом, коли обмеження на обчислення будуть зняті, вже відчувають основні протоколи, що працюють на інфраструктурі Brevis. Та ж технологія доказування забезпечує кросчейн-верифікаційні системи Frax, бездовірчий розподіл винагород Usual та складні торгові хуки PancakeSwap.
Існуючі блокчейни смарт-контрактів тепер можуть обробляти необмежену обчислювальну потужність завдяки Brevis — ефективному та перевірюваному рушію обчислень поза ланцюгом. Brevis використовує zero-knowledge proofs для перенесення дорогих, інтенсивних до обробки даних обчислень з on-chain-контекстів на значно дешевший off-chain-рушій. Це дозволяє Web3-додаткам зростати без перерв, зберігаючи безпеку припущень довіри L1.