公链与 Layer2

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

Optimism Superchain 不是单一应用，而是基于 OP Stack 的多链协作愿景。本文解释共享标准、跨链体验、治理边界和用户核验要点。

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

Solana 客户端升级说明影响验证者、RPC 服务和普通用户体验。本文以 Agave Release 为例，拆解版本、兼容、重启窗口和风险核验。

Chainlink CCIP 用跨链消息、风险管理和多层验证降低跨链通信风险。本文从官方文档解释安全模型、适用边界和普通用户核验方法。

从字段查起：AppId 由 key、owner、id 三段构成，任何地址都能向任何 AppId 提交数据；submitData 之后数据矩阵逐行 Reed-Solomon 扩码、KZG 承诺写入区块头，轻客户端随机抽样单元格、对照承诺算置信度，全程不需要全节点。

NEAR 官方文档口径下的 Chain Signatures：派生路径把外部链地址钉在 NEAR 账户上，v1.signer 合约受理签名请求，门限签名网络分片持钥、永不拼合完整私钥；单向能力的边界、跨链复放的防御规则与信任分布的代价。

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

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

Linera 官方文档口径下的微链机制：每条微链只记录一个用户或应用的状态变更，共享同一组验证者；所有权决定谁能提议区块，快速轮、多领导者轮、单领导者轮与验证者兜底逐级降级；加链不加验证者，安全靠三分之二质押门槛。