2021.04.05-04.12

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 個將會贈送給項目的顧問或者提供幫助的人，後續團隊會在推特上聯繫安排。