Sonic Labs выпустила библиотеку для проверки безопасности DAG-протоколов

Компания Sonic Labs, стоящая за блокчейном первого уровня Sonic, выпустила новую библиотеку с открытым исходным кодом для формальной верификации DAG-протоколов.

Об этом сообщили в пресс-релизе 25 июня. Разработка стала совместным проектом с логиками из Сиднейского университета и INRIA и реализована на языке TLA+, широко применяемом в критичных отраслях вроде аэрокосмической и финансовой.

Новый подход к безопасности протоколов

В отличие от типичной практики тестирования «по наитию», библиотека предлагает способ математически доказать корректность работы алгоритма консенсуса. То есть вместо веры — строгая верификация.

По словам главного научного сотрудника Sonic Labs, доктора Бернхарда Шольца, в блокчейне многие уязвимости остаются незамеченными до тех пор, пока не происходит взлом. Новая библиотека позволяет избавиться от классов ошибок ещё до запуска протокола:

«Мы хотим сделать формальную верификацию доступной каждому разработчику. В условиях, когда на кону миллиарды долларов, нельзя полагаться на удачу», — отметил Шольц.

Поддержка популярных DAG-протоколов

Библиотека уже содержит верифицированные модели таких протоколов, как DAG-Rider, Cordial Miner и Bullshark. Верифицирован и собственный протокол Sonic, построенный на их основе.

Проект особенно актуален для DAG-сетей, где события строятся не в линейную цепочку, а в направленный ациклический граф. Это создает дополнительные сложности, особенно в части проверки согласованности данных и предотвращения атак типа двойной траты.

Читать также: Ledger прекращает поддержку Nano S, пользователи недовольны

Инструмент для всех Web3-разработчиков

Кроме обеспечения безопасности, библиотека предлагает готовые модули и инструменты для ускоренной разработки и прототипирования новых DAG-протоколов. Всё доступно в открытом доступе на GitHub.

Sonic Labs рассчитывает, что инициативу подхватят и другие блокчейн-команды, в том числе небольшие стартапы, которым ранее были недоступны инструменты уровня «индустриального стандарта».

Что дальше?

С расширением применения DAG-моделей в Web3 и DePIN-сетях тема формальной верификации может стать стандартом индустрии. Sonic Labs уже предлагает следующий шаг: адаптацию библиотеки под смежные консенсусы и поддержку дополнительных спецификаций для мульти-сетей. Если идея получит широкое распространение, это серьезно повысит доверие к новым протоколам и снизит риски для инвесторов.

Читать далее: Сейлор намекает на новую покупку биткоина, пока Strategy сталкивается с иском из-за $5,9 млрд потерь