피에이뉴스(PANews) 4월 8일 소식에 따르면, 2025년 웹3 학자 정상회의에서 예일대학교 컴퓨터 과학과 주임이자 CertiK 공동 창립자인 소중 교수가 LiDO 모델 및 LiDO-DAG 확장 프레임을 최초로 공개했습니다. 이 획기적인 성과는 3계층 세분화 검증 프레임(안전 추상화 계층, 활성 보장 계층, DAG 확장 계층)을 통해 복잡한 비잔틴 결함 허용(BFT) 합의 프로토콜에 대해 기계적으로 검증 가능한 안전성 및 활성 증명을 제공하며, 웹3 생태계의 신뢰성과 규모 확장 발전을 목표로 합니다.
LiDO는 Jolteon 등 산업용 프로토콜에 성공적으로 적용되었으며, 1만 줄 이상의 Coq 코드 검증을 완료했습니다. 소중 교수는 LiDO가 PoS 합의 프로토콜의 안전성, 활성 및 탈중앙화를 동시에 달성하기 어려운 딜레마에 대해 체계적인 해결책을 제시했다고 말했습니다. 현재 LiDO는 주요 공개 블록체인과의 협력을 모색하며 신뢰할 수 있는 탈중앙화 네트워크 프로토콜 스택 구축을 지원하고 있습니다.
