關于Maker的十個冷知識：晦澀難懂的代碼是刻意的_DAO

在 2014 年以太坊出現之前，MakerDAO 的創始人是比特股社區的活躍成員，探索在 BitShares 平臺上推出穩定幣 Dai。但后來發現比特股網絡不夠支撐一個復雜的金融系統，滿足靈活強健的治理和風險管理，而選擇了以太坊平臺。

Dai 的最早雛形誕生于 2015 年 3 月，這個時間點比以太坊測試網的正式發布還要早兩個月。創始人 Rune 在 Reddit 上與以太坊社區的成員包括 Vitalik 分享了協議的設計、合約代碼以及測試前端。

Tranchess DAO關于“移除最小創建量”的提案#4已結束投票并實現:3月14日消息，Tranchess DAO關于移除最小創建量的提案#4已經結束投票并實現，50.47%的選票支持100% Reduction。[2022/3/14 13:55:21]

MakerDAO 成立時，懂中文的創始人 Rune 決定用一個中文名稱來命名 Maker 的穩定幣。第一個想法是 JIAO，意味著“交換”，北宋的交子也是世界上最早紙幣，但是很快 JIAO 就被放棄了，因為不言而喻的聯想。最終，名字鎖定為 Dai，意味著借貸。

動態 | 比特大陸：關于比特大陸上市代碼的相關消息不實:自媒體“吳說區塊鏈”今日在微博表示，嘉楠上市后，市場份額數倍于嘉楠的比特大陸何時上市頗受關注。今日雪球上線了比特大陸臨時代碼BTDL，而微信群則傳言突然上市代碼BTC，都是無稽之談。比特大陸相關負責人對此回應稱，消息不實。[2019/11/26]

Dai 足夠簡短只有 3 個字母，而且加密貨幣概念的最早提出者也叫 Wei Dai。Dai 在斯拉夫語中的意思是“給予”，在許多亞洲語言中，Dai 的含義也是與金融息息相關。

聲音 | 洪蜀寧：FATF關于VASP的監管建議僵化而缺乏可執行性:金丘區塊鏈研究院院長洪蜀寧針對FATF發布監管指南發微博稱，FATF關于VASP的監管建議完全不出所料，僵化而缺乏可執行性，對市場的影響可參考2017年國內監管政策后的行情，作用會更弱一些。他隨后還表示，強調一下，對絕大多數人來說，現在不需要從交易所提幣，你的隱私不可能靠交易所保護，過去一直是這樣的，現在提幣已經晚了。[2019/6/22]

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

在最初的設計中，Dai 的價格并非錨定美元，而是嘗試錨定特別提款權（SDR），但后來設計者逐漸認識到與世界貨幣美元相比，SDR 的波動更大，并沒有成為廣為使用的標準，于是選擇錨定美元，沿用至今。

以太坊上最早的 DEX 是什么？答案是 OasisDEX，這是一個早于 EtherDelta 的去中心化交易協議，完全鏈上撮合結算，并成為 Uniswap, dYdX 等平臺的早期流動性來源。

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

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

代碼的形式化驗證通常是針對工程系統中最關鍵的軟件，比如被應用于航空航天工程中，保證關鍵安全功能的準確性。由于區塊鏈的高風險和不可篡改的性質，在初始部署后無法輕松修改軟件漏洞，形式化驗證智能合約已成為以太坊生態系統中的標準。

2018 年 9 月，Maker 協議成為首個通過形式化驗證的去中心化協議。

Tags：DAIDAO以太坊MakerDAINmakerdao怎么讀以太坊幣今日價格行情走勢MakerDAO

芝麻開門交易所下載