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

SASTAV и ARX ASPM PLATFORM объединили анализ кода и управление рисками

Российские разработчики ShiftLeft Security и ARX Security обеспечили совместимость SASTAV SAST и ARX ASPM PLATFORM. Теперь статический анализ исходного кода можно запускать и настраивать непосредственно из интерфейса ASPM-платформы.

Для каждого проекта специалисты смогут выбирать репозитории и ветки, формировать наборы правил, задавать параметры сканирования и устанавливать quality gate — критерии, определяющие, можно ли выпускать продукт с обнаруженными дефектами.

Там же настраивается порядок принятия рисков. В общем, релизу придётся не просто пообещать исправиться, а пройти формальный контроль.

SASTAV отвечает за статический анализ кода. Решение позволяет создавать и редактировать правила, назначать разные наборы проверок отдельным репозиториям и управлять параметрами сканирования.

ARX ASPM PLATFORM выступает единым центром управления AppSec-инструментами. Платформа собирает результаты разных анализаторов, объединяет связанные находки, оценивает риски и показывает общее состояние защищённости цифровых продуктов.

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

ИИ-ассистент ARX ASPM PLATFORM определяет статусы дефектов, найденных платформой или импортированных из внешних систем. После интеграции получается двухэтажная схема: SASTAV изучает код и фильтрует находки, а ARX сопоставляет их с результатами других инструментов и помогает решить, какой риск допустим.

Разработчики рассчитывают сократить число ручных операций, ускорить подключение проектов к DevSecOps и снизить нагрузку на AppSec-команды.

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