Tại Hội nghị Học giả Web3, giáo sư Yale lần đầu công bố mô hình LiDO
Hội nghị học giả Web3 năm 2025 vừa diễn ra, giáo sư Shao Zhong từ khoa khoa học máy tính của Đại học Yale đã có bài phát biểu chủ đề mang tên "Chứng minh an toàn và tính khả thi của giao thức đồng thuận dựa trên tinh chỉnh: LiDO và các mở rộng của nó", lần đầu tiên tiết lộ mô hình LiDO và khung mở rộng LiDO-DAG mà nhóm của ông phát triển. Thành tựu đổi mới này nhằm cung cấp chứng minh an toàn và tính khả thi có thể xác minh cơ học cho các giao thức đồng thuận Byzantine Fault Tolerance (BFT) phức tạp, đặt nền tảng công nghệ cho sự phát triển độ tin cậy và khả năng mở rộng của hệ sinh thái Web3.
Giáo sư Shao Zhong trong bài phát biểu của mình đã chỉ ra rằng, mặc dù các giao thức đồng thuận hiện có (như PBFT và Jolteon) được sử dụng rộng rãi, nhưng do độ phức tạp trong việc triển khai, chúng thường ẩn chứa những lỗ hổng tiềm ẩn. Để giải quyết vấn đề này, mô hình LiDO đã sáng tạo ra một khung xác thực tinh chỉnh ba lớp:
Lớp trừu tượng an toàn: Ánh xạ giao thức thành máy trạng thái tuyến tính, đảm bảo tính nhất quán của nhật ký (an toàn);
Tầng bảo vệ hoạt động: Giới thiệu cơ chế "Pacemaker", giải quyết vấn đề độ trễ mạng thông qua phát sóng hết thời gian và đồng bộ vòng.
Lớp mở rộng DAG: Hỗ trợ các giao thức DAG mới nổi như Narwhal, Bullshark, đạt được xác minh hiệu quả mà không cần người lãnh đạo.
Hiện tại, LiDO đã thành công trong việc áp dụng vào giao thức công nghiệp Jolteon (BFT hai giai đoạn) và nhiều giao thức DAG, hoàn thành hơn 10,000 dòng mã Coq với chứng minh cơ khí, trong đó số lượng mã xác minh an ninh và tính khả thi lần lượt đạt 4,000 dòng và 1,700 dòng. Giáo sư Shao Trung trong bài phát biểu đã nhấn mạnh: "Hiện tại, giao thức đồng thuận PoS đang gặp khó khăn trong việc đạt được ba yếu tố an ninh, tính khả thi và phi tập trung. Mô hình LiDO chính là giải pháp thiết kế hệ thống nhằm phá vỡ tình thế khó khăn này."
Giáo sư Shao Zhong và đội ngũ của ông đã phát triển CertiKOS, hệ điều hành "không có lỗ hổng" đầu tiên trên thế giới thông qua xác minh hình thức, được ca ngợi là "một cột mốc trong an ninh hệ thống vật lý mạng". Thành tựu này không chỉ đặt nền móng cho sự tích lũy sâu sắc của họ trong lĩnh vực an ninh hệ thống mà còn thể hiện khả năng chuyên môn của họ trong lĩnh vực này. Trong những năm gần đây, giáo sư Shao Zhong đã nghiên cứu sâu về an ninh blockchain, vào năm 2017, ông cùng với sinh viên của mình, giáo sư Gu Ronghui, đã đưa công nghệ xác minh hình thức vào lĩnh vực bảo đảm an ninh cho hợp đồng thông minh và giao thức trên chuỗi, cung cấp bảo vệ an ninh cho các tài sản tiền điện tử trị giá hàng trăm tỷ đô la.
LiDO hiện đã hoàn thành thiết kế mô hình và xác minh hình thức, và bắt đầu khám phá khả năng tích hợp với các chuỗi công khai chính và các giao thức phi tập trung. Giáo sư Shao Trung cho biết, họ đang nỗ lực xác minh các cơ chế then chốt trong Web3.0 để cung cấp sản phẩm và dịch vụ toàn chu kỳ, hỗ trợ tốt hơn cho chiến lược phát triển dài hạn của các doanh nghiệp và hệ sinh thái Web3. Vào cuối bài phát biểu, giáo sư Shao Trung nhấn mạnh: "Chất lượng, an toàn và có thể xác minh được các ngăn xếp giao thức mạng sẽ là con đường chính dẫn đến tương lai phi tập trung thực sự."
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
17 thích
Phần thưởng
17
10
Chia sẻ
Bình luận
0/400
BlockchainTherapist
· 08-01 13:34
Một mô hình khác không hiểu được
Xem bản gốcTrả lời0
PanicSeller
· 08-01 07:13
Các ông lớn đang chơi web3, nếu không nhập một vị thế thì sẽ muộn.
Xem bản gốcTrả lời0
BearHugger
· 08-01 00:51
Cái gì cái gì cái gì, lại đến để thổi phồng khái niệm sao?
Xem bản gốcTrả lời0
Layer3Dreamer
· 07-30 11:39
nói một cách lý thuyết, khung DAG của LiDO có thể giải quyết nút thắt cầu nối L3 của chúng ta...
Xem bản gốcTrả lời0
MelonField
· 07-29 17:04
Tôi không xem thì là bò nhỉ
Xem bản gốcTrả lời0
NewPumpamentals
· 07-29 17:03
Lại một cái nữa chẳng phải là rượu cũ trong chai mới sao
Xem bản gốcTrả lời0
BagHolderTillRetire
· 07-29 17:02
Lại đến việc thổi phồng khái niệm, đầu tư vẫn cần nhìn vào gmx
Xem bản gốcTrả lời0
gas_fee_therapy
· 07-29 16:48
Lại là giao thức nhận thức chung... Có vẻ quen thuộc rồi.
Xem bản gốcTrả lời0
ZkProofPudding
· 07-29 16:45
Sao lại là mô hình lý thuyết nữa
Xem bản gốcTrả lời0
WalletWhisperer
· 07-29 16:43
Lại là một lý thuyết khung sâu xa không thể hiểu được.
Giáo sư Yale công bố mô hình LiDO: Khung xác minh an ninh giao thức nhận thức chung Web3
Tại Hội nghị Học giả Web3, giáo sư Yale lần đầu công bố mô hình LiDO
Hội nghị học giả Web3 năm 2025 vừa diễn ra, giáo sư Shao Zhong từ khoa khoa học máy tính của Đại học Yale đã có bài phát biểu chủ đề mang tên "Chứng minh an toàn và tính khả thi của giao thức đồng thuận dựa trên tinh chỉnh: LiDO và các mở rộng của nó", lần đầu tiên tiết lộ mô hình LiDO và khung mở rộng LiDO-DAG mà nhóm của ông phát triển. Thành tựu đổi mới này nhằm cung cấp chứng minh an toàn và tính khả thi có thể xác minh cơ học cho các giao thức đồng thuận Byzantine Fault Tolerance (BFT) phức tạp, đặt nền tảng công nghệ cho sự phát triển độ tin cậy và khả năng mở rộng của hệ sinh thái Web3.
Giáo sư Shao Zhong trong bài phát biểu của mình đã chỉ ra rằng, mặc dù các giao thức đồng thuận hiện có (như PBFT và Jolteon) được sử dụng rộng rãi, nhưng do độ phức tạp trong việc triển khai, chúng thường ẩn chứa những lỗ hổng tiềm ẩn. Để giải quyết vấn đề này, mô hình LiDO đã sáng tạo ra một khung xác thực tinh chỉnh ba lớp:
Hiện tại, LiDO đã thành công trong việc áp dụng vào giao thức công nghiệp Jolteon (BFT hai giai đoạn) và nhiều giao thức DAG, hoàn thành hơn 10,000 dòng mã Coq với chứng minh cơ khí, trong đó số lượng mã xác minh an ninh và tính khả thi lần lượt đạt 4,000 dòng và 1,700 dòng. Giáo sư Shao Trung trong bài phát biểu đã nhấn mạnh: "Hiện tại, giao thức đồng thuận PoS đang gặp khó khăn trong việc đạt được ba yếu tố an ninh, tính khả thi và phi tập trung. Mô hình LiDO chính là giải pháp thiết kế hệ thống nhằm phá vỡ tình thế khó khăn này."
Giáo sư Shao Zhong và đội ngũ của ông đã phát triển CertiKOS, hệ điều hành "không có lỗ hổng" đầu tiên trên thế giới thông qua xác minh hình thức, được ca ngợi là "một cột mốc trong an ninh hệ thống vật lý mạng". Thành tựu này không chỉ đặt nền móng cho sự tích lũy sâu sắc của họ trong lĩnh vực an ninh hệ thống mà còn thể hiện khả năng chuyên môn của họ trong lĩnh vực này. Trong những năm gần đây, giáo sư Shao Zhong đã nghiên cứu sâu về an ninh blockchain, vào năm 2017, ông cùng với sinh viên của mình, giáo sư Gu Ronghui, đã đưa công nghệ xác minh hình thức vào lĩnh vực bảo đảm an ninh cho hợp đồng thông minh và giao thức trên chuỗi, cung cấp bảo vệ an ninh cho các tài sản tiền điện tử trị giá hàng trăm tỷ đô la.
LiDO hiện đã hoàn thành thiết kế mô hình và xác minh hình thức, và bắt đầu khám phá khả năng tích hợp với các chuỗi công khai chính và các giao thức phi tập trung. Giáo sư Shao Trung cho biết, họ đang nỗ lực xác minh các cơ chế then chốt trong Web3.0 để cung cấp sản phẩm và dịch vụ toàn chu kỳ, hỗ trợ tốt hơn cho chiến lược phát triển dài hạn của các doanh nghiệp và hệ sinh thái Web3. Vào cuối bài phát biểu, giáo sư Shao Trung nhấn mạnh: "Chất lượng, an toàn và có thể xác minh được các ngăn xếp giao thức mạng sẽ là con đường chính dẫn đến tương lai phi tập trung thực sự."