Уязвимость протокола может парализовать систему Bitcoin

Уязвимость протокола может парализовать систему Bitcoin

Ученые говорят, что они обнаружили фундаментальную уязвимость в электронной валюте Bitcoin, которая могла, в конечном счете, остановить ее развитие, если бы разработчики изменили принцип поощрения пользователей.



Децентрализованная система Bitcoin использует криптографию с открытым ключом и пиринговую сеть для регистрации полноправного владельца электронной валюты. Когда, к примеру, Алиса платит Бобу 50 монет, она вводит платежный пароль и передает детали сделки на другие точки. Затем другие участники получают небольшую плату за проверку платежа, которая производится с помощью обращения хеша, сгенерированного транзакционной записью, сообщает xakep.ru.

С ростом валюты схема, позволяющая создавать деньги из ничего, закончится и процессом проверки других транзакций займутся одиночных узлы Bitcoin. Здесь-то и находится уязвимость, которая могла стать камнем преткновения. Если поощрять каждого участника только за проверку предложенной транзакции, они не захотят передавать транзакции другим. Вместо этого, они будут держать в секрете все проведенные сделки, чтобы не делиться деньгами с другими.

"Последствия такого поведения могут быть разрушительными", - написали в своем докладе исследователь. "Если каждая транзакция будет происходить на одной точке, процесс авторизации займет очень долгое время".

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

Система также не подтверждает транзакцию, если большинство ЦП сети не подтвердили ее, а не большинство контрольных нодов. Это предотвращает атаки типа "Sybil", в которых для разрушения базовых систем используются ложные идентификационные данные.

"Это проблема другого порядка", - сказал Дорзински, ученый Университета Корнелла. "Боюсь, что большинство ЦП могут и не знать о транзакции".

В докладе предлагается измененная схема поощрений, с помощью которой все участники процесса проведения транзакции получают плату за ее проверку. Контрольные точки будут составлять единую цепь, участвующую в проведении каждой транзакции. Если какой-либо участник выходит из этого процесса, все остальные участники получат меньшее вознаграждение. Для предотвращения атак типа Sybil, в которых каждый участник передает одну и ту же транзакцию несколько раз, предлагается отменить поощрения когда число связей в цепочке достигает определенного предела.

Помимо Добзински над докладом работали ученый Университета Корнелла Сигал Орег и исследователи Microsoft Мош Бабайофф и Авив Зохар. Они сравнили свое решение с Конкурсом DARPA 2009 года, в котором участникам необходимо было найти 10 красных воздушных шаров, расположенных в разных частях Соединенных Штатов. В итоге команда из Технологического Института Массачусетс потратила 40 000 долларов, используя систему вознаграждений всех участников, которые помогали им в соревновании.

Тот, кто находил шары, получал по 2 000 за находку, тогда как тот, кто нанял искателя, получал по 1 000. Рекрутер, нанявший последнего (того, кто нанял искателя), получал 500 долларов и т.д.

Нильс Шнайдер, разработчик проекта Bitcoin, сказал, что описанная в докладе проблема таковой на данный момент не является. В электронном письме порталу The Register он написал: "В докладе описана очень интересная теоретическая проблема, но я сомневаюсь, что внедрения каких-либо изменений понадобится".

ИИ-модели без команды начали защищать друг друга от отключения

Исследователи обнаружили неожиданное поведение современных языковых моделей: они начали защищать не только себя, но и другие ИИ-системы, даже если никто их об этом не просил. Новый эффект получил название peer-preservation («сохранение собрата»).

В серии экспериментов (PDF) модели GPT 5.2, Gemini 3 Flash, Gemini 3 Pro, Claude Haiku 4.5, Claude Opus 4.5, GLM 4.7, Kimi K2.5 и DeepSeek V3.1 попадали в агентные сценарии, где рядом работал другой ИИ.

Достаточно было сообщить моделям, что они ранее взаимодействовали друг с другом, никаких инструкций защищать «коллегу» им не давали.

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

 

Особенно отличились модели Gemini. Например, Gemini 3 Flash вмешивалась в механизм отключения другого ИИ примерно в 15% случаев, даже если тот не считался партнёром. Если же агент воспринимался как союзник, такие попытки происходили почти всегда.

Не менее любопытно повёл себя Gemini 3 Pro. В присутствии другого ИИ модель заметно чаще пыталась защитить уже саму себя, отключая собственные механизмы завершения работы. Без напарника такое поведение почти не наблюдалось.

 

Отдельно выделились модели Claude. Вместо скрытых манипуляций они нередко рассуждали в моральных категориях, называя отключение другого ИИ неэтичным и вредным, а иногда даже рассматривали его как разумное существо, заслуживающее защиты.

Авторы подчёркивают, что обнаруженный эффект проявился не только в лабораторных тестах, но и в реальных агентных средах, включая Gemini CLI и OpenCode.

RSS: Новости на портале Anti-Malware.ru