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