🔵"Il Futuro della Sicurezza nei Protocolli BFT: Il Modello LiDO Presentato dal Professor Shao Zhong alla Web3 Scholars Conference 2025"

Giorno: 2025-04-08 | Ora: 08:30:03 Durante il Web3 Scholars Conference 2025, il professor Shao Zhong, co-fondatore di CertiK e docente di informatica presso l'Università di Yale, ha presentato per la prima volta il modello LiDO e il framework di estensione LiDO-DAG, proponendo un innovativo approccio alla verifica meccanica della sicurezza e della vivacità dei protocolli di consenso Byzantine Fault Tolerant (BFT). Il modello LiDO introduce un framework di verifica a tre livelli: il livello di astrazione della sicurezza, che assicura coerenza logica, il livello di garanzia della vivacità, che affronta i problemi di latenza di rete tramite un meccanismo di "Pacemaker", e il livello di estensione DAG, che supporta protocolli emergenti come Narwhal e Bullshark. Il professor Shao ha sottolineato le difficoltà attuali dei protocolli PoS nel coniugare sicurezza, vivacità e decentralizzazione, evidenziando come LiDO possa offrire una soluzione sistematica a queste sfide. Inoltre, ha menzionato il CertiKOS, il primo sistema operativo "senza vulnerabilità" verificato formalmente, come un importante traguardo nel campo della sicurezza dei sistemi. Con LiDO già applicato a protocolli industriali e l'intenzione di integrarlo con blockchain e protocolli decentralizzati, CertiK si impegna a garantire meccanismi chiave per Web3.0, promuovendo una strategia di sviluppo sostenibile per le aziende e gli ecosistemi del settore. https://www.panewslab.com/zh/articledetails/1rb18403.html