เมื่อวันที่ 8 เมษายน ในการประชุม Web3 Scholars Conference 2025 ที่จัดขึ้นในฮ่องกง ศาสตราจารย์จากภาควิชาวิทยาการคอมพิวเตอร์ของมหาวิทยาลัยเยลและผู้ร่วมก่อตั้ง CertiK คุณเซา จง ได้กล่าวบรรยายในหัวข้อ "ความปลอดภัยและการพิสูจน์การมีอยู่ของโปรโตคอลฉันทามติที่ปรับปรุง: LiDO และการขยายของมัน" ซึ่งได้เปิดเผยโมเดล LiDO และกรอบการขยาย LiDO-DAG ที่ทีมงานของเขาพัฒนาเป็นครั้งแรก ผลงานที่เป็นนวัตกรรมนี้มีเป้าหมายเพื่อให้การพิสูจน์ความปลอดภัยและการมีอยู่ที่สามารถกลไกการตรวจสอบได้สำหรับโปรโตคอลฉันทามติ Byzantine fault tolerance (BFT) ที่ซับซ้อน ซึ่งจะวางรากฐานทางเทคนิคสำหรับความน่าเชื่อถือและการพัฒนาขนาดใหญ่ของระบบนิเวศ Web3.ในการบรรยายครั้งนี้ ศาสตราจารย์เซา จง ได้ชี้ให้เห็นว่า โปรโตคอลฉันทามติที่มีอยู่ (เช่น 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 มีส่วนร่วมอย่างลึกซึ้งในการรักษาความปลอดภัยบล็อกเชนและร่วมก่อตั้ง CertiK กับศาสตราจารย์ Gu Ronghui ศิษย์ของเขาในปี 2017 โดยแนะนําเทคโนโลยีการตรวจสอบอย่างเป็นทางการในความปลอดภัยของสัญญาอัจฉริยะและโปรโตคอลแบบ on-chain และคุ้มกันความปลอดภัยของสินทรัพย์ crypto หลายแสนล้านดอลลาร์LiDO ได้เสร็จสิ้นการออกแบบโมเดลและการตรวจสอบอย่างเป็นทางการและเริ่มสํารวจความเป็นไปได้ในการรวมเข้ากับเครือข่ายสาธารณะกระแสหลักและโปรโตคอลแบบกระจายอํานาจ ศาสตราจารย์ Shao Zhong กล่าวว่า CertiK มุ่งมั่นที่จะตรวจสอบกลไกสําคัญใน Web3.0 เพื่อจัดหาผลิตภัณฑ์และบริการครบวงจรเพื่อสนับสนุนกลยุทธ์การพัฒนาระยะยาวขององค์กรและระบบนิเวศ Web3 ได้ดียิ่งขึ้น ในตอนท้ายของสุนทรพจน์ศาสตราจารย์ Shao Zhong เน้นย้ําว่า" สแต็คโปรโตคอลเครือข่ายที่เชื่อถือได้ปลอดภัยและตรวจสอบได้จะเป็นเส้นทางสําคัญสู่อนาคตที่กระจายอํานาจอย่างแท้จริง ”
ศาสตราจารย์เซียวจงจาก CertiK เข้าร่วมการประชุมสุดยอดนักวิจัย Web3 และเปิดเผยโมเดล LiDO เป็นครั้งแรก
เมื่อวันที่ 8 เมษายน ในการประชุม Web3 Scholars Conference 2025 ที่จัดขึ้นในฮ่องกง ศาสตราจารย์จากภาควิชาวิทยาการคอมพิวเตอร์ของมหาวิทยาลัยเยลและผู้ร่วมก่อตั้ง CertiK คุณเซา จง ได้กล่าวบรรยายในหัวข้อ "ความปลอดภัยและการพิสูจน์การมีอยู่ของโปรโตคอลฉันทามติที่ปรับปรุง: LiDO และการขยายของมัน" ซึ่งได้เปิดเผยโมเดล LiDO และกรอบการขยาย LiDO-DAG ที่ทีมงานของเขาพัฒนาเป็นครั้งแรก ผลงานที่เป็นนวัตกรรมนี้มีเป้าหมายเพื่อให้การพิสูจน์ความปลอดภัยและการมีอยู่ที่สามารถกลไกการตรวจสอบได้สำหรับโปรโตคอลฉันทามติ Byzantine fault tolerance (BFT) ที่ซับซ้อน ซึ่งจะวางรากฐานทางเทคนิคสำหรับความน่าเชื่อถือและการพัฒนาขนาดใหญ่ของระบบนิเวศ Web3.
ในการบรรยายครั้งนี้ ศาสตราจารย์เซา จง ได้ชี้ให้เห็นว่า โปรโตคอลฉันทามติที่มีอยู่ (เช่น 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 มีส่วนร่วมอย่างลึกซึ้งในการรักษาความปลอดภัยบล็อกเชนและร่วมก่อตั้ง CertiK กับศาสตราจารย์ Gu Ronghui ศิษย์ของเขาในปี 2017 โดยแนะนําเทคโนโลยีการตรวจสอบอย่างเป็นทางการในความปลอดภัยของสัญญาอัจฉริยะและโปรโตคอลแบบ on-chain และคุ้มกันความปลอดภัยของสินทรัพย์ crypto หลายแสนล้านดอลลาร์
LiDO ได้เสร็จสิ้นการออกแบบโมเดลและการตรวจสอบอย่างเป็นทางการและเริ่มสํารวจความเป็นไปได้ในการรวมเข้ากับเครือข่ายสาธารณะกระแสหลักและโปรโตคอลแบบกระจายอํานาจ ศาสตราจารย์ Shao Zhong กล่าวว่า CertiK มุ่งมั่นที่จะตรวจสอบกลไกสําคัญใน Web3.0 เพื่อจัดหาผลิตภัณฑ์และบริการครบวงจรเพื่อสนับสนุนกลยุทธ์การพัฒนาระยะยาวขององค์กรและระบบนิเวศ Web3 ได้ดียิ่งขึ้น ในตอนท้ายของสุนทรพจน์ศาสตราจารย์ Shao Zhong เน้นย้ําว่า" สแต็คโปรโตคอลเครือข่ายที่เชื่อถือได้ปลอดภัยและตรวจสอบได้จะเป็นเส้นทางสําคัญสู่อนาคตที่กระจายอํานาจอย่างแท้จริง ”