Weekly Brief | DeFi協議如何做合約安全審計(頭部玩家概覽) #33

買賣虛擬貨幣

2020.06.16-06.22

Part.1 Insight

#智慧合約審計&形式化驗證行業

@IOSG VC:

形式化驗證是一種基於數學和邏輯學的方法,在智慧合約部署之前,對其程式碼和文件進行形式化建模,然後透過數學的手段對程式碼的安全性和功能正確性進行嚴格的證明,可有效檢測出智慧合約是否存在安全漏洞和邏輯漏洞。該方法可以有效彌補傳統的靠人工經驗查詢程式碼邏輯漏洞的缺陷。形式化驗證技術的優勢在於,用傳統的測試等手段無法窮舉所有可能輸入,而我們用數學證明的角度,就能克服這一問題,提供更加完備的安全審計。

換句話說,“形式化驗證”就是透過數學的方法證明程式是“正確的”。這裡的正確性,指的是,程式的實現,與程式設計師的設計或意圖(我們稱作規範)是相符的。以太坊創始人Vitalik Buterin說過,所有程式的bug,都是由“程式的實現,與程式設計師的意圖之間有區別”導致的。形式化驗證,就是希望透過數學方法,證明沒有這種“區別”。

由於目前智慧合約審計是一個非常年輕的行業,面臨的最大問題是行業並沒有形成一個統一的審計標準和規範,審計流程也存在不夠透明的問題。這導致了許多專案儘管接受了審計公司的服務,但也沒法足夠保證專案的安全性不出現問題,或者出現問題也無法追責,因此整個行業我們認為還是處在發展初期。

Part.2 行業脈搏

Compound 總鎖倉量超越 MakerDAO ,推動 DeFi 鎖定資產總價值創下歷史新高

* DeFi

據 DeBank 資料顯示,加密貨幣借貸協議 Compound 總鎖倉量已超越此前長期位居榜首的 MakerDAO,成為鎖定總價值最高去中心化金融協議。截至目前,Compound 總鎖倉量已超 5 億美元,而 MakerDAO 為 4.74 億美元。Compound 的借款總量同樣持續超越 MakerDAO,排名首位, Compound 的借款總量為 2.33 億美元,MakerDAO 為 1.23 億美元,兩者差距再度拉大。

Algorand 成為國際象棋評級及比賽的官方鏈上資訊記錄平臺

* 公鏈

Algorand 宣佈,FIDEOnline Arena (國際象棋聯合會線上競技場)推出推出數字象棋比賽中,所有棋手的官方評級和稱號資料將被實時記錄在 Algorand 去中心的區塊鏈網路上,該舉措旨在讓國際象棋數字評級系統更為可靠、透明。本週Algorand 基金會表示,將整合 Chainalysis 的 KYT (瞭解你的交易)功能來進行交易監控和合規流程,並使用 Chainalysis Reactor 調查工具來加強對 Algorand 代幣 ALGO 的詳盡調查。

Synthetix 和 Curve、Ren 合作為基於以太坊的 BTC 建立新的流動性激勵池

* BTC

合成資產平臺 Synthetix 宣佈已與 Curve 和 Ren 聯合推出新的流動性激勵池,為基於以太坊的 BTC (BTC 錨定幣)代幣提供流動性激勵。目標是建立最具流動性的基於以太坊的 BTC 池,為交易者提供在 sBTC、renBTC 和 WBTC 之間交易的最低滑移率。

@IOSG VC:

From a trading perspective, the obstacle related to cryptocurrency market is often its illiquidity. Consequently, larger trades frequently cause larger slippage rates that can significantly reduce traders’ profitability. The initiative by Curve, Ren and Sythetix is one of the projects aiming to resolve this issue. Users are incentivized to provide liquidity by the yield they can obtain for their native tokens. To obtain the yield, liquidity providers will have to contribute renBTC, WBTC and sBTC to the liquidity pool.

On a weekly basis, liquidity providers will receive SNX and REN, CRV and BAL in proportion to their Curve BTC liquidity contributions. While SNX(where it comes from Hill) and REN are provided by Synthetics and REN team, respectively, CRV and BAL tokens are still not available on the open market.

The procedure can be summarized as follows:

1. liquidity provider puts sBTC (synthetic BTC), renBTC and/or WBTC (wrapped BTC) to the BTC Curve liquidity pool;

2. liquidity provider receives Curve LP tokens as a reward for the contribution;

3. liquidity provider stakes the tokens to Mintr.

Oasis Labs 已啟動主網候選版本 Amber Network

* 隱私

Oasis Labs 宣佈已正式啟動主網候選版本「Oasis Amber Network」。Amber Network 包含主網啟動時的所有核心功能,如質押和委託、完全去中心化的共識層、整合分類帳錢包(即將推出)以及驗證人的佣金率工具等。

以太坊開發人員:ETH 2.0 主網創世時間最早可能要等到十月

* ETH主網

在 OKEx 礦池和以太坊中國主辦的「Hello,ETH2.0」AMA 活動中,針對「以太坊 2.0 目前的開發進度和大致釋出時間」這一問題,ETH 2.0 多客戶端測試網的先鋒開發者 Afri Schoedon 表示,目前沒法預判主網的創世區塊何時產生,因為 ETH 2.0 有太多變動因素。

@IOSG VC:

PoS機制的以太坊2.0上線後,Staking經濟將是所有礦工、礦池、開發者和普通投資者最關 心的事情,根據Consensys一次287人的調研結果表明(如下圖):有32.8%的人準備自己跑Staking節點,33.1%準備用第三方節點做Staking。

ETH2.0的完全去中心化的staking經濟是以太坊安全性的保障,現在,大部分質押者都能透過參加其中一個公共測試網,參與eth2執行測試。Prysmatic Labs正執行一個eth2公共測試網Onyx。點選次網站參與測試:https://prylabs.net。訪問該網站對節點進行監測:https://beaconcha.in

億邦國際計劃在納斯達克上市,擬籌資 1.06 億美元

* 礦機

納斯達克官網顯示,比特幣礦機生產商億邦國際更新招股書,計劃在納斯達克上市(股票程式碼為「EBON」),新增 Prime Number Capital 作為承銷商。億邦國際擬出售 1930 萬普通股,每股價格在 4.50 美元至 6.50 美元之間,籌資 1.06 億美元。

加密貨幣錢包 MyEtherWallet 推出自託管網站服務,允許使用者釋出抗審查內容

*錢包

老牌加密貨幣錢包 MyEtherWallet 宣佈推出一項新的「自託管網站服務(Host Your Own Site)」,允許使用者在去中心化域名「.crypto」和「.eth」上自主託管其網站,使用者能在網站上釋出抗審查內容。

Etherscan 推出去中心化網路搜尋引擎 BlockScan,支援瀏覽 「.eth」等網域

* 區塊鏈瀏覽器

以太坊網路區塊瀏覽器 Etherscan 推出去中心化網路搜尋引擎 BlockScan,該網站基於 IPFS 搭建的並連線至多個節點進行處理和儲存,該網站首個版本將包括從目前包括 .eth、.crypto、.zil 等 3 個區塊鏈網域開始迭代,擁有 150 個已知網站目錄供使用者瀏覽並搜尋。同時,BlockScan 也支援使用者可以提交上傳其 IPFS 站點。

Part.3 投融資事件

KRNC 獲美國國家科學基金資助以升級電子美元

* 加速器,孵化

KRNC 聲稱透過了美國國家科學基金(The National Science Foundation,NSF外部專家小組的匿名同行審查,獲得 “種子基金”專案(America’s Seed Fund)第一階段贈款。該專案將為受保護的數字交易開發一種新技術,以分散式賬本技術對現有的電子貨幣進行改造,使其具有新的加密功能,包括數字稀缺性和智慧合約。

@IOSG VC:

美國國家科學基金會是美國聯邦政府的獨立機構,他們此次向KRNC授予了225,000美元的贈款,目的是在當前數字美元成為全美熱議的話題時設計數字美元的加密功能。關鍵追溯網路共識協議(KRNC)是一種協議,該協議能將數字貨幣直接分配給使用者(根據使用者實際持有的法幣),因此持有美元的任何人都可以與去中心化應用程式進行互動,而無需購買比特幣或以太坊等加密貨幣。

Omise 和 OMG Network 母公司 SYNQA 獲得 8000 萬美元 C 輪融資,SCB 10X 和 SPARX Group 領投

* C輪融資

Omise 和 OMG Network 母公司 SYNQA 宣佈獲得由 SCB 10X 和 SPARX Group 領投的 8000 萬美元 C 輪融資

SYNQA 是一家金融科技公司,總部位於泰國,前身為 Omise Holdings,此次融資將被用於開發增強的企業解決方案和產品。

Authenticiti獲得額外資金以透過區塊鏈轉變B2B供應鏈

* 種子

擁有區塊鏈功能的供應鏈平臺Authenticiti宣佈已完成了種子輪融資,具體金額未披露。本輪融資由Gravity Ranch領投,Holt Ventures,SRI International和現有投資者Scopus Ventures參與。Authenticiti平臺是用於供應鏈管理的可驗證真相的單一來源,可實時連線孤立系統中的資料。Authenticiti的解決方案包括追蹤溯源,分歧和解,以及供應商管理庫存。客戶包括洛克希德馬丁,通用電氣航空,NEXA,等。

River Financial將使用570萬美元的種子輪融資來擴充套件比特幣“銀行”*比特幣

為比特幣投資者提供銀行服務的比利時初創公司 River Financial 宣佈已完成 570 萬美元種子輪融資,Polychain Capital 領投,Slow Ventures、Castle Island Ventures、DG Lab Fund、Cygni Capital 以及 Square Crypto 的產品經理 Steve Lee 等投資機構和個人投資者參投。

Part.4 IOSG投後專案進展

IOSG Ventures 成為 Polkadot CC1 首批 20 個創世驗證人之一

* staking

Web3.0 投資機構 IOSG Ventures 於 6 月 18 日成為 Polkadot CC1 首批 20 個創世驗證人之一,這標誌著 Polkadot CC1 網路正式進入 POS 模式,使用者可以使用 DOT 提名驗證人獲得 Npos 獎勵。IOSG Ventures 表示,已成功運營的節點還包括 Cosmos,、Kusama、Kava、ETH2.0 測試網節點、NEAR。此前,Cosmos 公佈 2019 年度社羣生態貢獻者名單,入選者包括 IOSG Ventures。

Vechain 聯合數字化醫療諮詢機構共同開發的區塊鏈醫療存證應用「E-HCert App」正式投入使用

* 存證

Vechain宣佈聯合數字化醫療諮詢機構 I-Dante 開發的區塊鏈醫療存證應用「E-HCert App」已投入使用,該應用將能儲存 COVID-19 的測試結果。這個名為 E-NewHealthLife 的平臺目前已部署在塞普勒斯共和國的地中海醫院中。進行 COVID-19 實時診斷和抗體測試的塞普勒斯公民,可在 VeChain 區塊鏈上儲存醫療和測試記錄,這些記錄將以加密的形式,其雜湊值將被上傳到 VeChainThor 區塊鏈上,同時結果可在 E-HCert 應用中顯示。

Filecoin 推出總獎池含 400 萬 FIL 的 Filecoin Ignite 專案,並將與 ETHGlobal 聯合舉辦 HackFS 駭客松

* 去中心化儲存

Filecoin 推出 Filecoin Ignite 專案和 HackFS 駭客松。目前 Filecoin Ignite 包含 6 個主要活動。HackFS 是一場為期 30 天的線上駭客松活動,旨在為分散式網路搭建基礎。開發者將搭建 dapp、遊戲、開發者工具、DeFi 整合和使用分散式儲存的其他技術。

免責聲明:

  1. 本文版權歸原作者所有,僅代表作者本人觀點,不代表鏈報觀點或立場。
  2. 如發現文章、圖片等侵權行爲,侵權責任將由作者本人承擔。
  3. 鏈報僅提供相關項目信息,不構成任何投資建議

推荐阅读

;