Kaspa即将推出的以契约为中心的硬分叉：我们已知信息

Kaspa 的以契约为中心的硬分叉是什么？

根据 Terah 的帖子， 卡斯帕 正在准备一次以契约为中心的硬分叉，计划于 主网激活 2026年5月5日。此次升级扩展了 第 1 层 (L1) 它通过引入原生资源和扩展契约功能来实现可编程性。它也为以下方面奠定了基础： 可验证程序（vProgs） 以及零知识（ZK）集成。

Kaspa 是一个采用 blockDAG 架构的工作量证明区块链。 渐强升级 2025 年 5 月，吞吐量提升至每秒 10 个区块 (BPS)。因此，即将到来的硬分叉将在此基础上进行，而不会改变节点要求或共识的基本原理。

核心开发者将此次版本发布描述为一次范围明确的升级。它主要实现了原生代币发行、可编程支出规则以及在 L1 层实现零知识证明 (ZK) 验证。 

2026 年 5 月 5 日硬分叉的时间表是什么？

根据 Terah 的帖子，主网上线前需要经过几个里程碑：

• 测试网 12 (TN12) 重置： 计划于 2026 年 2 月初进行，以支持契约和原生资产测试。
   
• 序列器承诺 KIP： 预计在 2026 年 2 月 12 日左右。该提案引入矿工有效载荷承诺，以加强实时去中心化。
   
• SilverScript 发布： 一种用于在 Kaspa 上编写程序的高级编程语言。它由 Ori Newman 和贡献者开发，简化了契约开发。
   
• 主网硬分叉： 月5 2026。

硬分叉后的升级包括 DAGKnight，目标是实现自适应共识和 100 BPS 以上的吞吐量，以及 vProgs 的全面部署。

Kaspa上的原生资产和契约是如何运作的？

第一层上的原生资源

该硬分叉引入了原生资源，包括对以下方面的支持： KRC20 代币这些资产直接存在于 L1 上，可以原子性地转移。

原子转移适用于：

• 常规内联契约
• ZK 和非 ZK 契约执行
• KRC20代币转账

内联契约会在钱包内立即生成证明。交易数据和状态转换之间没有解耦。这种设计支持原子性和确定性执行。

扩展契约（契约++）

Kaspa 的契约系统灵感来源于比特币关于可编程 UTXO 支出条件的研究。Covenants++ 扩展了该系统，使其能够支持更具表现力的交易规则。

发现有前途的项目...

有前景的项目...

（广告）

文章继续...

用例包括：

• 金库式安全控制
• 托管机制
• 有条件转移
• 结构化令牌逻辑

该系统采用UTXO模型，而不是完全基于账户的智能合约。

什么是计算有向无环图（CDAG）？

硬分叉引入了计算有向无环图（CDAG）。). CDAG 记录程序所做的所有读写声明。

此结构：

• 跟踪资源使用情况
• 规范程序之间的依赖关系
• 强制执行天然气供应承诺

该设计与 Solana 和 Sui 等区块链中的执行模型类似，但在 Kaspa 的 blockDAG 环境中以完整形式实现。

CDAG 在实现 vProgs 主权方面发挥着核心作用。

什么是虚拟程序（vProgs）？它们与智能合约有何不同？

vProgs 是自主程序，它们在 L1 之外执行，同时通过证明在 L1 上结算结果。

主要特性：

• 主权执行： 每个虚拟程序都有自己的吞吐量和依赖关系规则。
• 基于 Gas 的依赖控制： vProg 必须支付 gas 费用才能读取另一个 vProg 的状态。
• 非原子转移： vProg 对 L1 层并不像原生资源那样透明。传输是异步的，并且不是原子性的。
• 封装式KAS要求： 任何非内联契约都必须通过规范桥接使用封装的 KAS。原生 L1 KAS 不能直接使用。

该设计将计算和状态从 L1 中分离出来，同时保留共享的排序和结算。

谁应该构建虚拟程序？

根据社区讨论，大多数普通应用程序开发人员可能不需要 vProgs。

然而，vProgs 可能对以下方面有吸引力：

• 应用链架构师
• 评估汇总式系统的团队
• 构建具有大量链上状态的人工智能代理的项目
• 系统设计人员正在比较 L1 合约、L2 汇总合约和混合模型

vProgs 将统一的 L1 测序与外部状态和计算相结合。

零知识（ZK）扮演着什么角色？

该硬分叉在 L1 上集成了零知识证明验证，扩展了之前的提案，例如： KIP-16.

支持的功能包括：

• Groth16 证明验证
• 无需信任的L2系统桥接器
• 潜在的隐私导向型应用

预计初始应用将以内联方式运行，钱包直接生成证明。即使是像 Hans 和 Maxim 这样的贡献者开发的基于契约的零知识证明实现，预计也能在通用硬件上运行。早期部署无需任何专门的证明器基础设施。

在目前的假设条件下，一台普通的笔记本电脑就能生成证明。

硬分叉后，以隐私为中心的程序在技术上是可行的。然而，隐私并未被列为路线图的主要重点。

Sparkle 与 vProgs 有何关系？

Sparkle 是 Anton 提出的一种架构，用于结合计算 DAG 和 ZK 证明。虽然 Sparkle 和 vProgs 都使用了 CDAG 和 ZK 组件，但它们解决的设计问题却有所不同。

vProgs 的核心特性在于依赖关系调控。每个程序都能控制自身的吞吐量，并避免任意的外部依赖。这种模型在保持程序隔离性的同时，也支持可组合性。

硬分叉会影响安全性、MEV 或节点要求吗？

• 安全预算： 短期内预计不会产生直接影响。改进取决于产品的实际应用，而非基础设施的改变。
   
• 节点要求： 没有变化。
   
• MEV回扣拍卖： 鉴于生态系统目前的发展阶段，现在下结论还为时过早。
   
• 为史塔克家族刷战俘： 讨论中提到了早期以太坊的历史行为，当时地址前导零降低了 gas 费用，进而催生了工作量证明（PoW）的磨币市场。此处提及的是历史背景，而非当前功能。

SilverScript 增加了哪些功能？

SilverScript 是一种专为 Kaspa 程序设计的高级语言。它的目标是简化契约和程序的开发。

其设计目标包括：

• 易读的语法
• 对新开发者的无障碍访问
• 与自动化工具的兼容性

SilverScript 有望在原生资源上线后降低编写基于契约的应用程序的门槛。

结语

Kaspa 的以契约为中心的硬分叉通过原生资产、扩展契约和零知识证明 (ZK) 验证扩展了 Layer 1 的功能。它引入了 CDAG 用于结构化依赖关系跟踪，并为主权虚拟程序 (vProg) 奠定了基础。此次升级保留了现有的节点要求和工作量证明共识机制，同时支持可编程代币发行和原子转账。

2026年5月5日的激活标志着Kaspa路线图上的一个重要技术步骤。它在协议层面增加了结构化可编程性，并为网络的进一步升级做好准备，包括DAGKnight和完整的vProgs部署。

来源：

• Kaspa 以契约为中心的硬分叉Kas.live 上的倒计时
• Terah X Thread即将到来的里程碑和以契约为中心的硬分叉
• 卡斯帕研究vProg 计算 DAG 的形式化骨干模型