DeFi

Certora Prover 是一种先进的正式验证引擎，旨在提升 Ethereum、Solana 和 Stellar 等平台的智能合约安全性。通过开源，Certora Prover 旨在降低安全成本，提升可访问性，最终帮助开发者在早期发现和修复可能的漏洞。这篇文章详细介绍了 Certora Prover 的功能、工作原理以及其对多个知名项目的实际影响。

Loopring，路印，一直专注在高性能的去中心化交易（DEX）协议。路印协议的目标是想实现以太坊上基于订单撮合的去中心化的交易协议。从2017年，路印从“环路撮合”的最初设计，经过了1.0，2.0以及3.0的三个大的版本的协议升级。1.0/2.0，相对来说，受限以太坊本身性能的限制，交易流程复杂，体验和中心化交易所相比，有较大的差距。路印协议3.0，是一种大胆的设计和尝试，通过零知识证明技术（ZKP），兼顾去中心化和交易性能。

本文介绍了Squeeth（平方ETH）的概念及其在DeFi衍生品市场的应用。Squeeth是一种新型金融衍生品，允许交易者无需到期和行权价就能获得ETH²的永续曝光，不仅提供了灵活的交易机制，还能有效对冲Uniswap流动性提供者和所有ETH/USD期权的风险。文章通过多种自动化策略展示了Squeeth的运用潜力，并讨论了其风险与市场条件。

Contango是一种新的DeFi衍生产品，称为expirables，允许交易者在未来的特定日期和价格买卖资产。它通过无订单簿和流动性池的方式合成可到期的头寸，提供物理交割和较小的价格影响，以满足市场需求。

2019年，以太坊Dapp活跃度依然遥遥领先，以下是2020年10个值得期待的优质dApp，这意味着去中心化生态又迈出了重要一步。

文章详细介绍了DeFi应用中的治理模式，包括提案、投票、法定人数等关键概念，并探讨了治理攻击类型及改进空间。文章还提供了一些设置治理的工具和资源。

本文收集了一些有用的资源，可以帮助更好地理解区块链、协议、DeFi、NFT、DAO和其他区块链原生主题。

目前最火的Dex去中心化交易所当属Uniswap了,你可以很容易的将自己发行的Token挂在Uniswap上创建交易对并进行交易.如果有些朋友的需求不是发行Token而是创建一个自己的市场,可以通过本文了解到根据Uniswap开源的合约和前端代码部署自己的去中心化交易所.本文将带着你下载到Uniswap的合约源码,和前端代码,合约重新部署到以太坊主网和测试网,前端部署到GitHub Pages,连服务器都不需要就可以拥有一个自己的去中心化交易所了!

初识区块链

如何将PancakeSwap部署到以太坊类链上

聊聊DeFi是怎么在人们想要“赚钱”的需求中产生的，也就是DeFi赚钱背后的逻辑。

聊聊所谓的Defi炼金术

伴随着 ARB 的空投活动，Trader Joe 一跃成为 ARB Token Usage 榜上的第二大 DEX，并且超越了 Uniswap V3。是什么让 Trader Joe 拥有了超越 Uniswap V3 的能力？本文详细解释 Joe v2 AMM 算法 —— Liquidity Book.

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