2025년 Web3 학자 컨퍼런스에서 예일대학교 컴퓨터 과학과 주임이자 CertiK 공동 창립자인 샤오 중 교수가 LiDO 모델 및 LiDO-DAG 프레임을 최초로 공개했습니다. 이 혁신적인 성과는 3계층 세분화된 검증 프레임(보안 추상화 계층, 활성 보장 계층, DAG 확장 계층)을 통해 복잡한 비잔틴 장애 허용(BFT) 합의 프로토콜에 대해 기계적으로 검증 가능한 보안성 및 활성 증명을 제공하며, Web3 생태계의 신뢰성과 규모 확장 발전을 목표로 합니다.

LiDO는 Jolteon 등 산업용 프로토콜에 성공적으로 적용되었으며, 1만 줄 이상의 Coq 코드 검증을 완료했습니다. 샤오 중 교수는 LiDO가 PoS 합의 프로토콜의 보안성, 활성, 탈중앙화를 동시에 달성하기 어려운 문제에 대해 체계적인 솔루션을 제시한다고 말했습니다. 현재 LiDO는 주요 퍼블릭 블록체인과의 협력을 모색하며 신뢰할 수 있는 탈중앙화 네트워크 프로토콜 스택 구축을 지원하고 있습니다.