Gracias al equipo de Lido por confiar en nosotros para revisar su código de Dual Governance 🩵

Ha sido un placer trabajar con ellos durante gran parte de este año y el año pasado, verificando formalmente su código con Kontrol y otras técnicas manuales.

¡Publicaremos más información sobre nuestro trabajo en las próximas semanas en nuestro Twitter!