Исследователь Ethereum Джастин Дрейк заявил 13 августа, что Фонд Ethereum отказывается от Poseidon в будущих проектах первого уровня (L1) и переходит на хеши SHA или BLAKE после восьми лет работы над специализированной, удобной для доказательств криптографией.
Дрейк не сообщил о взломе Poseidon и не издавал приказа о миграции, отметив, что недавние достижения в системах доказательств изменили компромисс производительности, который ранее благоприятствовал этому хешу.
SNARK создают компактные доказательства того, что вычисления были выполнены корректно. Многие из них используют арифметику над большими простыми полями, где побитовые операции, лежащие в основе традиционных хешей, таких как SHA-256 и Keccak, исторически влекли за собой высокую стоимость доказательства. Poseidon был разработан для снижения этой стоимости за счет использования предпочтительной математики системы доказательств.
Доказательства в двоичных полях повышают пропускную способность хеширования
Исследование Binius — конструкция на основе двоичных полей естественным образом работает с 0 и 1, что тесно соответствует побитовым операциям Keccak. Статья Flock, опубликованная 29 июля, применяет новые методы к большим пакетам стандартных хеш-вычислений.
Авторы Flock сообщают, что одно ядро M4 Max может доказывать около 82 000 сжатий BLAKE3, 42 000 сжатий SHA-256 и 30 000 перестановок Keccak в секунду. Десять ядер превысили 660 000 сжатий BLAKE3 в секунду, а доказательство SHA-256 выполнялось более чем в девять раз быстрее, чем Binius64, согласно сравнению в статье.
Эталонный тест proof-of-concept подсчитывает внутренние хеш-операции, в то время как пропускная способность транзакций Ethereum и производственная пропускная способность используют другие измерения.
Дрейк описал это достижение как разворот в криптографическом дизайне: исследователи создали SNARK, удобные для хешей, что снижает потребность в хешах, удобных для SNARK. Традиционные хеши могут войти в процесс проектирования Ethereum, не неся прежнего штрафа за доказательство.
SHA-256 является частью Стандарта безопасного хеширования NIST. BLAKE2 имеет публичную информационную спецификацию с 2015 года, что отличает его от более новой реализации BLAKE3, протестированной Flock.
Годы публичного анализа дают криптоаналитикам больше времени для тестирования его дизайна, а более быстрые доказательства теперь позволяют Ethereum учитывать эту историю, не выбирая более молодой примитив в основном из-за скорости доказательства.
Дорожная карта безопасности Ethereum отдельно определяет упрощение протокола как способ уменьшить поверхность атаки сети.
Ethereum планирует заменить подписи валидаторов BLS на хеш-ориентированные подписи leanXMSS, а затем использовать leanVM для агрегации их гораздо больших данных в компактные доказательства. Дешевые доказательства традиционных хешей устранили бы одно из препятствий для этой архитектуры.
Личная карта Дрейка оценивает появление production-grade leanVM примерно в 2027 году, а развертывание на уровнях консенсуса, данных и исполнения — в 2028 году. Официальная постквантовая дорожная карта Ethereum устанавливает необязательную цель около 2029 года для основной инфраструктуры и продлевает полную миграцию уровня исполнения за пределы этой точки.
Дорожная карта Ethereum сообщает пользователям пока не менять свои кошельки, в то время как объявление Дрейка не требует никаких изменений в существующих rollup или zkVM и не описывает развернутый форк. Решение касается того, какие хеш-основы Ethereum может использовать в будущем L1, управляемом доказательствами.
Всегда имейте в виду, что редакции могут придерживаться предвзятых взглядов в освещении новостей.
Автор – Gino Matos
