Kaspa Toccata 硬分叉将"分区排序承诺"带上主网 —— 一套全新的共识层承诺方案, 让 ZK 证明成本与"单条 lane 活跃度"成正比,并为 based ZK 应用打开 L1 covenant 编程的大门。
用"对活跃应用 lane tip 的分区承诺"取代"每 chain block 的线性全量承诺"。
全局顺序仍可通过 merge_idx 重建,但不再作为单一整体列表写入每个区块。
应用 lane 的 ZK prover 只需为"自己 lane 的活跃度"付费,不再需要处理全网吞吐。 为 Kaspa L1 上的 based ZK rollup 和应用链打开了实战空间。
扩容
区块头暴露唯一的 accepted_id_merkle_root,承诺两层数据:
(i) 活跃 lane 的 SMT 根;(ii) 每块的上下文,通过 selected-parent 递归链起来。
不活跃的 lane 可以从活跃集中淘汰,但仍能通过全局锚定访问。 长期状态依然可达,内存压力始终可预测。
状态
Toccata 启用 v1 交易格式,新增 TransactionOutput.covenant 与
TransactionInput.compute_commit 字段 —— 这层地基由 Crescendo 阶段的
KIP-16、KIP-17、KIP-20 共同奠定。
RPC 提交的交易最低费率变为 100 sompi × max(compute grams, 2 × tx_bytes)。
其中 2 × tx_bytes 对应 Toccata 之后的"归一化瞬时质量"分量
(为容纳 ZK-STARK 证明而翻倍)。