Euler 和 Morpho 的高层次比较

RareSkills 的 Zero Knowledge Proofs 系列文章之一，介绍了集合论的基础知识。翻译的过程中完成了其中的练习题。

Beacon Proxy Pattern

本文针对几个典型的 EVM Memory 例子进行分析，涉及到 solidity opcode，内联汇编，以及 solidity 内存安全

以太坊交易信息及event、input、logs、topics等概念机制

SMTChecker 检查合约漏洞的超能力

目前中项目的代码中经常发现使用Try/Catch来捕获错误，防止让程序revert，而是让它能继续执行下去。在使用过程中，容易出现的问题是，开发人员认为try/catch能捕获所有的异常错误。从而可以处理所有的异常情况。实际情况是有两类错误捕获不到：

• 1 try调用的合约地址为非合约地址，co

ERC20 标准的核心是指定了代币合约应实现的一组函数和事件，但它并没有规定这些函数应如何处理故障。 例如， transfer 和 transferFrom 函数用于在帐户之间移动代币，传统上返回指示成功或失败的布尔值。然而，并非所有实现都严格遵守此模式。 有些人可能会选择在失败时恢复（即抛出错误并

EigenLayer再质押Eigenlayer提出的再质押（Re-staking）方案，允许用户将ETH、lsdETH及LPToken质押在其他公链、预言机、中间件等，作为节点并得到验证奖励，这样第三方项目可以借用ETH主网的安全性，ETH共识层的安全性得到释放。