Certora 形式化验证 ## 使用 Ghost 和 Hook 验证不变量 [模块 2：不变量、存储 Hook、Ghost 和形式化验证代币不变量、存储 Hook、Ghost 和形式化验证代币](https://learnblockchain.cn/course/101) 上次更新时间：2026 年 2 月 13 日 在任何正确的 ERC2...
## 概述 [ERC-3643](https://learnblockchain.cn/docs/eips/EIPS/eip-3643) 是以太坊**许可型代币**的标准，意味着代币只能由满足预定义的合规性规则（如 KYC/AML、投资者资格和管辖区要求）的身份持有和转移。它专为受监管的资产而设计，你必...
当一群人寻求共同完成一项复杂任务时，他们需要一种协调机制。本文分析了协调的两个组成部分：标准化和信任生产。区块链解决了这两个关键组件，为人类组织的新模型奠定了基础。 维护一个共享账本是一项复杂的任务...
>- 原文链接：[www.cyfrin.io/blog...](https://www.cyfrin.io/blog/what-is-blockchain-account-abstraction-a-5-minute-guide) >- 译者：[AI翻译官](https://learnblockchain.cn/people/19584)，校对：[翻译小组](https://learnblockchain.cn/people/412) >- 本文链接：[learnblockchain.cn/ar...
作者：Kong 编辑：Sherry ## **前言** 以太坊即将迎来 Pectra 升级，这无疑是一次意义重大的更新，众多重要的以太坊改进提案将借此契机被引入。其中，EIP-7702 对以太坊外部账户(EOA) 进行了变革性的改造。该提案模糊了 EOA 与...
Compound V2 也和 Aave V2 很相似，有部分区别，但感觉是很多地方相似的，采用的设计逻辑都是由很多相似的地方的。下面依旧从行为的方面进行介绍。 # 借贷 Compound 的借贷没有像 Aave V2 那样有闪电贷、浮动利率借贷、稳定利...
入门福利：5分钟基于以太坊发一个属于自己的代币，仅需4步。 需要准备： 1. 钱包：推荐使用MetaMask 2. 原生代币：ETH。测试建议使用测试网：[ropsten](https://faucet.ropsten.be/)，[kovan](https://faucet.kovan.network/)，[rinkeby](https://faucet.rink...
### 简单总结 一种发布和检测智能合约实现哪些接口的标准方法。 灵感来源于 [ERC-165](https://learnblockchain.cn/docs/eips/EIPS/eip-165)。 ### 摘要 此标准规定： 1. 如何识别接口。 2. 合约如何发布其实现的接口。 3. 如何检测合约是否实...
因为 BTC 在 DeFi 世界里用途很多，以太坊生态对比特币的需求也日益增长。鉴于密码学金融对去中心化和免信任性的要求，我们需要找到无需依赖中心化第三方即可在以太坊上安全持有比特币的方法。 tBTC 就是其中一种方法。t...
## 深入挖掘 Uniswap DEX 数据 **由 [Kyle Waters](https://twitter.com/kylewaters_) 和 [Nate Maddrey](https://twitter.com/natemaddrey)** 去中心化交易所（DEX）迅速成为在快速创新的去中心化金融（DeFi）领域中交易加密资产的关键系统。在新代币的激...
1，摘要 【本文目标】 通过本文，可以从一个HiBlock黑客马拉松活动门票定制，转让，出售和签到为例，说明ERC875的设计初心，ERC875的标准接口分析，也给出了官网的ERC875的代码和本...
SharkTeam：十大智能合约安全威胁之权限漏洞 问：我们常提到的智能合约漏洞真的是实际中威胁最大、发生最频繁的安全漏洞吗？ 答：完全不是那样。例如“溢出”、“外部调用”等常提到的智能合约安全漏洞并不是最常发生...
Avalanche 是一个高度可扩展网络，支持每秒交易处理量(TPS)较高且交易手续费较低的定制应用程序专用区块链，它的原生代币是 AVAX。Avalanche 致力于在不影响速度或去中心化的前提下提升可扩展性。其核心平台有三条区块链：...