原文標題:《關於 Maker 的十個冷知識》
原文來源:MakerDAO
在 2014 年以太坊出現之前,MakerDAO 的創始人是比特股社區的活躍成員,探索在 BitShares 平臺上推出穩定幣 Dai。但後來發現比特股網絡不夠支撐一個複雜的金融系統,滿足靈活強健的治理和風險管理,而選擇了以太坊平臺。
Dai 的最早雛形誕生於 2015 年 3 月,這個時間點比以太坊測試網的正式發佈還要早兩個月。創始人 Rune 在 Reddit 上與以太坊社區的成員包括 Vitalik 分享了協議的設計、合約代碼以及測試前端。

MakerDAO 成立時,懂中文的創始人 Rune 決定用一箇中文名稱來命名 Maker 的穩定幣。第一個想法是 JIAO,意味着「交換」,北宋的交子也是世界上最早紙幣,但是很快 JIAO 就被放棄了,因爲不言而喻的聯想。最終,名字鎖定爲 Dai,意味着借貸。
Dai 足夠簡短只有 3 個字母,而且加密貨幣概念的最早提出者也叫 Wei Dai。Dai 在斯拉夫語中的意思是「給予」,在許多亞洲語言中,Dai 的含義也是與金融息息相關。

在 2016 年 7 月的 DAO 攻擊事件發生後,MakerDAO 和 DigixDAO 社區發表聯合聲明,支持受到攻擊的網絡硬分叉爲今天的以太坊。

在最初的設計中,Dai 的價格並非錨定美元,而是嘗試錨定特別提款權(SDR),但後來設計者逐漸認識到與世界貨幣美元相比,SDR 的波動更大,並沒有成爲廣爲使用的標準,於是選擇錨定美元,沿用至今。
以太坊上最早的 DEX 是什麼?答案是 OasisDEX,這是一個早於 EtherDelta 的去中心化交易協議,完全鏈上撮合結算,併成爲 Uniswap, dYdX 等平臺的早期流動性來源。

目前大家廣爲使用的 ERC20 格式的 ETH -> WETH (Wrapped ETH),來自於 Maker 的開發團隊。

很多研究 Maker 協議的開發者往往驚訝於其複雜幾乎晦澀的術語。實際上,這一複雜性是有意爲之。變量名不同的字母長度以及詞性,嚴格清晰對應着不同的方程和模塊。

代碼的形式化驗證通常是針對工程系統中最關鍵的軟件,比如被應用於航空航天工程中,保證關鍵安全功能的準確性。由於區塊鏈的高風險和不可篡改的性質,在初始部署後無法輕鬆修改軟件漏洞,形式化驗證智能合約已成爲以太坊生態系統中的標準。
2018 年 9 月,Maker 協議成爲首個通過形式化驗證的去中心化協議。

原文鏈接
歡迎加入律動 BlockBeats 官方社群:
Telegram 訂閱群:https://t.me/theblockbeats
Telegram 交流群:https://t.me/BlockBeats_App
Twitter 官方帳號:https://twitter.com/BlockBeatsAsia