比特币脚本里管理时间的两组指令:CLTV看nLockTime的绝对时刻,CSV看被花输出的成熟深度。本文讲清刻度约定、nSequence陷阱、HTLC组合方式与Miniscript的部署现状。
汇总与「智能合约」相关的文章,帮助你系统了解该主题。
比特币脚本里管理时间的两组指令:CLTV看nLockTime的绝对时刻,CSV看被花输出的成熟深度。本文讲清刻度约定、nSequence陷阱、HTLC组合方式与Miniscript的部署现状。
智能合约这个词比区块链更早。本文讲Nick Szabo在1994至1997年间如何从合同执行成本出发提出概念、用自动售货机作类比、在1997年发表正式论文,以及为什么这套思想在密码学货币出现前无法落地,最终被比特币与以太坊接力实现成今天的样子。
EVM Object Format(EOF)想把以太坊合约从一串无结构字节码变成带版本头、分区段、部署时校验的容器。它解决什么老问题,由哪些 EIP 组成,为什么至今停在 Stagnant 状态而非主网。
EIP-7939 给以太坊虚拟机加入了 CLZ 操作码,用来数一个 256 位数值的二进制前导零个数,随 Fusaka 升级激活。这条看似冷门的指令,服务的是链上数学库和底层算法。本文用直觉方式讲清它数的是什么、为什么值得为它花一个操作码名额。
DELEGATECALL 让合约 A 拿自己的存储去跑合约 B 的代码,返回后数据仍记在 A 名下。这条指令是可升级合约与代理模式的基石,也让一次调用的信任边界变得微妙。本文按 EIP-7 的规范讲清语义、用途和陷阱。
一个地址写进白皮书再也不会变,背后的逻辑却换了三版——这是代理合约模式。本文拆解代理、实现、存储三层的职责切分,讲清转发方式、插槽约定和升级权限的查看路径。
部署合约时代码分两段:负责初始化的 initcode 上限 49152 字节并按每 32 字节收 2 gas 的体检费,部署完成的运行码上限 24576 字节。EIP-3860 在 2023 年上海升级给前者立规矩,起因是 2017 年 geth 曾因巨型 initcode 的跳点分析被卡死。本文把两道关卡的分工、计费与历史事故讲清。
区块链的安全不靠信任某台服务器,而靠一套同样输入必得同样输出的确定性执行:每个全节点独立重放每一笔交易,核对彼此的状态是否一致。本文解释这个约定如何塑造了合约的能力边界,以及它的代价。
2016 年 The DAO 被利用重入漏洞抽走上千万 ETH,以太坊以硬分叉回滚资金,拒绝回滚的原链继续运行成为以太坊经典。本文按时间线讲清事件、分叉的技术性质,以及它留下的“代码即法律”之争。
Seaport 1.6 引入的 Hooks 允许合约在订单成交前后被调用,把交易管道变成了可编程扩展点。本文按官方文档拆解 zone、contract、item 三类钩子的调用时机、区域钩子的双阶段验证与它带来的新风险面。