DAI:关于Maker的十个冷知识:晦涩难懂的代码是刻意的

在 2014 年以太坊出现之前,MakerDAO 的创始人是比特股社区的活跃成员,探索在 BitShares 平台上推出稳定币 Dai。但后来发现比特股网络不够支撑一个复杂的金融系统,满足灵活强健的治理和风险管理,而选择了以太坊平台。

Dai 的最早雏形诞生于 2015 年 3 月,这个时间点比以太坊测试网的正式发布还要早两个月。创始人 Rune 在 Reddit 上与以太坊社区的成员包括 Vitalik 分享了协议的设计、合约代码以及测试前端。

冯仑:关于比特币,我的看法跟芒格的不太一样:近日,万通集团董事长冯仑在谈到比特币这个话题时表示,我跟芒格的看法不太一样。我比较乐观,我想我可以从创新的角度聊一聊它。许多创新的事物,刚刚出现时,所谓的正常人都觉得它是怪物,而且排斥它,会找到它的很多毛病。但有意思的是,到最后,往往是这些新东西战胜了旧事物,最终成为了主导。数字货币作为一种独特的、新的货币形式,相比于传统的纸币,有一些优点,比如说更安全,更保密,也更公平,更好记录,更好查找。

此前消息,查理?芒格称不喜欢虚拟货币绑架现有的货币系统,比特币与文明利益相背。[2021/8/16 22:16:43]

MakerDAO 成立时,懂中文的创始人 Rune 决定用一个中文名称来命名 Maker 的稳定币。第一个想法是 JIAO,意味着“交换”,北宋的交子也是世界上最早纸币,但是很快 JIAO 就被放弃了,因为不言而喻的联想。最终,名字锁定为 Dai,意味着借贷。

吴忌寒回应Cobra:请阅读中本聪关于51%攻击的分析:比特大陆CEO吴忌寒回应Bitcoin官论坛持有人Cobra吐槽:在修改原始白皮书前,请阅读中本聪关于51%攻击的分析,它并不会是比特币的终结者。今早Cobra表示:吴忌寒和杨海坡可轻松实现对比特币的51%攻击,彻底击垮1300亿美元网络。[2018/6/8]

Dai 足够简短只有 3 个字母,而且加密货币概念的最早提出者也叫 Wei Dai。Dai 在斯拉夫语中的意思是“给予”,在许多亚洲语言中,Dai 的含义也是与金融息息相关。

关于法币交易区行为规范的公告:OKEx将于北京时间5月10日19:30修改法币交易区每日超时取消的单数限制,由每日可取消5单降低至3单。即用户在一天内超时取消3单,将冻结24小时法币区交易权限。同时,以下行为将被视为恶意行为:1、已收款却故意卡单延迟放币;2、未支付却点击已支付,且无付款凭证;3、伪造付款凭证;4、挂无效的支付方式;5、发生金额分歧,概不配合调解(多收钱不退款、少付钱不补交);6、经提醒后,仍使用非实名支付方式打款;7、其他恶意交易行为。详见公告。[2018/5/10]

在 2016 年 7 月的 DAO 攻击事件发生后,MakerDAO 和 DigixDAO 社区发表联合声明,支持受到攻击的网络硬分叉为今天的以太坊。

在最初的设计中,Dai 的价格并非锚定美元,而是尝试锚定特别提款权(SDR),但后来设计者逐渐认识到与世界货币美元相比,SDR 的波动更大,并没有成为广为使用的标准,于是选择锚定美元,沿用至今。

以太坊上最早的 DEX 是什么?答案是 OasisDEX,这是一个早于 EtherDelta 的去中心化交易协议,完全链上撮合结算,并成为 Uniswap, dYdX 等平台的早期流动性来源。

目前大家广为使用的 ERC20 格式的 ETH -> WETH (Wrapped ETH),来自于 Maker 的开发团队。

很多研究 Maker 协议的开发者往往惊讶于其复杂几乎晦涩的术语。实际上,这一复杂性是有意为之。变量名不同的字母长度以及词性,严格清晰对应着不同的方程和模块。

代码的形式化验证通常是针对工程系统中最关键的软件,比如被应用于航空航天工程中,保证关键安全功能的准确性。由于区块链的高风险和不可篡改的性质,在初始部署后无法轻松修改软件漏洞,形式化验证智能合约已成为以太坊生态系统中的标准。

2018 年 9 月,Maker 协议成为首个通过形式化验证的去中心化协议。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

[0:0ms0-0:994ms