Обсуждение криптографии в блокчейне
В социальной сети X продолжается обсуждение криптографии на основе решеток и хешей в дизайне блокчейна, в котором участвуют соучредитель Zcash Эли Бен Сассон, соучредитель Ethereum Виталик Бутерин и юрист Delphi Labs Габриэль Шапиро. Разговор начался с поста a16z crypto, который выступил за использование решеток.
Позиция a16z crypto
В своем материале a16z crypto объяснил свою позицию, утверждая, что запланированный дизайн агрегации подписей, основанный только на хешах в Ethereum, зависит от рекурсии SNARK, что влечет за собой накладные расходы на координацию, повышает вероятность ошибок и создает неопределенные риски безопасности, связанные с этим подходом.
Мнение Эли Бен Сассона
В ответ на пост a16z crypto Эли Бен Сассон решительно не согласился, отметив, что решетки обладают привлекательной математической структурой, которая устойчива к атакам со стороны ИИ. Согласно a16z crypto, полагаться исключительно на криптографию на основе хешей может показаться более безопасным, но такие дизайны могут привести к созданию более хрупких систем.
Мнение Габриэля Шапиро
«Я считаю, что подход Ethereum остается лучшим вариантом для Ethereum,»
не согласившись с мнением a16z crypto. Дорожная карта Lean consensus Ethereum включает полную замену подписей BLS на подписи на основе хешей (некую вариацию Winternitz) и использование STARK для агрегации. Шапиро предложил использовать криптографию на основе решеток для аккаунтов и кошельков через предварительную компиляцию, если она будет доказана как безопасная для ИИ, добавив, что криптография на основе хешей позволяет Ethereum двигаться на полной скорости.
Мнение Виталик Бутерина
«Мы все еще можем в конечном итоге использовать решеточные методы для аккаунтов и кошельков через предварительную компиляцию, если это будет доказано как безопасное для ИИ.»
«Идеальный путь для поддержки криптографии всех участников, на мой взгляд, проходит через 8288. Вы создаете любую подпись локально, затем STARK, и затем она включается через машину-агрегатор STARK. Не нужно никаких calldata в сети. Ethereum тогда никогда не сможет добавить новую предварительную компиляцию,» добавил Бутерин.
Ответ Эли Бен Сассона
«Согласен, это правильный путь для Ethereum.»
Проблемы с BLS подписями
Помимо Bitcoin, большинство крупных блокчейнов используют proof of stake, что позволяет валидаторам голосовать за каждый блок, подписывая его. Большие наборы валидаторов становятся практичными благодаря агрегации подписей. Ethereum использует подписи BLS, которые имеют алгебраическую структуру, позволяющую объединять десятки тысяч подписей валидаторов за слот в один элемент группы. Однако, несмотря на полезность BLS, они не являются постквантовыми, поскольку ни одна известная постквантовая схема подписей не агрегирует таким образом.
Дорожная карта квантовой устойчивости
Объясняя дорожную карту квантовой устойчивости в начале этого года, Бутерин упомянул решение в виде рекурсивных подписей на уровне протокола и агрегации доказательств. Он говорил о добавлении нативной абстракции аккаунтов через EIP-8141, которая предоставляет абстракцию для валидации транзакций, выполнения и оплаты газа, чтобы аккаунты первого класса могли использовать любой алгоритм подписи.
