Стремительный прогресс искусственного интеллекта в математических рассуждениях встревожил сообщество цифровых активов — и фокус тревоги уже, чем можно предположить по заголовкам: речь идет о задаче дискретного логарифмирования на эллиптических кривых (ECDLP), математической головоломке, обеспечивающей безопасность подписей Bitcoin (BTC) и Ethereum.

Проблема в центре дискуссии

Bitcoin и Ethereum основывают безопасность транзакций на эллиптической криптографии, в частности на кривой secp256k1. Закрытый ключ каждого кошелька преобразуется в открытый путем умножения на эллиптической кривой — операции, которую легко выполнить в одном направлении, но практически невозможно обратить с помощью современных классических компьютеров. Восстановление закрытого ключа из открытого означало бы решение ECDLP — предположения о вычислительной сложности, лежащего в основе алгоритма цифровой подписи на эллиптических кривых (ECDSA), который используется для авторизации перемещения средств в обеих сетях.

Эффективный метод решения ECDLP в принципе позволил бы злоумышленнику вычислять закрытые ключи из общедоступных открытых ключей и подделывать валидные транзакционные подписи. На практике Bitcoin обеспечивает частичную защиту: многие открытые ключи остаются скрытыми за адресами на основе хешей, пока связанные с ними монеты не потрачены. Модель аккаунтов Ethereum раскрывает открытый ключ, как только с адреса отправлена транзакция, поэтому исследователи протоколов пристально следят за любыми разработками, затрагивающими предположения ECDLP.

Наиболее часто упоминаемая долгосрочная теоретическая угроза для схем на эллиптических кривых исходит не от классических вычислений, а от квантовых машин, выполняющих алгоритм Шора, который в принципе мог бы эффективно решать дискретные логарифмы. Сегодня не существует квантового компьютера, способного угрожать secp256k1, и ECDLP не решена ни одним известным практическим методом.

ИИ-ракурс

По данным COINOTAG, текущая дискуссия сосредоточена на корпусе из 722 научных работ по математике, связанных с OpenAI, а комментарии задаются вопросом, может ли ускоряющийся прогресс отрасли в области машинных рассуждений со временем пересечься с предположениями, защищающими ончейн-подписи. Как следует из цитируемого фрагмента, отчет отражает повышенное внимание сообщества цифровых активов к достижениям на переднем крае математики на базе ИИ, а не продемонстрированное решение ECDLP.

Вопросы, связанные с ИИ, добавляютую линию анализа того же предположения о вычислительной сложности — наряду с уже знакомым исследователям протоколов квантовым сценарием. Эти две угрозы различаются по своему характеру: алгоритм Шора — это конкретный, именованный метод, который ни одна существующая машина не способна выполнить в масштабе, необходимом для угрозы secp256k1, тогда как дискуссия об ИИ — открытый вопрос о том, куда могут привести машинные рассуждения, — без какой-либо продемонстрированной техники против ECDLP.

Для читателей это различие служит практическим ориентиром: картину изменит лишь конкретный, проверяемый прогресс в решении самой ECDLP, а не комментарии о гипотетических пересечениях. Поскольку такого результата нет и известного практического метода решения задачи не существует, дискуссия остается предметом наблюдения на переднем крае математики на базе ИИ, а не изменением предположений, которые в настоящее время защищают транзакции Bitcoin и Ethereum.

Этот материал впервые опубликован на COINOTAG: 722 научных работ OpenAI по математике поставили под вопрос безопасность подписей Bitcoin (BTC). Полная статья доступна на COINOTAG: 722 научных работ OpenAI по математике поставили под вопрос безопасност — полная версия.