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