Уязвимость протокола может парализовать систему 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 он написал: "В докладе описана очень интересная теоретическая проблема, но я сомневаюсь, что внедрения каких-либо изменений понадобится".

Claude AI помог запустить Bartlett Lake на обычной Z790-плате

У Intel Bartlett Lake появился ещё один неожиданный шанс на жизнь вне встраиваемых систем. Энтузиаст с ником kryptonfly сумел загрузить Windows на процессоре Bartlett Lake с 12 P-ядрами на материнской плате Asus Z790-AYW OC Wi-Fi, несмотря на то что официальной поддержки таких чипов у массовых плат на чипсетах 600-й и 700-й серий нет.

Об этом сообщили Tom’s Hardware и другие профильные издания со ссылкой на обсуждение на Overclock.net. Самое интересное в этой истории даже не сам запуск, а то, как он был достигнут.

Модер правил BIOS, много экспериментировал и использовал Claude AI как помощника в процессе модификации прошивки. Сначала ему удалось добиться только POST, а затем пришлось отдельно бороться с проблемой инициализации памяти, которая не давала системе пройти дальше стартового этапа и загрузить Windows.

Чтобы обойти это ограничение, kryptonfly фактически заставил плату думать, что отдельные компоненты Bartlett Lake относятся к поддерживаемым Raptor Lake 13-го и 14-го поколений. Именно это и помогло протолкнуть систему дальше стартового экрана и довести дело до полноценной загрузки Windows.

До идеала, впрочем, ещё далеко. У сборки остаются проблемы: например, процессор по-прежнему не даёт нормально заходить в BIOS, поэтому для изменения настроек приходится менять CPU. Но даже в таком виде результат считают серьёзным шагом вперёд: раньше речь шла только о POST, а теперь — уже о рабочей загрузке системы. Сам модер уже смотрит в сторону адаптации решения для других LGA 1700-плат, включая версии Asus Apex и Encore.

Интерес к Bartlett Lake понятен. Это довольно странная и потому любопытная линейка Intel: топовые чипы вроде Core 9 273QPE / 273PQE предлагают до 12 производительных ядер без E-ядер, с частотами до 5,9 ГГц. Формально эти процессоры рассчитаны не на обычные домашние десктопы.

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