IOSG 2021-04-13 11:30 1936

摘要:

在我们看来，数学逻辑论证是就是守卫DeFi或是整个区块链行业安全运作的清道夫，未来随着区块链加密行业的逐步发展和完善，数学逻辑论证将或成为其中关键。

Part.1 Insight

智能合约审计是区块链行业安全运作的清道夫

圈内一天，圈外一年。随着区块链平台及各种应用的落地，智能合约（Smart Contract)涉及的金额呈指数级增长。一直以来，智能合约的安全问题都是投资者和开发者共同关注的焦点。据报道，仅在2020年，在122起区块链黑客攻击事件中，已经导致了38亿美金的的损失。

智能合约是一种旨在以信息化方式传播、验证或执行合同的计算机协议，允许在没有第三方的情况下进行可信交易，这些交易可追踪且不可逆转。智能合约做为电子合约、去中心化仲裁和合约间交互的一个结合，会产生大量的资金往来。如果出现重大漏洞，资产损失将不可避免，甚至项目会就此彻底失去用户信任。因此，DApp需要更严谨的测试和审计。

形式化验证是指用数学方法去证明系统无 Bug 。在以前更多见于硬件设计领域。因为硬件设计周期长，一旦生产出来就很难改动。如果直接用一台机器去做各种试验，成本是很高的。但是如果用数学去构建一台虚拟机去验证，可以做到论证充分，同时又没有太高的成本。这个过程叫做数学论证建模，也就是我们说的形式化验证。我们最近研究了一些保护我们智能合约的专业机构与项目：

智能合约审计项目/公司一览

软件避免出bug的方法是测试，测试代码中其实会模拟一些输入和输出情况来保证逻辑通顺。如今DeFi正在飞速发展，相比之下，形式化验证就是加强化测试，用数学论证，保证逻辑通畅。在区块链领域，代码即法律，代码控制着我们的数字身份，控制着我们智能合约中的资金。但是智能合约要避免被黑客攻击，其安全审计又是如何进行的呢？

如今，区块链虽然仍处于早期，但其快速的发展，已经引起了越来越多的社会关注，黑客是其中一个群体。为了避免黑客事件的发生，交易所、钱包、项目方等都在智能合约安全上加大投入。围绕着智能合约安全的周边生态建设也成为投资热点。与此同时，开发人员也开始了对智能合约程序逻辑无误的探索，从源头改进形式化验证的核心，即提升数学逻辑的准确性，以求建立更为高效的区块链基础。目前OCaml、Haskell、æternity等数学模型论证函数式编程语言已逐渐应用于区块链世界，使一些分布式分类账协议和智能合约很大程度上获得可扩展性、稳定性和容错性。在我们看来，数学逻辑论证是就是守卫DeFi或是整个区块链行业安全运作的清道夫，未来随着区块链加密行业的逐步发展和完善，数学逻辑论证将或成为其中关键。（本文部分观点摘自知乎）

Part.2 投融资事件

Alameda Research 向越南 DeFi 团队 Coin98 Finance 投资 400 万美元

*风投机构

Coin98 旗下的风险投资机构 Coin98 Ventures 是越南最大的加密基金之一，还曾与 Solana 联合运营一个生态基金。Coin98 旗下拥有去中心化交易所和钱包，交易额在 3 月时达约 2000 万美元，团队称其拥有 20 万用户，主要分布在东南亚地区。

Mintable 完成种子轮融资，CRC Capital 等参投

*NFT 平台

NFT 创建和交易平台 Mintable 现已完成种子轮融资，参与本轮融资的投资方包括企业家许文辉（Koh Boon Hwee）旗下区块链投资机构 CRC Capital、Time Ventures、Sound Ventures、Defiance Capital、DeFi Alliance 以及 Lunex Ventures。Mintable 暂未披露具体融资金额。

高频交易公司 Jump Trading 已投资区块链体育和电子竞技平台 Chiliz 的股权

*区块链体育和电子竞技平台

Jump Trading 已经对区块链体育和电子竞技平台 Chiliz 进行了股权投资。Jump Trading 表示，自今年初以来，它一直在为 Chiliz 发行的代币做市，也就是提供买卖报价和流动性。

Iron Fish 启动公测阶段，此前共筹集到 530 万美元资金

*隐私项目 

Iron Fish 宣布启动公测阶段，目前任何人均可运行完整的 Iron Fish 节点。同时，Iron Fish 还公布从成立以来已从多位天使投资人和机构筹集到 530 万美元，包括 Electric Capital （Avichal Garg）、Elad Gil、Metastable （Naval Ravikant 和 Lucas Ryan）、A Capital （Kartik Talwar）、Slow Ventures （Jill Carlson）、Dylan Field （Figma）、John Lilly、Jack Abraham （Atomic）、Juan Benet （Filecoin）、Jack Chou、Balaji Srinivasan、Lemniscap （Roderik van der Graaf）、James Prestwich 和 Linda Xie 等。

dClimate 完成由 CoinFund 领投的 350 万美元种子轮融资，Multicoin Capital 等参投

*去中心化气候数据网络 

dClimate 宣布完成 350 万美元的种子轮融资，此轮融资由 CoinFund 领投，参投方包括 Multicoin Capital 和 Republic Labs。dClimate 创始团队通过出售其原生治理代币筹集此轮融资，所筹资金将被用于招聘开发人员，并通过吸引更多参与者进入市场来扩展网络的数据来源。

zCloak Network 完成 130 万美元种子轮融资，IOSG Ventures和 Hypersphere 联合领投

*波卡隐私计算平台 

zCloak Network(原 Starks Network) 已完成 130 万美元种子轮融资，由 IOSG Ventures 和 Hypersphere Ventures 联合领投，KR1、DFG、Advanced Blockchain AG、PAKA Fund、数字文艺复兴基金会参与投资。zCloak Network 项目启动于 2020 年，通过独创的「自主权数据」与「自证明计算」技术，在完全不对外发送个人数据的情况下完成对数据分析和计算，从而彻底消除大数据与云计算时代个人数据隐私泄露的痛点。zCloak Network 致力于实现波卡 Web3.0 的美好愿景，将数据主权交还给每个人自己。

Layer2 解决方案 AllianceBlock 获「币安 1 亿美金种子基金」投资

*Layer2 解决方案 

AllianceBlock 宣布获得「币安 1 亿美金种子基金」的投资，投资金额未披露。AllianceBlock 于 2020 年末在币安智能链上推出，正在构建一种去中心化、隐式区块链（blockchain-agnostic）的 Layer2 协议，该协议可自动将任何数字资产转换成可证券化的产品。

趣链科技完成数亿元 C 轮融资

*区块链技术及解决方案供应商

杭州趣链科技有限公司宣布完成数亿元 C 轮融资，本轮融资由易方达领投、龚虹嘉带领的银宏基金跟投。

Part.3 行业脉搏

OpenZeppelin 推出智能合约交互式工具 Contracts Wizard

*以太坊技术服务商

OpenZeppelin 推出智能合约交互式工具 Contracts Wizard。Contracts Wizard 是可以交互式地从 OpenZeppelin 合约组件中建立合约的一个界面，开发者可以自己选择合约类型（当前支持 ERC 20 和 ERC 721），设置所需的代币名称、符号和初始数量等功能，Contracts Wizard 生成满足开发者需求随时可编译部署的必要代码，也可以进一步定制特定应用逻辑的代码。

Inverse DAO 代表提议以超 167 万美元收购 Tonic Finance

*DeFi 稳定币收益协议 

Inverse Finance DAO 代表在与 DeFi 项目 Tonic Finance 创始人 Tony Snark 协商后，提议以 167.55 万美元收购 Tonic Finance 及其所有资产，之后将发布链上投票。Tonic Finance 目前正在构建 DCA （平均成本法）策略产品 Swirl，在被收购后，Tonic Finance 创始人兼首席开发人员 Tony Snark 将作为全职开发人员加入 Inverse DAO，负责领导和进一步开发 Inverse Finance 的 DCP Vault 以及其他产品，同时，Swirl DCA 产品将集成到 Inverse Finance 产品线中。

ENS 展示基于 Optimism 的二层 MVP 版本

*以太坊域名服务 

ENS 的首席开发者 Nick Johnson 在 ENS 研讨会上演示了由 Layer 2 支持的第一个 ENS 的最小化可行产品（MVP），展示了如何在 Optimism 上解析 ENS 域名。这次端到端的演示是首次使用二层解决方案解析 ENS 名称的实例，展示了一层的应用和不同的二层解决方案之间进行无信任通信的全新系统。该系统基于 Vitalik Buterin 的想法，使用户能够将记录存至 L2 上，支持对 ENS 数据更新，而无需支付以太坊 Gas。Nick Johnson 表示之后会继续开发构建支持 ENS 和其他项目的标准版本。

Dora Factory 将于 5 月 1 日开启 Open Grant Program，资助 DAO 和链上治理相关模块

*DAO 基础设施

Dora Factory 将于 2021 年 5 月 1 日开启 Open Grant Program 资助计划。Open Grant Program 将以 DORA 和 USDC 的形式，资助基于 Substrate 和以太坊生态 DAO 及链上治理相关的模块，包括研究和开发工作。第一阶段的资助金额下限是 500 USDC 或等值 DORA，上限是 10,000 USDC 或等值 DORA。5 月 1 日开始，开发者及团队可通过 GitHub 向 Dora Factory 提交 Open Grant Proposal 申请。

Coinbase 加入 DeFi Alliance，将为 DeFi 领域的新兴项目提供支持和指导

*DeFi基金

Coinbase 宣布加入 DeFi Alliance，该组织将为 DeFi 领域的新兴项目提供支持和指导，并开展了一个为期八周的计划 Accelerate DeFi，旨在为初创企业提供构建、开发和扩展平台所需的资源。

Sound Ventures 斥资百万美元举行 NFT 竞赛活动，评审团包括 Mark Cuban、Snoop Dogg 以及 3LAU

*风险投资基金 

Sound Ventures 将于 4 月 30 日举行 NFT 竞赛「The Pitch」活动，将提供超 100 万美元奖金，以支持 NFT 中最具创新性的想法，申请截至日期为 4 月 12 日。评审团包括 Sound Ventures 联合创始人 Guy Oseary、亿万富翁 Mark Cuban、NFT 基金 Metapurse 创始人 Metakovan、饶舌歌手 Snoop Dogg、著名音乐家和制作人 3LAU、Scalar Capital 联合创始人 Linda Xie、数字艺术品收藏家 &WHALE 创始人 Whale Shark 以及 Sound Ventures 联合创始人 Ashton Kutcher。

Part.4 IOSG投后项目进展

NEAR 与以太坊跨链彩虹桥已正式上线，支持任何 ERC 20 代币

*开放性网络

NEAR 宣布以太坊跨链彩虹桥已正式上线，所有 ERC 20 代币都可以在 NEAR 和以太坊之间实现无缝转移。NEAR 团队表示，还没有 NEAR 账户的以太坊用户可以在 Paras 为其提供的 ETH Faucet 服务上，用 MetaMask 免费创建 NEAR 账户，任何人只需登录 MetaMask，证明自己的账户余额高于 0.05ETH，即可领取一个 NEAR 账户，并立即使用彩虹桥跨链。

Kusama 已上线平行链拍卖介绍网页，涵盖流程和常见问题

*波卡实验网络 

波卡实验网络 Kusama 已正式上线平行链拍卖的网页，详细解释了什么是 Kusama 的平行链拍卖，如何参与以及更多常见问题。Kusama 的平行链拍卖机制将分为 5 个部分：团队先上传他们的平行链代码和相关参数、拍卖期间可以开放竞价、拍卖结束的精确时间由 VRF （可验证随机函数）确定、竞拍成功团队的 KSM 将会被锁定（之后可解锁）、当平行链租赁结束前可以通过另一场拍卖延长租期。

1inch 总交易额突破 300 亿美元；1inch 更名为 1inch Network，重组组织结构

*链上交易聚合器 

1inch 总交易额突破 300 亿美元，总交易笔数超 100 万笔，总用户数超 17.6 万，24 小时交易量超过 1.7 亿美元。1inch 宣布全新改版，更名为 1inch Network，并对其组成部分进行定义。根据 1inch 发布的官方博客，这一改版旨在更好地反映一个多链、多协议平台的当前和未来状态，1inch Network 由 5 个不同但可互操作的组件组成，分别是 1inch 聚合协议、1inch 流动性协议、1inch DAO、1inch Labs 和 1inch 基金会。

DeBank 新增支持 xDai 链的 DeFi 协议

*一站式 DeFi 钱包 

一站式 DeFi 钱包 DeBank 新增支持 xDai 链的 DeFi 协议，用户可以通过 DeBank 的 DeFi 资产总览、聚合代币兑换、DeFi 数据榜单等功能来访问 xDai 上的 DeFi 协议。xDai 上首批支持的 DeFi 协议包括 HoneySwap、Perpetual Protocol、Bao Finance、Component，即将支持 Agave 借贷协议。目前，DeBank 支持以太坊、BSC 链及 xDai 链上数百个 DeFi 协议。

Automata 与 Celer 就链下投票解决方案展开合作

*去中心化中间件协议 

Automata Network 宣布与二层扩容方案 Celer Network 展开合作，Automata 推出的链下投票解决方案 Witness 可以为建立在 Celer 之上的应用实现更好的去中心化治理。Celer 联合创始人 Mo Dong 表示，「我们认为 Witness 是一个独特的解决方案，可以解决去中心化项目治理所面临的一些最具挑战性的问题，包括隐私和完整性的问题，同时为社区成员提供一个简单易用的界面。」

Celer 新扩容方案 Layer2.finance 发布测试网，并推出测试竞赛活动

*以太坊二层扩容项目 

Celer Network 现已将其 DeFi 扩容提速解决方案 Layer2.finance 测试网部署到 Ropsten 上，并推出测试竞赛活动，活动时间截止到 UTC 时间 4 月 19 日 00:00，活动内容包括收益率竞赛、测试 Layer2 Rollup、提供 UI/UX 反馈等。

EPNS 将发行 100 枚 NFT，持续分发一年

*以太坊推送服务 

以太坊推送服务（EPNS）宣布将发行 NFT （非同质化代币），接下来的一年内每周赠送给社区成员。该系列 NFT 被称为「ROCKSTARS」，由印度艺术家创作，共 100 幅插画，将分为两个阶段发布，最初的分发以及后续的每周分发。团队表示，每周一他们会将一份 EPNS 的 NFT 赠送给一位社区内的粉丝、支持者或传播者。初期分发的 48 个将会赠送给项目的顾问或者提供帮助的人，后续团队会在推特上联系安排。

来源：IOSG（ID：IOSGVC）

和11万人同时接收最新行情资讯

搜“鸵鸟区块链”下载

和2万人一起加入鸵鸟社群

添加微信ID：tuoniao02

声明： 鸵鸟区块链所有发布内容均为原创或授权发布，如需转载，请务必注明文章作者以及来源：鸵鸟区块链（微信公众号：MyTuoniao），任何不尊重原创的行为鸵鸟区块链都将进行责任追究！鸵鸟区块链报道和发布内容，不构成任何投资建议。