CertiK 两项建议纳入香港稳定币监管立法，助力国际金融中心竞争力提升

香港财经事务及库务局（财库局）与香港金融管理局（金管局）于 2024年 7 月 17 日联合发布《咨询总结 - 在香港实施稳定币发行人监管制度的立法建议》。在这份咨询总结中，财库局和金管局采纳了头部 Web3.0 安全审计公司 CertiK 提出的两项建议。此外，蚂蚁集团、币安、毕马威会计师事务所和渣打银行等机构提出的若干建议也被采纳。

CertiK 被采纳的建议包括：建议 1.13，从风险管理及用户保障角度出发，充分认识到在不同使用场景下私人密钥的储存及提供钱包服务的重要性。政府与金融监管机构正积极探讨针对这些活动的监管模式，并将在过程中持续与公众及相关权益人保持密切联系。建议 3.2.42，事故管理工作应包括但不限于制定事故管理政策、监察机制和事故应变计划，从而使发行人能够及时启动恢复行动，并向金融管理专员汇报事故情况。

2023 年 12 月 27 日，财库局和金管局联合发表有关香港稳定币发行人拟议监管制度的咨询文件，为期两个月的咨询期于 2024 年 2 月 29 日结束，期间共收到 108 份意见书。这些意见书来自市场参与者、行业组织、商业和专业团体以及个人等。大部分回应者明确表示，良好的监管环境是香港稳定币生态圈可持续发展的先决条件。

财库局局长许正宇表示：“除现行的虚拟资产交易平台监管制度外，建立法币稳定币发行人的发牌制度，将进一步强化香港的虚拟资产规管框架，使其与国际标准接轨，有效缓减发行法币稳定币相关活动对金融稳定构成的风险。” 金管局总裁余伟文称：“我们诚挚感谢回应者提供的宝贵意见，对他们普遍支持拟议的监管制度深感鼓舞。相信良好的监管环境将有力推动香港稳定币生态系统可持续且负责任地发展。”

香港 Web3.0 发展专责小组成员、CertiK 联合创始人顾荣辉教授表示：“CertiK 很荣幸参与香港稳定币监管框架的制定，并为其完善建言献策。CertiK 期待与金管局及其他行业伙伴持续合作，共同推动稳定币及相关虚拟资产的安全与创新。我们认为，实施这些监管措施，不仅能提升香港作为国际金融中心的竞争力，更可推动稳定币生态系统可持续发展，为用户提供更安全、可靠的数字资产服务。”

财库局和金管局将参考回应者的意见和建议，敲定立法建议以实施监管制度，并尽快向立法会提交条例草案。

标题：

CertiK联创邵中在 Web3 学者峰会上首次公开 LiDO 模型及框架

在 2025 年 Web3 学者峰会上，来自耶鲁大学计算机科学系的教授、CertiK 联合创始人邵中带来了一项重大突破 —— 首次公开 LiDO 模型及 LiDO - DAG 扩展框架。这一创新成果为复杂拜占庭容错（BFT）共识协议提供了可机械化验证的安全性与活性证明，致力于提升 Web3 生态的可靠性与规模化发展潜力。

邵中教授在会上介绍，LiDO 已成功应用于 Jolteon 等工业级协议，并完成了超万行 Coq 代码的机械化证明。Coq 作为一种强大的交互式定理证明辅助工具，其代码验证过程极为严谨，这意味着 LiDO 在实际应用中经受住了严格的考验，具有高度的可靠性与稳定性。

邵中教授及其团队长期深耕 Web3 安全领域，此次 LiDO 模型及框架的推出，是他们多年研究与实践的结晶。CertiK 自 2017 年由耶鲁大学和哥伦比亚大学的教授创立以来，一直致力于守护 Web3 世界的安全，凭借专业审计与前沿人工智能技术，为众多区块链协议与智能合约保驾护航。此次 LiDO 的公开亮相，不仅是 CertiK 在技术创新道路上的又一里程碑，更是为整个 Web3 生态系统的发展注入了新的活力。

随着 Web3 技术的快速发展，对底层技术架构的安全性、可靠性和扩展性提出了更高要求。LiDO 模型及 LiDO - DAG 扩展框架的出现，有望成为解决当前 Web3 生态发展瓶颈的关键技术，推动 Web3 行业迈向更加安全、高效、可扩展的新阶段，助力 Web3 生态在全球范围内实现更广泛、更深入的应用与普及。