Arbitrum Stylus 让开发者用 Rust、C、C++ 等语言编写 WASM 合约并与 EVM 合约互操作。本文解释它对 L2 应用和用户风险的影响。
汇总与「智能合约」相关的文章,帮助你系统了解该主题。
Arbitrum Stylus 让开发者用 Rust、C、C++ 等语言编写 WASM 合约并与 EVM 合约互操作。本文解释它对 L2 应用和用户风险的影响。
EIP-4758 提议把 SELFDESTRUCT 改名 SENDALL:只转走账户以太、不删代码存储、不动 nonce、删光相关退款,为 Verkle 树与无状态铺路。它停摆了,但路线约束写进了正文。
EIP-3300 主张 Gas 退款线性融化:每 100 区块减 1,避免一步废除砸掉退款持有者;矿工弹性与代币化退款是动机。它与 3298、3403 构成缓退到急停的光谱,最终落选。
EIP-1418 主张按"字节乘以时间"为链上存储定价:每块从账户扣租,RENTBALANCE 与 SENDRENT 两个操作码配套,租金耗尽记驱逐区块号、惰性判定无需执行。现为 Stagnant 状态。
EIP-3102 提议把 MPT 换成二叉树:证明小约四倍、弃用 RLP 与小于 32 字节的内嵌特例、账户树与存储树合并成单树一份见证,哈希选 blake2b。未上线,为无状态路线探路后停滞。
TON 的账单与事务执行阶段逐段对齐:存储、计算、动作与转发、import 费各有独立公式,单价由验证者投票写进链上配置。本文按官方文档拆解 cell 计价的去重规则、起步 gas 价结构、lumpPrice 与根格子豁免,以及入口合约必须替整条消息链预检附款的原因。
讲解链上给付与分期解锁合约的机制:给付计划由哪些参数构成、悬崖期与线性段的领取逻辑、未领取部分是退回付款方还是滚入后段、计划被终止时双方权利如何结算,以及领取方常见的三个误区。
合约调用自己时,代码早就在内存里,却仍按加载新合约的标准收七百Gas。EIP-1380 提议当调用目标就是调用者本身时把费用降到40,让编译器敢用CALL而不是JUMP实现内部函数调用。本文解释这两种写法在上下文、栈深度与静态分析上的真实差异。
合约字节码尾部常混着构造参数、常量与编译器元数据,分析工具却得逐字节猜测哪里是指令哪里是数据。EIP-2327 提议增加一条 BEGINDATA 操作码:它出现之后的一切字节都声明为数据,跳转器不许跳进去,静态分析器不必再猜。本文讲清这条分界线的规则、与子程序提案的渊源和被乐观汇总验证的旁支需求。
EVM操作码空间里,0xfe被正式指定为INVALID无效指令:碰到它执行就立刻中止、Gas全部烧完。EIP-141把这件事写成规范只有几行字,但它给调试、编译器防御和合约保险丝提供了一个统一的中止信号。本文讲清0xfe的来历、它和REVERT的分工,以及为什么一个永远不会被正常执行的操作码值得单独写一条提案。