邵中教授发布LiDO模型，推动Web3协议安全与规模化发展
2025-04-08 • By okx交易所
2025年4月8日，在年度Web3学者峰会上，耶鲁大学计算机科学系主任、CertiK联合创始人邵中教授首次公开了其团队开发的LiDO模型及其扩展框架LiDO-DAG。这一创新成果为复杂的拜占庭容错（BFT）共识协议提供了可机械化验证的安全性和活性证明，并致力于提升Web3生态系统的可靠性及其规模化发展。
LiDO模型的核心创新在于其三层细化验证框架。这三层框架分别是：安全抽象层、活性保障层以及DAG扩展层。每一层都针对不同的共识机制需求提供了更加细致和深入的安全与活性保障。在Web3生态中，随着去中心化技术的不断发展，共识协议的安全性和活性成为了亟待解决的关键问题，特别是在PoS（权益证明）共识协议中，安全性、活性与去中心化的平衡一直是一个挑战。LiDO的出现正是为了突破这一困境，提出了一个系统性的解决方案，力求在保证网络安全的前提下，提升协议的活性和去中心化特性。
根据邵中教授的介绍，LiDO已成功应用于多个工业级协议中，包括Jolteon协议。通过对这些协议的超万行Coq代码进行验证，LiDO展现了其强大的验证能力和可靠性，确保了协议在复杂环境下能够保持一致性和安全性。这对于Web3生态中需要高安全性、高性能和去中心化的协议而言，具有重要意义。
更重要的是，LiDO不仅仅是一个理论模型，它正在积极探索与主流公链的合作。邵中教授表示，LiDO将与多个区块链项目合作，共同构建可信的去中心化网络协议栈，从而推动整个Web3生态的健康发展。随着Web3技术的日渐成熟，去中心化协议的可验证性和稳定性成为了生态系统发展中的一个瓶颈。LiDO的提出，不仅为这一挑战提供了有效的解决方案，也为开发者和用户带来了更多的信任和保障。
随着Web3生态的快速发展，区块链和去中心化应用的规模和复杂性不断增加，这对现有共识协议的安全性和活性提出了更高的要求。传统的共识协议虽然在某些方面表现良好，但在面对大规模的去中心化网络时，往往存在性能瓶颈或安全漏洞。LiDO模型通过精细化的三层验证框架，弥补了传统协议的不足，使得Web3协议在面对更多节点和更复杂网络环境时，仍然能够保持高度的安全性和活性。
邵中教授和其团队的突破性成果，将为Web3生态的未来发展提供坚实的技术基础。通过LiDO的引入，Web3协议将能够更加高效地扩展，满足日益增长的应用需求，也为去中心化技术的广泛应用提供了可行的验证方案。随着LiDO与主流公链的进一步合作，预计这一技术将在未来的区块链项目中得到广泛应用，推动Web3生态系统的持续创新和进步。
总的来说，LiDO模型的发布不仅标志着Web3共识协议验证技术的一大进步，也为区块链和加密经济的发展提供了新的动力。随着更多的区块链项目开始采纳这一技术，Web3将迈向更加可靠和可扩展的未来。
