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

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

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

Balancer社區發起關于將BAL分配給AAVE/WETH質押者的投票:據官方推特消息，Balancer社區正發起關于將BAL分配給AAVE/WETH質押者的投票。鑒于安全模塊的重要性，Aave需要更多時間將其池遷移到Balancer v2。為了保持池在v2流動性挖礦開始之前每周收到的12,500 BAL的分配，需要授權將BAL分配到v1上的80/20 AAVE/WETH池。[2021/6/19 23:48:54]

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

聲音 | 美國CFTC委員：CFTC收到了30多份關于以太坊的公眾反饋，得到了“非常好的回應”:據ambcrypto消息，美國商品期貨交易委員會（CFTC）委員之一Dan Berkovitz在接受采訪時談到了“該委員會正在就有關以太坊的問題尋求公眾反饋“的問題。據此前報道，2018年12月中旬，美國CFTC在其門戶網站上發布了一份官方聲明，稱將在《聯邦公報》上發布一份“信息請求(RFI)”。該請求是為了尋求有關以太坊的更多信息。委員會詢問了關于其基礎技術、風險、用例、機制、市場和機會的問題。此外，該委員會還想知道比特幣和以太坊之間的異同。這位專員說，他們得到了“非常好的回應”，將繼續推進這項工作。他補充說，委員會收到了30多份公眾的回復，其中一些回復“非常詳細”。Berkovitz還補充說，由于以太坊有可能以期貨合約或衍生品的形式上市，委員會尋求更多公眾的回應。[2019/3/20]

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

GDEX關于GDEX發放eosDAC空投的公告:關于GDEX發放eosDAC空投的公告稱，GDEX已于5月11日，將GDEX.eosDAC空投代幣發放至用戶賬戶中。[2018/5/11]

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

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

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

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

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

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

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

Tags：以太坊DAIDEXETH比特幣以太坊Prime DAIdHEDGE Top Indexethereumcloud

FTX