安全CertiKCertiK 是一家区块链安全公司,于 2017 年由耶鲁大学计算机系主任邵中教授、哥伦比亚大学计算机系顾荣辉教授共同创建,通过形式化验证技术为智能合约和区块链应用提供代码安全解决方案,合作伙伴包括以太坊基金会、币安、OKEx、火币、比特大陆等。 2020 年 9 月 CertiK 基金会宣布正式开源 CertiK Chain,开放使用的产品包括 CertiK Chain、去中心化 CertiK 安全预言机、用于编写安全智能合约的安全编程语言和编译器工具链 DeepSEA 工具链。 KeylabsKeylabs 是一家专注于加密货币、区块链、硬件安全的公司,提供加密货币钱包技术、安全储存、智能合约安全、多方签名、钱包审计等服务。团队主要成员有柏林工业大学硬件安全博士 Dmitry Nedospasov、《福布斯》杂志 30 岁以下科技精英 Thomas Roth、嵌入式系统工程师 Josh Datko。 PhishFortPhishFort 是一家来自南非的反网络钓鱼解决方案开发商,为数字资产交易所、ICO 和代币发行平台等提供反网络钓鱼解决方案,服务的公司有 MyEtherWallet、IDEX、Paxful、Exodus 等。 基础设施HarmonyHarmony 是一个去中心化高性能区块链,主网支持 4 个分片,1000 个节点,每 2 秒最终确认交易并出块。Harmony 称其有效权益证明机制(EPoS)减少了抵押的中心化风险,同时支持代币委托和区块奖励的复利,实现双重签名惩罚的抵押机制,以保护区块链安全性。 Harmony 创始人谢镇滔毕业于宾夕法尼亚大学,专注于研究安全通讯协议和编译器校验技术,曾在微软研究院总部任职研究员,在 Google 任职高级软件工程师,负责基础架构方面的项目,并在苹果公司总部担任工程师,主导搜索排序方面的工作,他曾创立一个专注于移动搜索的公司 Spotsetter,并被苹果公司收购。 2019 年 4 月 Harmony 宣布出售代币完成 1800 万美元的融资,投资人包括香港的风险投资机构 Lemniscap、澳大利亚的 BCA 基金、新加坡的 UniValues Associates 和美国的 Consensus Capital。Harmony 计划预挖矿 126 亿枚代币,本轮投资者购买了其中的 28 亿枚代币,剩下代币中的一部分将用于激励该区块链网络的早期参与者。2019 年 5 月 Harmony 作为币安第五个 (责任编辑:admin) |