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

免责声明：内容不构成买卖依据，投资有风险，入市需谨慎！

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

2026-09-16 04:36:30

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，它将针对自适应共识和更高的吞吐量。

免责声明：

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证，网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用，不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责，与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容，并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文