智能合约形式化验证：Certora 与 K 框架
从霍尔逻辑与不变量出发，讲解智能合约形式化验证的三条技术路线：Certora Prover 的 CVL 规格语言与 SMT 求解、K 框架的可执行语义与 KEVM、以及符号执行与抽象解释工具，并给出规格编写、参数化规则、反例分析与 CI 集成的落地方法。
tag
Solidity
共 16 篇文章。
Yul 与内联汇编：EVM 栈机模型、gas 热点改写与安全边界
从 EVM 栈机与操作码出发，系统讲解 Yul 语法、memory/storage/calldata 访问、memory-safe 汇编的安全边界、ABI 编解码手写优化、常见 gas 热点改写案例，以及汇编代码的调试与审计要点。
ERC 与 EIP 标准深入：ERC-20/721/1155/4626/4337 的实现陷阱与组合风险
深入 ERC-20、ERC-721、ERC-1155、ERC-4626 与 ERC-4337 的接口语义与实现陷阱，覆盖重入回调、舍入攻击、授权风险与 gas 成本对比。
Yul 汇编与 Gas 优化：从 EVM 操作码到存储槽打包
从 EVM 操作码的 Gas 成本表出发，系统讲解 Yul 内联汇编与 Gas 优化的完整方法论：深入 EIP-2929 冷热访问与 EIP-3529 退款上限对 SLOAD 与 SSTORE 成本的重塑、存储槽打包与 slot 布局对部署和读写 Gas 的影响、calldata 与内存布局的读取成本差异，并给出内联汇编在自定义错误、位运算、循环展开、calldata 解码优化上的真实代码。文章包含优化前后 Gas 对比表格、Foundry gas snapshot 测试、Yul 独立合约写法，以及 free memory pointer、slot 冲突、内存模型被破坏等安全边界与踩坑清单。
区块链预言机：Chainlink、API3、Pyth Network 与数据源验证
系统阐述区块链预言机问题的本质与信任假设，深入对比 Chainlink Price Feeds / VRF、API3 第一方预言机与 Pyth Network 高频价格推送的技术差异，探讨 TWAP 抗操纵机制、数据多源聚合策略以及 push 与 pull 模型的适用场景。
NFT 标准与数字资产：ERC-721、ERC-1155、ERC-6551 与 Soulbound Token
全面梳理 NFT 三大核心标准 ERC-721、ERC-1155 与 ERC-6551 Token Bound Account 的技术实现，深入探讨 Soulbound Token 的不可转让设计与应用场景，并覆盖 OpenSea 元数据规范、EIP-2981 版税机制与 gas 优化策略。
Foundry 测试与模拟：Forge、作弊码与模糊测试实战
Foundry 是当前最强大的 Solidity 测试框架：用 Solidity 本身写测试、内置作弊码模拟任意链上状态、支持 fork 主网与模糊测试。覆盖 Forge 测试基础（断言/事件/预期 revert）、vm.prank/vm.deal/vm.warp 等作弊码全解、主网分叉测试、模糊测试（fuzz）与不变式测试、Gas 报告与单测优化、CI 集成与覆盖率。
Solidity Gas 优化：存储布局、数据位置与代理模式
深入 Solidity Gas 优化实战：EIP-1559 计费机制、存储读写成本模型、数据位置选择、状态变量打包、EIP-1167 最小代理，以及 Uniswap 级优化案例与基准对比。
智能合约安全审计与常见漏洞
智能合约安全的必学内容：重入攻击、整数溢出、访问控制缺失、预言机操纵、闪电贷攻击等十大常见漏洞。附带漏洞代码示例、修复方案与审计流程最佳实践。
Hardhat 与 Foundry 开发工具链
Solidity 专业开发环境对比：Hardhat（JavaScript 任务流）与 Foundry（Rust 原生测试）。覆盖本地网络、分叉测试、Gas 快照、部署脚本、CI/CD 集成与完整实战示例。
ERC-20 与 ERC-721 标准详解
深度解析以太坊两大核心代币标准：ERC-20（同质化代币）和 ERC-721（非同质化代币）。涵盖标准接口、完整实现代码、元数据扩展、版税机制与 OpenZeppelin 最佳实践。
Solidity 智能合约开发入门
Solidity 开发从零到一：基础语法、Remix IDE 使用、编译与部署流程、事件与日志系统。附带可运行的 ERC-20 代币合约示例，助你快速上手以太坊智能合约开发。
拥抱 Web3：区块链开发全景指南
区块链技术正在从加密货币走向更广泛的产业应用。本专题从去中心化原理出发，覆盖区块链核心概念与共识机制（PoW/PoS/PBFT）、以太坊智能合约开发（Solidity/Vyper）、去中心化应用 DApp 全栈架构、DeFi 去中心化金融协议、NFT 非同质化代币与数字资产、Layer2 扩容方案（Rollups/State Channels）、跨链互操作协议（IBC/桥接），并进阶覆盖零知识证明与隐私计算（zk-SNARK/zk-STARK）、Chainlink 预言机与链下数据、Solidity Gas 优化、NFT 市场合约开发、MEV 与区块构建市场（PBS），以及 Solana/ Move 等非 EVM 生态开发，最后落到企业级联盟链（Hyperledger Fabric/蚂蚁链）的应用场景与开发实践；并进阶覆盖账户抽象（ERC-4337 智能合约钱包）、DAO 治理与链上投票、代币经济设计、合约升级模式、链上数据分析、质押再质押、模块化区块链栈与数据可用性（Celestia/EIP-4844 Blob）、意图架构与求解器（ERC-7683）、ZK 电路与 Circom、Foundry 合约测试、ERC 标准实现陷阱、RWA 真实世界资产代币化、zkVM（RISC Zero/SP1）、L3 与应用链（OP Stack/Arbitrum Orbit）、Yul 内联汇编优化、形式化验证（Certora/Halmos/Echidna）、MPC 钱包与密钥托管、DeFi 风险管理与清算，以及多签托管、去中心化身份（DID/VC）、Rollup 架构、链上借贷与监管合规（MiCA/AML）等生态经济与基础设施主题，为 Web3 开发者提供从入门到进阶的完整技术路径。
Web3 全栈 DApp 开发实战：从前端到智能合约的完整链路
从零构建一个完整的 Web3 DApp：使用 Next.js + Wagmi + RainbowKit 搭建前端，Hardhat 开发 Solidity 智能合约，部署到 Sepolia 测试网，并发布到 Vercel。
智能合约开发实战：Solidity 核心特性与安全编码
从 Solidity 语言核心特性到 Hardhat/Foundry 开发工具链，覆盖重入攻击、溢出、访问控制等常见漏洞及其防御策略，以及智能合约安全审计流程。
区块链基础与以太坊开发：Solidity、DeFi 与智能合约安全
区块链技术自 2009 年比特币白皮书发布以来，已从数字货币底层演化为信任基础设施。以太坊作为第二代区块链的代表，用智能合约将可编程性引入链上世界，催生了 DeFi、NFT、DAO 等全新业态。本专题聚焦区块链底层协议技术与以太坊生态核心能力：从密码学基础（哈希、椭圆曲线 secp256k1、ECDSA 签名、Merkle Tree 与 SPV）到共识机制（PoW/PoS、Casper FFG、Tendermint、PBFT）、比特币 UTXO 模型与隔离见证（Script 脚本、SegWit、闪电网络）、以太坊 EVM 与状态模型（账户、世界状态、Gas 机制）、Layer2 扩容（Optimistic/zk Rollup、数据可用性、跨 L2 桥）、跨链互操作（跨链桥、轻客户端验证、信任假设），再到 Solidity 智能合约编程、ERC 代币标准（ERC-20/ERC-721/ERC-1155）、主流 DeFi 协议（Uniswap/Aave/Compound）架构与安全审计方法论，以及钱包与密钥管理（BIP32/BIP39/BIP44、助记词、硬件钱包）、稳定币锚定机制与 AMM 做市模型（无常损失、V3 集中流动性）、Foundry 测试与模拟（作弊码、分叉、模糊与不变式测试）、链上数据索引（The Graph/Subgraph）、MEV 与区块构建（Flashbots/PBS）、Web3 身份与 SIWE 签名登录、交易生命周期与 Gas 市场（EIP-1559 base fee/Nonce/内存池/RBF）、RPC 节点与区块浏览器（JSON-RPC/eth_getLogs/归档节点）、以太坊治理与 EIP 生命周期（ACD/硬分叉/Core EIP）、DeFi 借贷协议深入（利率模型/清算/闪电贷）、Layer1 公链内部（P2P gossip/交易池/状态同步）、智能合约部署与升级（代理模式/EIP-1967/CREATE2），并延伸模块化区块链与数据可用性层（Celestia/EigenDA/Avail/数据可用性采样）、再质押与共享安全（EigenLayer/AVS/罚没与提款队列）、Yul 汇编与 Gas 优化（操作码/EIP-2929/存储槽打包）、zkVM 与证明市场（RISC Zero/SP1/递归聚合）、意图交易与求解器架构（ERC-7683/竞价结算/订单流）与 MPC 阈值签名钱包（FROST/GG18/与多签对比），为区块链开发者提供从底层协议到智能合约部署的完整路径。作为区块链-web3 专题的补充，聚焦底层协议技术，区别于应用与学习路线专题。