У Ethereum есть лимит газа. Но можем ли мы математически доказать максимальный объем вычислительной работы, необходимый для проверки любого допустимого блока? Удивительно, но у нас пока нет сертифицированной конечной верхней границы для полной модели вызова. Эту проблему решают @yukonresearch, @zksecurityXYZ и @Veritylab с помощью https://t.co/w9Ti86Tqsj. Сегодня валидаторы Ethereum независимо выполняют транзакции для проверки блоков. По мере перехода Ethereum к валидации на основе zkEVM задача расширяется за пределы корректного выполнения транзакций. Нам также необходимо понять вычислительную стоимость в худшем случае. Почему это важно? Блок Ethereum может быть допустимым, но при этом требовать необычно дорогостоящих вычислений. Если стоимость доказательства станет непредсказуемой, реальное время ZK-доказательства может стать узким местом для масштабирования Ethereum. https://t.co/w9Ti86Tqsj запускает открытый конкурс для установления математически подтвержденных верхних границ вычислительной нагрузки при проверке блоков. Последствия значительны: → Более предсказуемые вычислительные и доказательные нагрузки. → Более прочная основа для реального времени ZK-доказательств. → Большая уверенность в повышении лимитов газа Ethereum. → Путь к валидации на более доступном оборудовании. Конечно, ограничение количества шагов выполнения не гарантирует автоматически быстрые ZK-доказательства. Но это важная основа. Следующий вызов масштабирования Ethereum — это не просто ускорение выполнения. Это обеспечение предсказуемости и доказуемости вычислительной стоимости в худшем случае. И по мере того как Ethereum-ролаппы, такие как @puffer_unifi, стремятся к снижению задержек и синхронной композиционности, такие исследования становятся все более актуальными. https://t.co/SwPS2w3ic1