Sapphire 是 Oasis 的机密 ParaTime，兼容 EVM，靠受信任执行环境与状态加密换取隐私：合约的键与值都被加密、长度不藏，存储槽查询除三个 EIP-1967 代理槽外一律返回零，合约字节码并不加密。事件默认公开，交易可以端到端加密；耗时、气体消耗与被访问的存储记录仍会泄露信息。密钥由专门的密钥管理器运行时提供。本文按官方文档拆解这条 TEE 路线的保护面与泄露面。

SwingSet 把智能对象装进一个个 vat，由内核统一转发消息、排队执行并按 computron 计量计算量：每条消息触发一个 crank，超限的 vat 会被终止；内核承诺表管住跨对象调用的先后顺序，让图灵完备的 JavaScript 合约能安全跑在共识机器上。本文依据 Agoric SDK 官方仓库文档做机制拆解。

Arbitrum Stylus 让开发者用 Rust、C、C++ 等语言编写 WASM 合约并与 EVM 合约互操作。本文解释它对 L2 应用和用户风险的影响。

Alonzo 之后调用 Plutus 合约要挂抵押品，两阶段验证失败时整笔没收。CIP-40 给交易加了抵押品输出字段，让多挂的 ADA 有退还出口，并解释为什么硬件钱包尤其需要它。本文按提案原文拆解规则与公式。

Alephium 官方文档口径：sUTXO 把资产管理留在 UTXO、合约状态交给账户模型；交易输出不得在同笔交易内复花的三条禁令与 Danube 对 TxScript 的定向放宽；无 approve 的隐式授权，以及尘埃门槛、合约押金与映射条目押金的防膨胀账。

从不可编程到可编程：FIP-0030 把 WASM 化的 FVM 换成旧执行层的机制拆解。内置 actor 与用户 actor 的分工、32 位内存与禁用浮点线程 SIMD 的保守取舍、FEVM 经运行时仿真兼容 Solidity，以及从 Machine 到 Invocation Container 的执行栈。

ICP 官方文档口径下的 cycles 机制：容器为计算、存储、带宽自行付费，1 万亿 cycles 锚定 1 XDR，只能燃烧不可回换；冻结阈值默认 30 天空闲燃烧，烧光即冻结，逾期删除不可逆。

EIP-3102 提议把 MPT 换成二叉树：证明小约四倍、弃用 RLP 与小于 32 字节的内嵌特例、账户树与存储树合并成单树一份见证，哈希选 blake2b。未上线，为无状态路线探路后停滞。

EIP-1418 主张按"字节乘以时间"为链上存储定价：每块从账户扣租，RENTBALANCE 与 SENDRENT 两个操作码配套，租金耗尽记驱逐区块号、惰性判定无需执行。现为 Stagnant 状态。

EIP-3300 主张 Gas 退款线性融化：每 100 区块减 1，避免一步废除砸掉退款持有者；矿工弹性与代币化退款是动机。它与 3298、3403 构成缓退到急停的光谱，最终落选。