实时资讯AI解读
回顾 | 2025香港Web3嘉年华: CertiK以创新技术定义安全未来
2025-04-11 20:38:52 [ 北京时间 ]
摘要:
在2025香港Web3嘉年华上，CertiK展示了其在Web3安全领域的最新进展和技术成果。CertiK首席技术官Li Kang博士强调了Web3钱包与托管服务的安全风险，并提出了多重纵深防御的安全运营策略。邵中教授则首次公开了LiDO模型及LiDO-DAG扩展框架，为复杂拜占庭容错共识协议提供可机械化验证的安全性与活性证明，推动了区块链技术在理论与实践结合上的重大进展。