互联网计算机把签名私钥切成秘密碎片散布在子网节点之间,签名靠协作完成、完整钥匙不在任何一处存在。本文按 ICP 官方文档拆解 Chain-key 密码学的两半构成、跨链签名与 ckBTC 的信任账本,以及与多签委员会的坐标差异。
汇总与「公链与 Layer2」相关的文章,帮助你系统了解该主题。
互联网计算机把签名私钥切成秘密碎片散布在子网节点之间,签名靠协作完成、完整钥匙不在任何一处存在。本文按 ICP 官方文档拆解 Chain-key 密码学的两半构成、跨链签名与 ckBTC 的信任账本,以及与多签委员会的坐标差异。
Cosmos 系链的破坏性升级不靠默契:x/upgrade 模块把升级计划写成带区块高度的 Plan,老节点到达高度后各自确认软件过时并停机等待。本文按 Cosmos SDK 官方文档拆解 Plan 字段、停机触发点与存储迁移的用户自查点。
Sui 合约读的链上时间来自创世建在 0x6 的唯一共享对象 Clock,时间戳随每次共识提交推进,读它的交易必须走共识。本文按 Sui 官方文档拆解这份时间的更新节奏、快路径分界与纪元时间戳的粗粒度替代。
NEAR 用重分片回应分片过载:一个分片在纪元末尾的区块后处理阶段把状态树拆给两个子分片,下一纪元起按新分片布局出块。本文按 nearcore 文档与 NEP-0568 拆解拆树方法、边界账户规则与一个纪元内完成的硬约束。
StarkEx 不在每条应用链上自建证明机器,而是把批处理执行轨迹交给共享证明服务 SHARP 出证明。本文按 StarkWare 官方文档拆解这条状态更新链路里证明与数据可用性的分工,以及用户侧的核验与强制提现边界。
Celestia 每个区块能塞多少数据,由数据方块的尺寸决定,而这个尺寸受两层规则约束:规范里硬编码的绝对上限,和可以经链上治理修改的参数上限。本文拆解 share、原始数据方块与两层上限的关系,给出治理提案的质押门槛与投票周期,并说明普通用户怎么核对容量参数的真实状态。
OP Stack 的 L2 区块里固定住着一类特殊交易:由 L1 区块推导而来、不做签名验证、前缀为 0x7E 的充值交易。每个 L2 区块的第一笔必须是 L1 属性交易,用户充值则从 Portal 合约的事件里被推导进区块。本文按规范拆解这类交易的字段、与 withdrawals 的方向差异,以及查充值时该看哪些字段。
zkSync 的提现到账比 ZK 证明定稿更晚,原因是官方在区块执行前加了一道时间锁:每个提交到 L1 的批次在被执行定稿前都有一段锁定窗口,用于在严重漏洞被利用时留出检测与冻结时间。本文拆解这道时间锁的由来、从 21 小时降到最低 3 小时的治理过程、提现作为内部交易在 Etherscan 上的正确查法,以及到账慢的三种常见误判。
NEAR 的每个区块为每个分片携带一个 chunk,而谁负责生产某个分片在某个高度的 chunk,是由协议按高度确定性分配的。本文按 nearcore 官方协议文档拆解区块与 chunk 的包含关系、epoch 内按高度轮换的分配算法、区块生产者与只生产分片的 chunk-only producer 的分工,以及这套排班为什么可以离线推算。
Starknet 的 L1 与 L2 消息机制既异步又不对称:L1 发往 L2 的消息由排序器自动触发 l1_handler 交易执行,L2 发往 L1 的消息只在核心合约登记哈希,需要接收方手动调用消费函数。本文按官方协议文档拆解两个方向的消息结构、手续费结算、防重放哈希与五天取消窗口,并给出充值迟迟不落地时的排查顺序。