На дне eth_proofs @drakefjustin в реальном времени проверил доказательства Pico ZKVM от @brevis_zk с помощью клиента zklighthouse — без необходимости повторного выполнения транзакций можно сразу финализировать блок, и он воскликнул, что эпоха Gigagas ETH приближается. Без сомнения, Brevis снова получил одобрение фонда Ethereum. Так что же на самом деле замышляет Brevis? Я просмотрел их недавно выпущенный белый документ ProverNet и демонстрацию, и действительно заметил, что это отличается от других zk-решений: 1) В общем случае рынок ZK-доказательств следует модели единого поставщика, но Brevis обнаружил неловкую проблему в производственной среде: например, процесс оффлайн-возврата @Uniswap требует прозрачного решения от ZK, VIP-тариф @PancakeSwap должен обеспечивать проверку доказательства на уровне долей секунды перед каждой транзакцией, а @eulerfinance требует определенного времени для пакетной обработки более 100 000 адресов для распределения стимулов, что также накладывает требования к пропускной способности. Согласно нормальной логике, различные сценарии потребностей требуют совершенно разных аппаратных конфигураций, спецификаций системы доказательства и направлений оптимизации. Если это единственный поставщик, он либо может глубоко оптимизировать временные потребности, либо предложить общее решение, которое не удовлетворяет специфическим требованиям. Таким образом, очевидно, что трудно удовлетворить сложные и разнообразные потребности в узкоспециализированных сценариях; 2) Решение ProverNet, которое хочет реализовать Brevis, очень простое: создать двусторонний рынок, где стороны приложений выставляют свои требования, а профессиональные провайдеры (Prover) делают ставки на выполнение заказов, то есть механизм TODA (реальная двойная аукционная система). Такое "рыночное" решение естественно может одновременно обрабатывать множество различных типов доказательств, позволяя сторонам приложений с узкоспециализированными требованиями получить наиболее профессионального провайдера для специализированного обслуживания. На самом деле можно пойти еще дальше: если задача сложная, разные провайдеры могут разделить задачу для сотрудничества, например, одно доказательство zkVM может быть разделено на A для разбиения, B для сжатия, C для агрегации и D для окончательной упаковки. В общем, профессиональное разделение труда и дробление задач позволяют справляться с более разнообразными рыночными требованиями. В общем. Логика на самом деле очень проста: это переход от мышления "продавать лопаты" к созданию "рынка", от чисто централизованной системы обслуживания поставщиков к децентрализованному Marketplace. Эпоха Gigagas ETH требует не просто единственного инструмента, а инфраструктуры, способной координировать всех провайдеров в сети.