เมื่อวันที่ 8 เมษายน ที่งาน Web3 Scholars Conference 2025 ที่จัดขึ้นในฮ่องกง Zhong Shao ศาสตราจารย์ด้านวิทยาการคอมพิวเตอร์จากมหาวิทยาลัยเยลและผู้ก่อตั้งร่วมของ CertiK ได้กล่าวสุนทรพจน์สำคัญในหัวข้อ "การรักษาความปลอดภัยและการพิสูจน์ความมีชีวิตของโปรโตคอลฉันทามติตามการปรับแต่ง: LiDO และส่วนขยาย" ซึ่งเปิดตัวโมเดล LiDO และกรอบงานส่วนขยาย LiDO-DAG ที่พัฒนาโดยทีมงานของเขาเป็นครั้งแรกต่อสาธารณะ ความสำเร็จที่ก้าวล้ำครั้งนี้มุ่งหวังที่จะจัดให้มีการรักษาความปลอดภัยที่ตรวจสอบได้โดยกลไกและการพิสูจน์ความพร้อมใช้งานสำหรับโปรโตคอลฉันทามติ Byzantine Fault Tolerant (BFT) ที่ซับซ้อน ซึ่งวางรากฐานทางเทคนิคสำหรับความน่าเชื่อถือและความสามารถในการปรับขนาดของระบบนิเวศ Web3

ในการพูดครั้งนี้ ศาสตราจารย์ Shao Zhong ชี้ให้เห็นว่าถึงแม้จะมีการใช้โปรโตคอลฉันทามติที่มีอยู่ (เช่น PBFT และ Jolteon) กันอย่างแพร่หลาย แต่โปรโตคอลเหล่านี้มักซ่อนช่องโหว่ที่อาจเกิดขึ้นได้เนื่องจากการใช้งานที่ซับซ้อน เพื่อแก้ไขปัญหานี้ โมเดล LiDO นำเสนอกรอบการทำงานการตรวจสอบการปรับปรุงสามชั้นอย่างสร้างสรรค์:

เลเยอร์การแยกความปลอดภัย: ทำการแม็ปโปรโตคอลลงในสถานะเครื่องจักรเชิงเส้นเพื่อให้แน่ใจว่าบันทึกมีความสอดคล้องกัน (ความปลอดภัย)

ชั้นรับประกันความคล่องตัว: แนะนำกลไก "Pacemaker" เพื่อแก้ปัญหาความล่าช้าของเครือข่ายผ่านการออกอากาศแบบหมดเวลาและการซิงโครไนซ์รอบ

เลเยอร์ส่วนขยาย DAG: รองรับโปรโตคอล DAG ที่เกิดขึ้นใหม่ เช่น Narwhal และ Bullshark เพื่อให้บรรลุการตรวจยืนยันฉันทามติที่ไม่มีผู้นำอย่างมีประสิทธิภาพ

ปัจจุบัน LiDO ได้ถูกนำไปใช้กับโปรโตคอลระดับอุตสาหกรรม Jolteon (BFT สองขั้นตอน) และโปรโตคอล DAG หลายตัวสำเร็จแล้ว โดยสามารถพิสูจน์รหัส Coq ด้วยระบบกลไกได้มากกว่า 10,000 บรรทัด โดยรหัสตรวจสอบความปลอดภัยและความพร้อมใช้งานมีจำนวนถึง 4,000 บรรทัดและ 1,700 บรรทัดตามลำดับ “ปัจจุบัน โปรโตคอลฉันทามติ PoS มักจะเผชิญกับภาวะกลืนไม่เข้าคายไม่ออกในการบรรลุความปลอดภัย กิจกรรม และการกระจายอำนาจในเวลาเดียวกัน” ศาสตราจารย์ Shao Zhong ชี้ให้เห็นในสุนทรพจน์ของเขา “โมเดล LiDO เป็นโซลูชันการออกแบบเชิงระบบที่ได้รับการเสนอเพื่อแก้ไขปัญหาที่น่าหนักใจนี้”

CertiKOS ซึ่งพัฒนาโดยศาสตราจารย์ Shao Zhong และทีมงานของเขา ถือเป็นระบบปฏิบัติการ "ปลอดช่องโหว่" ตัวแรกของโลกที่ผ่านการตรวจสอบอย่างเป็นทางการ และได้รับการยกย่องว่าเป็น "ก้าวสำคัญด้านความปลอดภัยของระบบไซเบอร์-ฟิสิคัล" ความสำเร็จนี้ไม่เพียงแต่วางรากฐานทางเทคนิคให้กับบริษัทรักษาความปลอดภัย CertiK เท่านั้น แต่ยังแสดงถึงความเชี่ยวชาญอันล้ำลึกในด้านการรักษาความปลอดภัยของระบบอีกด้วย ในช่วงไม่กี่ปีที่ผ่านมา ศาสตราจารย์ Shao Zhong มีส่วนร่วมอย่างลึกซึ้งในด้านความปลอดภัยของบล็อคเชน ในปี 2017 เขาได้ร่วมก่อตั้ง CertiK กับศิษย์ของเขาศาสตราจารย์ Gu Ronghui โดยนำเทคโนโลยีการตรวจสอบอย่างเป็นทางการมาใช้ในระบบรักษาความปลอดภัยของสัญญาอัจฉริยะและโปรโตคอลบนเชน เพื่อปกป้องความปลอดภัยของสินทรัพย์ดิจิทัลที่มีมูลค่านับแสนล้านดอลลาร์

ปัจจุบัน LiDO ได้ออกแบบโมเดลและการตรวจสอบอย่างเป็นทางการเสร็จเรียบร้อยแล้ว และได้เริ่มสำรวจความเป็นไปได้ในการบูรณาการกับเครือข่ายสาธารณะหลักและโปรโตคอลแบบกระจายอำนาจ ศาสตราจารย์ Shao Zhong กล่าวว่า CertiK มุ่งมั่นที่จะตรวจสอบกลไกหลักใน Web3.0 เพื่อจัดหาผลิตภัณฑ์และบริการครบวงจรเพื่อรองรับกลยุทธ์การพัฒนาในระยะยาวขององค์กรและระบบนิเวศ Web3 ได้ดียิ่งขึ้น ในช่วงท้ายของสุนทรพจน์ ศาสตราจารย์ Shao Zhong ได้เน้นย้ำว่า "สแต็กโปรโตคอลเครือข่ายที่เชื่อถือได้ ปลอดภัย และตรวจสอบได้ จะเป็นเส้นทางสำคัญสู่อนาคตที่กระจายอำนาจอย่างแท้จริง"