在 DeFi 合约中，常见模式是Checks-Effects-Interactions（检查-生效-交互）模式， 不够好，它会让开发者忘记协议的核心不变性。 作者提出了一个新的模式：FREI-PI： 功能检查-生效-交互+协议不变性，让我们更多关注协议的不变性（安全性）。

以太坊的下一次升级主要是引入了EIP4844（Proto-danksharding）， 这篇文章介绍了Proto-danksharding 是如何降低大幅 Rollup 的成本， 以及他有哪些局限性。

智能合约安全 - 常见漏洞（第三篇）

本文从通过钱包发起交易开始，解析钱包如何构建交易数据，如何设定 Gas，如何签名及序列化交易。以及当节点接收到交易后，如何验证、EVM 如何执行对应的 Solidity 字节码，如何退还 GAS 等。

值得所有开发者们仔细阅读。

DeFi借贷概念 3 - 如何使用协议代币激励用户存款

Casper如何保持着超大规模的验证人的情况下，实现即时最终性？当下以太坊共识验证人的规模大约是60万，这么多的验证节点，在技术上面保证了以太坊极大的去中心化。但是以太坊共识算法是确定性的算法，也就是说经过了一定的时间后，某个区块一定是不会改变的，而不是概率性确定。casper采取对PBFT算法

我们将依托上篇文章建立的框架，深入polygon zkEVM关于Sequencer和Bridge更多的技术细节，同时也探讨未来潜在的去中心化Sequencer架构的不同特点。

PolygonzkEVM系列文章的第一篇，简要的阐述了polygonzkEVM的的整体架构和交易执行流程，并且分析了polygonzkEVM是如何实现计算扩容的同时继承以太坊的安全性的。

继续深入了解EVM ， 本文探究一下智能合约的字节码

所有以太坊开发者都清楚以太坊世界的一条铁律：合约一旦发布就无法修改。因此，对于合约的发布基本上都采用一种慎之又慎的态度，期望在发布前可以做到尽善尽美，力争合约能正常运行一万年。可是，智者千虑必有失，合约发布百分百不出问题几乎是不可能任务。