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

Подпишитесь на новости

Gartner: к 2028 году ИИ-кодинг станет дороже зарплаты разработчика

ИИ пишет код, а счёт за его работу начинает кусаться. По прогнозу Gartner, к 2028 году расходы на разработку с использованием больших языковых моделей обгонят среднюю зарплату программиста. Причины — рост потребления токенов и переход поставщиков к оплате по фактическому использованию.

Токены — единицы данных, которые обрабатывает модель. Чем активнее работают агенты и чем больше информации им передают, тем выше расходы.

Фиксированная подписка уступает место тарификации, при которой бюджет предсказать гораздо сложнее.

По оценке аналитика Gartner Нитиша Тьяги, разработчики обычно оптимизируют скорость и удобство работы. Дисциплина расходов сама собой не появится: без контроля затраты способны расти быстрее продуктивности.

Масла в огонь подливают чрезмерная автономность агентов, раздутый контекст и отсутствие регулярного разбора дорогих задач. А встроенные инструменты оптимизации расходов у поставщиков пока недостаточно зрелые.

Gartner рекомендует заранее определять, какие задачи поручать ИИ и сколько самостоятельности ему давать. Простую работу стоит направлять небольшим дешёвым моделям, сложную — более мощным. Контекст нужно очищать от лишнего, потребление токенов, а перерасход разбирать на ретроспективах.

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