Toccata 在 Kaspa 主网上部署智能合约与零知识验证，领先于 vProgs

核心提要：Kaspa Toccata硬分叉正式上线：迈向基础层可编程性的关键一步2026年6月30日，Kaspa网络的Toccata硬分叉在主网上线，这标志着该网络在推进基础层可编程性方面迈出了重要一步。此次升级使得Kaspa的UTXO（未花费的交易输出）具备了足够的表达力，能够承载真实的应用状态。该升级在DAA分数达到474,

Kaspa Toccata硬分叉正式上线：迈向基础层可编程性的关键一步

2026年6月30日，Kaspa网络的Toccata硬分叉在主网上线，这标志着该网络在推进基础层可编程性方面迈出了重要一步。此次升级使得Kaspa的UTXO（未花费的交易输出）具备了足够的表达力，能够承载真实的应用状态。该升级在DAA分数达到474,165,565时正式激活。

Toccata究竟改变了什么？

“契约”（Covenants）是一种递归的花费规则，它限制了硬币可以被谁以及如何花费，从而为金库、智能钱包、原生资产以及基于零知识证明（ZK）辅助的结构化应用打开了大门。在Toccata升级后，一个UTXO现在可以要求其花费操作必须生成一个有效的后继者，这实际上允许原生的Kaspa UTXO跨交易持有并强制执行应用状态。

协议的核心要素包括：

扩展的脚本引擎操作码支持：构成了契约功能的基础（KIP-17）；契约ID：实现了谱系追踪与管理（KIP-20）；ZK验证操作码：使得直接在Layer 1上进行证明验证成为可能（KIP-16）。

此次升级引入了两项核心功能：通过Silverscript编译器实现的原生Layer 1契约编程，以及基于零知识证明的应用基础设施。Silverscript是主要的更高层级的契约语言，Kaspa官方文档将其描述为推荐的契约编写方向。该编译器生成的原生Kaspa Script可直接在L1上运行，无需虚拟机或解释器，而是由Kaspa共识层面的脚本引擎进行验证。

核心开发者@michaelsuttonild将Toccata描述为迈向“同步可组合的可验证程序”的一步，并将其定位为更宏大的可编程性模型之前的基础设施层。

vProgs：下一阶段

Toccata明确是为vProgs（可验证程序，Verifiable Programs）铺路的先驱。vProgs是主权性的可验证程序，采用链下执行和链上ZK证明验证的模式。该模型允许应用逻辑在链下运行，同时将零知识证明发布到基础层节点进行验证，既保持了L1的轻量级，又支持更复杂的计算。

根据Kaspa的文档，vProgs被描述为一个演进的Rust运行时，用于基础计算和RISC Zero证明，其代码仓库被视为一种模式来源，而非稳定的外部开发者API。研究人员澄清称，用于同步可组合应用的完整vProgs架构将在后续的开发阶段推出。

基础货币层保持精简且专注，其可编程性设计旨在增强而非复杂化核心账本。在Kaspa路线图上的下一个重大协议升级是DAGKnight，它将针对自适应共识和更高的吞吐量。