账户抽象：ERC-4337、智能合约钱包与 Paymaster
系统讲解 EOA 与合约账户的本质差异，深入剖析 ERC-4337 EntryPoint 架构与 UserOperation 完整生命周期，涵盖 Account Factory、Paymaster 代付 gas、Bundler 中继角色、社交恢复与 Session Key 等智能合约钱包核心能力。
category
blockchain
共 94 篇文章。
ERC 与 EIP 标准深入：ERC-20/721/1155/4626/4337 的实现陷阱与组合风险
深入 ERC-20、ERC-721、ERC-1155、ERC-4626 与 ERC-4337 的接口语义与实现陷阱，覆盖重入回调、舍入攻击、授权风险与 gas 成本对比。
零知识证明：zk-SNARKs、zk-STARKs、电路与隐私应用
从零知识证明的直观理解出发，深入剖析 zk-SNARKs 可信设置与递归证明、zk-STARKs 无需信任的优势，系统讲解 zkEVM 四类兼容性分级、circom 电路编写、Tornado Cash 隐私转账与 zkRollup 证明生成机制。
模块化区块链与数据可用性层：Celestia、EigenDA、Avail 与 Rollup 的 DA 选型
从单体链的困境出发，系统拆解执行、结算、共识、数据可用性四层解耦的模块化架构。深入讲解 Celestia 的 1D/2D Reed-Solomon 编码与数据可用性采样 DAS 的采样安全性论证，EigenDA 基于 KZG 承诺与纠删码的设计及其与 EigenLayer 再质押的关系，Avail 的有效性证明与轻客户端方案。最后给出 Rollup 的 DA 选型路径：calldata、EIP-4844 blob 与外部 DA 层的成本量级对比、桥与 DA 承诺的安全边界，以及工程落地中的真实踩坑。
意图交易与求解器架构：从 ERC-7683 到跨链填充与订单流拍卖
意图把交易的表达从「指定路径」升级为「声明目标」，用户只签名最终状态与约束，由求解器竞争寻找最优执行路径。本文讲解意图与传统交易、限价单的本质差异，深入剖析 ERC-7683 跨链意图标准的 CrossChainOrder、OriginSettler、DestinationSettler、ResolvedCrossChainOrder 与 fill 流程，并给出可落地的 Solidity 填充合约；随后展开求解器竞价与结算机制、订单流拍卖 OFA 与 SUAVE 对 MEV 分配的重塑、跨链填充与乐观结算挑战，以及意图生命周期中的过期、部分成交、抢跑、求解器违约与罚没处理，最后给出风险清单与工程踩坑。
再质押与共享安全：EigenLayer 架构、AVS 任务生命周期与 LRT 风险
从以太坊原生质押的经济安全模型出发，系统拆解再质押与共享安全的信任复用逻辑：EigenLayer 的 EigenPod、StrategyManager、DelegationManager 核心合约流程，AVS 的注册与任务生命周期，罚没 slashing 与提款队列的 escrow 周期，流动性再质押代币 LRT 如 ether.fi 与 Renzo 的收益链条与脱锚风险，并与多签、预言机等既有安全模型逐项对比，最后给出风险清单与工程踩坑。
zkVM 与证明市场：RISC Zero、SP1、递归聚合与 prover 经济
从 zkVM 的通用可证明计算出发，系统讲解 RISC-V 指令集选择的工程理由、RISC Zero 的 guest/host 分工与 receipt/journal 模型、SP1 的 precompile 与两段式证明、执行轨迹到链上验证的完整流程、递归证明与证明聚合、STARK 包装为 Groth16 的成本结构，以及 prover network 的拍卖竞价与经济激励，并给出 Rust guest 与 Solidity 验证合约示例。
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 冲突、内存模型被破坏等安全边界与踩坑清单。
MPC 与阈值签名钱包：FROST、GG18 与门限签名的工程实践
从 Shamir 秘密共享与拉格朗日插值出发，系统讲解门限签名（t-of-n）的数学原理与分布式密钥生成 DKG，深入对比 Schnorr 门限方案 FROST 的两轮签名与 Taproot 契合度，以及 GG18/GG20 中基于 MtA 乘法三元组的 ECDSA 门限构造。文章给出 keygen、presign、sign 各阶段的通信轮数与延迟对照，横向比较多签与阈值签名在链上足迹、gas、隐私与可组合性上的差异，并覆盖托管与非托管钱包、社交恢复、密钥刷新 reshare 的落地细节，最后梳理恶意参与者、nonce 重用、rogue key、侧信道与信道认证等安全边界与生产踩坑。
Foundry 合约测试实战：forge test、模糊测试与不变式测试
系统讲解 Foundry 合约测试体系：forge test 断言、作弊码、模糊测试、分叉测试与不变式测试，并覆盖覆盖率、gas 快照与 CI 集成实践。
区块链预言机：Chainlink、API3、Pyth Network 与数据源验证
系统阐述区块链预言机问题的本质与信任假设，深入对比 Chainlink Price Feeds / VRF、API3 第一方预言机与 Pyth Network 高频价格推送的技术差异，探讨 TWAP 抗操纵机制、数据多源聚合策略以及 push 与 pull 模型的适用场景。
ZK 电路开发实战：Circom 约束系统、Groth16 证明与链上验证器
从约束系统出发系统讲解 Circom 电路开发：R1CS 建模、模板与信号语义、Groth16 与 PLONK 选型、SnarkJS 工作流、Solidity 验证器对接，以及欠约束漏洞与约束数量优化。
意图架构与求解器：从交易到意图的范式转移
系统拆解意图架构与求解器网络：声明式约束与求解空间、竞价拍卖机制、ERC-7683 跨链意图标准、与 ERC-4337 账户抽象的关系、主流协议对比，以及求解器激励博弈、失败模式与安全信任假设。
DAO 与链上治理：Snapshot、Tally、治理代币与投票机制
深度解析 DAO 组织架构与链上治理全链路，涵盖 Snapshot 链下投票、Tally 提案执行、Compound Governor Bravo 框架、委托投票与二次方投票机制，剖析 Gnosis Safe 多签托管与常见治理攻击的防御策略。
模块化区块链栈：执行、结算与数据可用性的三层解耦
从单体链瓶颈出发，拆解执行、结算与数据可用性三层解耦的技术原理，对比 Celestia 与 EigenDA 两条 DA 路线，并给出 Rollup 即服务的工程选型建议。
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 优化策略。
多签钱包与资产托管：Safe、MPC 与密钥管理
系统拆解链上托管方案：多签钱包 Safe 机制与阈值、多签治理审批流、MPC-TSS 门限签名、冷热分离与分层托管、密钥恢复、审计保险，以及与单签钱包的对比和选型决策。
区块链监管合规：MiCA、稳定币与反洗钱实践
系统讲解加密资产监管：全球监管框架、MiCA 分类与稳定币新规、AML/KYC 反洗钱、链上制裁地址识别、Travel Rule 旅行规则、合规科技监控，以及法规对产品设计的影响与实施路线。
数据可用性（DA）：Celestia、Blob 与模块化区块链
系统拆解数据可用性问题：DA 的本质、calldata 成本困境、EIP-4844 Blob 与 Danksharding、纠删码与 DA 采样、Celestia 模块化 DA 层、EigenDA 方案、DA 与 Rollup 的耦合及选型。
Rollup 架构深度：Optimistic、ZK 与结算层设计
系统拆解 Rollup 三层架构：执行层状态管理、结算层与 Layer1 交互、Optimistic 欺诈证明、ZK 有效性证明与 zkEVM、数据可用性与批次提交、gas 与退出期，以及 Optimistic vs ZK 选型。