Sonic Labs випустила нову бібліотеку з відкритим кодом, розроблену для забезпечення формальної верифікації протоколів консенсусу на основі DAG, крок, який, за її словами, допоможе підвищити стандарти безпеки для децентралізованих мереж.
Математичні докази для верифікації консенсусних протоколів
Бібліотека формальної верифікації