У eth_proofs день @drakefjustin використав клієнт zklighthouse, щоб одразу перевірити доказ @brevis_zk Pico ZKVM — безпосередньо завершивши блоки без повторного виконання транзакцій, і вигукнув, що наближається епоха Gigagas ETH. Без сумніву, Бревіс знову був особисто обраний Ethereum Foundation. То в яку гру грає Бревіс? Переглянувши їхній останній білий документ ProverNet і додавши демонстрацію, я з'ясував, що він справді відрізняється від інших рішень ZK: 1) Загалом, ринок ZK proof працює за моделлю одного постачальника, але Brevis виявив незручну проблему у виробничому середовищі: наприклад, процес повернення поза ланцюгом @Uniswap вимагає від ZK прозорого розв'язання, ставка VIP @PancakeSwap вимагає перевірки доказів за секунду перед кожною транзакцією, а @eulerfinance потребує певного часу для пакетного розподілу стимулів для адрес понад 10 Вт, що вимагає пропускної здатності. Згідно з нормальною логікою, кілька різних сценаріїв попиту мають абсолютно різні апаратні конфігурації, специфікації системи доказування та напрямки оптимізації. Якщо це один постачальник, він може або робити лише глибоку оптимізацію сценаріїв для тимчасових потреб, або надати лише загальний план. Таким чином, очевидно, важко задовольнити диференційовані потреби складних вертикальних сценаріїв; 2) Рішення ProverNet, яке хоче реалізувати Бревіс, дуже просте: побудувати двосторонній ринок, додаткова сторона підвищує попит, а професійний Prover робить ставки та отримує замовлення, тобто механізм TODA (Real Reproduction Double Auction). Таке «орієнтоване на ринок» рішення може природно працювати з кількома гетерогенними типами доказів одночасно, щоб застосунки, що відповідають потребам розділених сценаріїв, могли отримати найпрофесійніший і найякісніший Prover для спеціальних аналогічних послуг. Наприклад, доказ zkVM може складатися з A для фрагментування, B для стиснення, C для агрегації та D для фінальної інкапсуляції. Коротко кажучи, професійний розподіл праці та відгалуження для задоволення більш різноманітних ринкових потреб. Вище. Насправді логіка дуже проста: від уявлення про «продаж лопат» у минулому до побудови «ринку», і чисто централізована система обслуговування постачальників у минулому перетворилася на децентралізований ринок. У так звану епоху Gigagas ETH потрібен не один інструментальний сервіс, а інфраструктура, яка може планувати всю мережу перевірювачів.