1、币安实验室向智能合约验证平台 CertiK 投资数百万美元

CertiK 是一家智能合同及区块链生态安全服务提供商，采用了形式化的验证，将智能合约转化为数学模型，通过逻辑上的推理演算来验证模型，从而证明智能合约的安全性，核心产品为 CertiKOS 防黑客操作系统。币安实验室近日向智能合约验证平台 CertiK 投资，投资额达数百万美元。

2、NULS 获美对冲基金 Ulysses Capital 战略投资

Nuls 是一个可定制的区块链基础设施，由微内核和功能模块组成，以弱化主链的思维，实现高度模块化的底层架构，提供智能合约、多链并行、跨链共识等运行机制，降低开发和使用的成本，基于 Nuls，用户可以灵活选择网络模块、共识模块、存储模块、算法模块等核心功能，也可以通过很少的编程工作来定义自己的业务逻辑。区块链开源项目、底层平台 NULS 已获尤利西斯资本 Ulysses Capital 的投资 , 并与该公司结成战略联盟，目前投资金额尚未透露，该笔资金将用于 NULS 生态开拓。

3、加密对冲基金投资组合管理平台 Lumina 完成 400 万美元种子轮融资

总部位于旧金山的加密对冲基金投资组合管理平台 Lumina 近日完成 400 万美元的种子轮融资，Craft Ventures 领投，贝恩资本和 Dragonfly Capital 跟投。该初创公司为加密货币对冲基金提供投资组合管理和交易执行工具，投资机构可以通过该公司的产品，让自己的投资组合实现可视化、追踪资产表现、评估风险并生成报告。目前该公司已经与 Coinbase、OkCoin、BitGo 和 Harbor 等公司展开合作。

4、以色列初创公司 KZen Networks 融资 400 万美元开发加密货币钱包

以色列初创公司 KZen Networks 刚刚完成 400 万美元种子轮融资，用于开发加密货币钱包。该公司表示，计划开发的钱包产品将着重考虑用户体验，同时兼备安全性能。该轮融资中，Benson Oak Ventures 领投，Elron、Samsung NEXT、FJ Labs、Collider VC 和 BlockNation 跟投。区块链身份认证项目 Civic 联合创始人 Jonathan Smith 也是该公司的天使投资人。