Sonic Labs выпустила библиотеку для проверки безопасности DAG-протоколов
coinspot.ioКомпания Sonic Labs, стоящая за блокчейном первого уровня Sonic, выпустила новую библиотеку с открытым исходным кодом для формальной верификации DAG-протоколов.
Об этом сообщили в пресс-релизе 25 июня. Разработка стала совместным проектом с логиками из Сиднейского университета и INRIA и реализована на языке TLA+, широко применяемом в критичных отраслях вроде аэрокосмической и финансовой.
Новый подход к безопасности протоколов В отличие от типичной практики тестирования «по наитию», библиотека предлагает способ математически доказать корректность работы алгоритма консенсуса.
То есть вместо веры — строгая верификация. По словам главного научного сотрудника Sonic Labs, доктора Бернхарда Шольца, в блокчейне многие уязвимости остаются незамеченными до тех пор, пока не происходит взлом.
Читать на coinspot.io
