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