MakerDAO是一个去中心化的组织,致力于为加密货币经济带来稳定性。他们采用双代币系统,包括稳定币Dai和治理令牌MKR。最新版本的Maker协议Multi-Collaborate Dai(MCD)允许以太坊上任何资产作为抵押品生成Dai,并引入了新的功能,如新的Dai代币
以太坊上的借贷应用架构演变: 比较 MakerDAO、Yield、Aave、Compound 和 Euler。你会发现不同的阶段有不同的优先级,一些关键创新也影响着后来的借贷应用
zk 技术堆栈有哪些技术可用,介绍每个层级的示例工具/技术
UniswapX 源码分析
在 DeFi 合约中,常见模式是Checks-Effects-Interactions(检查-生效-交互)模式, 不够好,它会让开发者忘记协议的核心不变性。 作者提出了一个新的模式:FREI-PI: 功能检查-生效-交互+协议不变性,让我们更多关注协议的不变性(安全性)。
Checks-Effects-Interactions(检查-生效-交互)
功能检查-生效-交互+协议不变性
以太坊的下一次升级主要是引入了EIP4844(Proto-danksharding), 这篇文章介绍了Proto-danksharding 是如何降低大幅 Rollup 的成本, 以及他有哪些局限性。
智能合约安全 - 常见漏洞(第三篇)
本文从通过钱包发起交易开始,解析钱包如何构建交易数据,如何设定 Gas,如何签名及序列化交易。以及当节点接收到交易后,如何验证、EVM 如何执行对应的 Solidity 字节码,如何退还 GAS 等。
值得所有开发者们仔细阅读。
DeFi借贷概念 3 - 如何使用协议代币激励用户存款
Casper如何保持着超大规模的验证人的情况下,实现即时最终性?当下以太坊共识验证人的规模大约是60万,这么多的验证节点,在技术上面保证了以太坊极大的去中心化。但是以太坊共识算法是确定性的算法,也就是说经过了一定的时间后,某个区块一定是不会改变的,而不是概率性确定。casper采取对PBFT算法