En la Web3 Scholars Summit, el cofundador de CertiK y profesor de Ciencias de la Computación de Yale, Zhong Shao, presentó un marco innovador: LiDO y LiDO-DAG.

Esta innovación aporta las primeras pruebas formales, verificadas por máquina, de seguridad (safety) y vitalidad (liveness) para protocolos de consenso modernos como Jolteon, Narwhal y Bullshark.

Al refinar los modelos de seguridad de alto nivel hasta el código de nivel de implementación, LiDO sienta las bases para un futuro verificablemente seguro, escalable y descentralizado.

La seguridad no se trata solo de prevenir exploits, se trata de construir sistemas en los que podamos confiar desde cero.