Компания Sonic Labs, стоящая за блокчейном первого уровня Sonic, выпустила новую библиотеку с открытым исходным кодом для формальной верификации DAG-протоколов. Об этом сообщили в пресс-релизе 25 июня. Разработка стала совместным проектом с логиками из Сиднейского университета и INRIA и реализована на языке TLA+, широко применяемом в критичных отраслях вроде аэрокосмической и финансовой. Новый подход к […]
Компания Sonic Labs, стоящая за блокчейном первого уровня Sonic, выпустила новую библиотеку с открытым исходным кодом для формальной верификации DAG-протоколов.
Об этом сообщили в пресс-релизе 25 июня. Разработка стала совместным проектом с логиками из Сиднейского университета и INRIA и реализована на языке TLA+, широко применяемом в критичных отраслях вроде аэрокосмической и финансовой.
В отличие от типичной практики тестирования «по наитию», библиотека предлагает способ математически доказать корректность работы алгоритма консенсуса. То есть вместо веры — строгая верификация.
По словам главного научного сотрудника Sonic Labs, доктора Бернхарда Шольца, в блокчейне многие уязвимости остаются незамеченными до тех пор, пока не происходит взлом. Новая библиотека позволяет избавиться от классов ошибок ещё до запуска протокола:
«Мы хотим сделать формальную верификацию доступной каждому разработчику. В условиях, когда на кону миллиарды долларов, нельзя полагаться на удачу», — отметил Шольц.
Библиотека уже содержит верифицированные модели таких протоколов, как DAG-Rider, Cordial Miner и Bullshark. Верифицирован и собственный протокол Sonic, построенный на их основе.
Проект особенно актуален для DAG-сетей, где события строятся не в линейную цепочку, а в направленный ациклический граф. Это создает дополнительные сложности, особенно в части проверки согласованности данных и предотвращения атак типа двойной траты.
Читать также: Ledger прекращает поддержку Nano S, пользователи недовольны
Кроме обеспечения безопасности, библиотека предлагает готовые модули и инструменты для ускоренной разработки и прототипирования новых DAG-протоколов. Всё доступно в открытом доступе на GitHub.
Sonic Labs рассчитывает, что инициативу подхватят и другие блокчейн-команды, в том числе небольшие стартапы, которым ранее были недоступны инструменты уровня «индустриального стандарта».
С расширением применения DAG-моделей в Web3 и DePIN-сетях тема формальной верификации может стать стандартом индустрии. Sonic Labs уже предлагает следующий шаг: адаптацию библиотеки под смежные консенсусы и поддержку дополнительных спецификаций для мульти-сетей. Если идея получит широкое распространение, это серьезно повысит доверие к новым протоколам и снизит риски для инвесторов.
Читать далее: Сейлор намекает на новую покупку биткоина, пока Strategy сталкивается с иском из-за $5,9 млрд потерь
JOIN
