4월 8일, 홍콩에서 열린 Web3 Scholars Conference 2025에서 예일대학교 컴퓨터 과학과 교수이자 CertiK의 공동 창립자인 종샤오는 개량 기반 합의 프로토콜의 보안 및 활성성 증명: LiDO와 그 확장이라는 제목의 기조 연설을 하며, 그의 팀이 개발한 LiDO 모델과 LiDO-DAG 확장 프레임워크를 처음으로 공개했습니다. 이 획기적인 성과의 목적은 복잡한 비잔틴 장애 허용(BFT) 합의 프로토콜에 대한 기계화된 검증 가능한 보안 및 활성성 증명을 제공하고, Web3 생태계의 안정성과 확장성을 위한 기술적 기반을 마련하는 것입니다.
이 연설에서 샤오 종 교수는 기존의 합의 프로토콜(PBFT, Jolteon 등)이 널리 사용되고 있지만, 복잡한 구현으로 인해 잠재적인 취약점이 숨겨져 있는 경우가 많다고 지적했습니다. 이 문제를 해결하기 위해 LiDO 모델은 혁신적으로 3단계 세분화 검증 프레임워크를 제안합니다.
보안 추상화 계층: 프로토콜을 선형화된 상태 머신으로 매핑하여 로그 일관성(보안)을 보장합니다.
활성성 보장 계층: 타임아웃 브로드캐스트와 라운드 동기화를 통해 네트워크 지연 문제를 해결하기 위해 페이스메이커 메커니즘을 도입합니다.
DAG 확장 계층: 리더 없는 합의의 효율적인 검증을 달성하기 위해 Narwhal 및 Bullshark와 같은 새로운 DAG 프로토콜을 지원합니다.
현재 LiDO는 산업용 프로토콜 Jolteon(2단계 BFT)과 여러 DAG 프로토콜에 성공적으로 적용되어 10,000줄이 넘는 Coq 코드의 기계식 증명을 완료했으며, 보안 및 활성 검증 코드는 각각 4,000줄과 1,700줄에 달합니다. 샤오 중 교수는 연설에서 현재 PoS 합의 프로토콜은 일반적으로 보안, 활동성, 분산화를 동시에 달성하는 데 어려움을 겪는 딜레마에 직면해 있습니다.라고 지적했습니다. LiDO 모델은 이러한 딜레마를 깨기 위해 제안된 체계적인 설계 솔루션입니다.
샤오 중 교수와 그의 팀이 개발한 CertiKOS는 형식적 검증을 통과한 세계 최초의 취약성 없는 운영 체제로, 사이버-물리적 시스템 보안의 이정표로 찬사를 받고 있습니다. 이러한 성과는 보안 회사 CertiK의 기술적 기반을 마련했을 뿐만 아니라, 시스템 보안 분야에서의 깊은 축적을 입증했습니다. 최근 몇 년 동안, 샤오 종 교수는 블록체인 보안 분야에 깊이 관여해 왔습니다. 2017년 그는 제자 구 롱후이 교수와 함께 CertiK을 공동 창립하여 스마트 계약과 온체인 프로토콜의 보안에 공식 검증 기술을 도입해 수천억 달러 규모의 암호 자산의 보안을 보호했습니다.
LiDO는 현재 모델 설계와 공식 검증을 완료했으며, 주류 퍼블릭 체인과 분산형 프로토콜과의 통합 가능성을 모색하기 시작했습니다. 샤오 종 교수는 CertiK이 Web3.0의 핵심 메커니즘을 검증하고, Web3 기업과 생태계의 장기적 개발 전략을 보다 잘 지원하는 풀사이클 제품 및 서비스를 제공하는 데 전념하고 있다고 말했습니다. 샤오 종 교수는 연설을 마치며 신뢰할 수 있고 안전하며 검증 가능한 네트워크 프로토콜 스택은 진정으로 분산화된 미래로 가는 핵심 경로가 될 것입니다.라고 강조했습니다.
