PANews는 4월 8일 예일대학교 컴퓨터 과학과 교수이자 CertiK의 공동 창립자인 샤오 종 교수가 2025 Web3 Scholar Summit에서 LiDO 모델과 LiDO-DAG 확장 프레임워크를 처음으로 공개했다고 보도했습니다. 이 획기적인 성과는 3계층 상세 검증 프레임워크(보안 추상화 계층, 활성성 보증 계층, DAG 확장 계층)를 통해 복잡한 비잔틴 장애 허용(BFT) 합의 프로토콜에 대한 기계화된 검증 가능한 보안 및 활성성 증명을 제공하여 Web3 생태계의 안정성과 대규모 개발을 개선하는 것을 목표로 합니다.

LiDO는 Jolteon과 같은 산업용 프로토콜에 성공적으로 적용되었으며 10,000줄이 넘는 Coq 코드에 대한 검증을 완료했습니다. 샤오 중 교수는 LiDO가 보안, 활동성, 분산화 측면에서 달성하기 어려운 PoS 합의 프로토콜의 딜레마에 대한 체계적인 해결책을 제안했다고 말했습니다. 현재 LiDO는 신뢰할 수 있는 분산형 네트워크 프로토콜 스택을 구축하기 위해 주요 퍼블릭 체인과의 협력을 모색하고 있습니다.