区块链安全公司CertiK正式加入通用协议联盟

硅谷Live / 实地探访/ 热点探秘 / 深度探讨

通用协议联盟（Universal Protocol Alliance，以下简称“联盟”）近日正式对外宣布了区块链安全领域先锋企业 CertiK 的加入。据悉截至目前，CertiK 已在区块链安全和智能合约审计方面成功保护了价值 12 亿美金的资产免受攻击。

通用协议联盟位于美国旧金山，是一个由多家区块链行业最具规模和影响力的企业组建的机构，包括 Brave、Bittrex International、Uphold、Cred、Blockchain at Berkeley、BraveBitgo 等。联盟的创立，旨在制定通用且透明的资产储备标准，实现“为未来的 1 亿加密货币用户提供支持”的宏大目标。联盟深度聚焦区块链科技行业，致力于连接不同平台的区块链技术，允许代理通证的生成、托管和存储，推动区块链技术的创新，助力实现区块链在经济、社会和工业领域的快速发展。此外，联盟也引入了一系列重要的加密货币安全保障措施，被主流的加密货币所采用。此次 CertiK 的加入也表明了联盟对区块链安全的高度重视。

CertiK 是由耶鲁大学计算机科学系系主任邵中教授和哥伦比亚大学助理教授顾荣辉联合创立，其共同拥有的形式化验证技术得到了世界专利认证。CertiK联合行业内领先的安全专家为区块链项目提供智能合约审计、渗透测试和威胁警报等安全服务。近日，CertiK 联合创始人顾荣辉荣获IBM公司通过哥伦比亚-IBM数据中心颁发的科研奖金，该奖金将主要用于研发函数式高级编程语言 DeepSEA，用于在超级账本（Hyperledger Burrow）等跨平台环境中，编写能够被完全形式化验证的智能合约。

CertiK 表示，此次加入通用协议联盟，团队会利用自身强大的安全审计技术优势，用深度规范的形式化验证方法，为每一个将要在联盟平台上发行通证的项目，提供安全保障。另外，项目的审计结果也会在社区进行公布，实现公开透明，从代码安全这一重要方面反映出代理通证生态系统的健康状况。目前，生态中首个被验证的项目是近日将发行的 Universal Dollar。

通用协议联盟主席暨 Cred 主席 Dan Schatt 评价“当今世界正处于科研和创新的划时代阶段，CertiK 是一个值得信赖的区块链安全科技公司”，并称“ CertiK 的加入将会推动通用协议联盟进一步贯彻对智能合约代码结构的完整性、透明性和可持续价值的坚定承诺。这些承诺将会作为重要基石，增强广大用户对联盟所提供的通证的信赖和信心。”

CertiK 首席运营官 Daryl Hok 说：“CertiK 非常荣幸能够加入通用协议联盟，也十分期待通过我们的形式化验证技术为区块链生态中的更多企业提供更强有力的安全保障。”

未来，联盟的通用协议平台将打造一个新的通证化数字资产世界，涵盖从包括比特币在内的通用区块链一直到通用证券和通用私募股权等多种数字资产，并将为不同形式价值之间的即时无缝兑换提供便利。通过这一系列举措，通用协议平台将全面解锁区块链未被开发的巨大潜力，用代理通证表现数字资产，从而转变个人和企业储存和传输价值的方式。

上述言论是在近日于美国旧金山举办的通用协议联盟理事会首次会议中对外公布的，本次出席会议的有联盟成员高管、多家主流媒体，以及多位区块链行业知名人士，如 JavaScript 创始人和 Brave 创始人 Brendan Eich、TechCrunch 和 Arriton XRP Capital 创始人 Michael Arrington、Decrypt Capital 合伙人 Howard Wu、Uphold 首席执行官 JP Thieriot等。