🔵"Web3 Scholar Summit 2025: Il professor Shao Zhong presenta il rivoluzionario modello LiDO per protocolli di consenso sicuri e scalabili"

Giorno: 2025-04-08 | Ora: 06:15:11 Durante il Web3 Scholar Summit del 2025, il professor Shao Zhong, direttore del dipartimento di informatica della Yale University e co-fondatore di CertiK, ha presentato per la prima volta il modello LiDO e il framework di estensione LiDO-DAG. Questa innovazione introduce un quadro di verifica dettagliato in tre livelli (livello di astrazione della sicurezza, livello di garanzia dell'attività e livello di estensione DAG), offrendo prove di sicurezza e attività meccanicamente verificabili per i protocolli di consenso Byzantine Fault Tolerant (BFT), con l'obiettivo di migliorare l'affidabilità e la scalabilità dell'ecosistema Web3. Il modello LiDO è già stato implementato con successo in protocolli industriali come Jolteon, portando a una verifica di oltre diecimila righe di codice Coq. Il professor Shao Zhong ha sottolineato che LiDO affronta la sfida di garantire sicurezza, attività e decentralizzazione nei protocolli di consenso PoS, proponendo soluzioni sistemiche. Attualmente, LiDO sta esplorando collaborazioni con blockchain mainstream per contribuire alla creazione di un stack di protocolli di rete decentralizzati affidabili. https://www.panewslab.com/zh/sqarticledetails/n9wrvc19.html