总结常见合约漏洞，然后分析开源的合约审计工具，最后提供字节码分析的方法。

如果你也像我一样好奇，那就跟随这篇文章，我将向你展示如何在发送交易之前使用ether.js检查交易的有效性。

Uniswap V2提供了简洁的x-y-k自动做市商实现。代码主要由两部分组成：Core实现某个交易的Pair的管理逻辑，Periphery实现路由，即一个或者多个交易对的兑换逻辑。理解增加/抽取流动性以及swap操作，需要结合两部分一起看。核心是在Pair中管理了reserve和total supply。所有提供的流动性都以流动性Token来衡量，所有Token的总和就是total supply。

在智能合约世界中，以太坊虚拟机及其算法和数据结构就是第一性原理。Solidity 和我们创建的智能合约就是建立在这个基础之上的组件。要成为一名出色的 Solidity 开发人员，必须要对 EVM 有深入的了解。

抢跑交易就是在一个已知的未来交易发生前，将另一个交易插入执行队列的第一位。抢跑交易可能带来巨大利润。

链下投票链上执行

Gnosis 协议是一种完全无许可的 DEX (去中心化交易协议)，它通过一种名为环交易的新机制最大限度地提高其流动性。通过为传统交易协议几无可能进行的交易提供便利性，环交易尤其改善了非流动性或“长尾”代币 (如预测市场结果通证) 的流动性。