뉴스
코인정보
라운지
커뮤니티
TPI 
매체소개
고객센터
1
예일대학교 컴퓨터과학과 학과장이자 서티크(CertiK) 공동 창립자인 종 샤오 교수가 2025 Web3 학술 정상회의에서 새로운 블록체인 검증 모델 'LiDO'와 그 확장 프레임워크 'LiDO-DAG'를 공개했다.
이번에 발표된 모델은 3단계 정제 검증 체계를 통해 복잡한 비잔틴 장애 허용(BFT) 합의 프로토콜의 보안성과 활력성을 기계적으로 검증할 수 있게 설계됐다. 해당 체계는 ▲보안 추상화 층, ▲생존성 보장 층, ▲DAG(방향성 비순환 그래프) 확장 층으로 구성되어 있다.
샤오 교수는 이번 모델이 지분증명(PoS) 방식 합의 프로토콜에서 보안, 생존성, 탈중앙화 간 균형 문제를 해결하는 통합 솔루션이 될 것이라고 밝혔다. 실제로 LiDO는 산업 수준의 합의 프로토콜인 '졸티온(Jolteon)'에 적용돼 수만 줄의 Coq 코드 검증을 완료한 바 있다.
현재 LiDO 프로젝트는 주요 퍼블릭 체인들과 협력을 추진 중이며, 신뢰할 수 있는 탈중앙화 네트워크 프로토콜 구축에 기여할 것으로 기대된다.
(출처: PANews)
