Na Web3 Scholars Summit, o cofundador da CertiK e professor de Ciência da Computação de Yale, Zhong Shao, revelou uma estrutura inovadora: LiDO e LiDO-DAG.

Esta inovação traz as primeiras provas formais, verificadas por máquina, de segurança (safety) e atividade (liveness) para protocolos de consenso modernos como Jolteon, Narwhal e Bullshark.

Ao refinar modelos de segurança de alto nível até o código de nível de implementação, o LiDO estabelece as bases para um futuro verificavelmente seguro, escalável e descentralizado.

Segurança não se trata apenas de prevenir exploits, trata-se de construir sistemas em que possamos confiar desde o início.