什么是 Silverscript？Kaspa 的首个高级智能合约语言和编译器

银脚本 是一种专为智能合约而构建的高级智能合约语言和编译器。 Kaspa 区块链该功能由开发者 Ori Newman 于 2026 年 2 月 10 日宣布，它直接在 Kaspa 上引入了可编程功能。 第 1 层 (L1)无需依赖外部虚拟机或共享全局状态模型，例如 以太坊的EVM.

Silverscript 编译成原生 Kaspa Script，专为 Kaspa 基于 UTXO 的架构而设计。它使开发人员能够编写易读的契约逻辑，从而在协议层强制执行事务规则。

Silverscript 解决了 Kaspa 上的什么问题？

Kaspa 是一种基于工作量证明 (PoW) 机制的加密货币。 BlockDAG（有向无环图） 结构。与线性区块链不同，Kaspa 并行处理区块。该网络目前的目标是每秒处理 10 个区块，并正在进行升级，例如： DAGKnight 目标是每秒完成 100 个以上的方块。

此前，Kaspa 脚本的表达能力一直受到限制。Silverscript 通过引入结构化编程特性解决了这个问题，这些特性允许进行更高级的契约设计，同时仍然与 UTXO 模型保持一致。

与基于账户的系统中常见的共享全局状态不同，Silverscript 为每个 UTXO 维护一个本地状态。这降低了基于 EVM 的系统中常见的重入漏洞等风险。

Silverscript 的工作原理是什么？

Silverscript 的灵感来源于 CashScript，一种用于比特币现金的智能合约语言。然而，它在 CashScript 的基础上进行了扩展，添加了实现更复杂的 DeFi 原语所需的结构化编程工具。

它将高级代码编译成低级 Kaspa 操作码，包括：

• KIP-10 （内省操作码）
• KIP-16 （零知识验证操作码）
• KIP-17 （字节原语）

它旨在与 即将进行的网络升级 计划于2026年5月5日发布，届时将推出：

• 契约++（高级支出限制）
• KIP-20下的原生资产（代币血统和来源追踪）
• 零知识（ZK）验证支持

Silverscript 作为这些协议功能的开发层。

发现有前途的项目...

有前景的项目...

（广告）

文章继续...

Silverscript 为 Kaspa 添加了哪些功能？

Silverscript 引入了 Kaspa Script 中以前没有的结构化编程元素。

支持迭代操作，例如： HPMC胶囊 循环。
这样就可以进行重复计算、批量处理和条件资产逻辑。

阵列

支持动态数据结构。
开发者可以管理代币余额、多重签名条件或结构化输出。

函数调用

允许使用带参数和返回值的可重用函数。
提高代码清晰度并减少实现错误。

要求语句

提供内置断言。
合约可以在编译时或运行时强制执行数组大小限制或值检查等约束。

UTXO 聚焦设计

基于本地UTXO状态而非共享的全局状态进行操作。
该模型强制执行显式验证，避免了重入问题。

Silverscript 代码是什么样的？

Silverscript 使用简化的类 C 语言语法。以下示例演示了数组、循环和 require 语句：

此示例定义了一个函数，用于计算整数数组中所有元素的总和。它会检查数组长度，遍历数组元素，并确保总和等于 6。

在生产应用中，类似的逻辑也适用于：

• 代币分发强制执行
• 金库提款条件
• 托管验证规则
• 结构化 DeFi 输出

该语法为实验性语法，目前仅在 Testnet-12 上可用。

Silverscript 与 CashScript 有何不同？

Silverscript 以 CashScript 为基础，但扩展了其功能。

相似点：

• 基于UTXO的契约的高级语法
• 关注交易约束而非完全图灵完备性

不同点：

• 原生支持循环
• 原生数组
• 功能定义和模块化结构
• 专为 Kaspa 的 BlockDAG 设计

CashScript 本身并不提供对结构化循环或动态数组的内置支持。Silverscript 引入了这些特性，以支持更具表现力的契约逻辑。

Silverscript 如何融入 Kaspa 的生态系统？

Silverscript 运行在一个更广泛的架构中，该架构将本地状态模型和共享状态模型分开：

• 当地州： 由 Silverscript 通过 UTXO 契约进行管理
• 共享计算： 由 vProgs（可验证程序）管理，使用零知识证明进行链上验证。

它集成了：

• KIP-20 原生资产支持（代币溯源强制执行）
• 程序依赖关系的计算有向无环图 (CDAG)
• Sparkle，一个基于零知识库的汇总框架

这种结构能够实现：

• 使用强制输出结构的自动做市商（AMM）
• 借贷金库
• 原子掉期
• DAO治理以脚本形式编码

这一切都无需可变的全局状态。

目前的发展状况如何？

Silverscript 目前仍处于实验阶段，仅兼容 Kaspa Testnet-12 测试网，尚未在主网上线。

GitHub 代码库包含：

• 编译器实现
• 例子
• TUTORIAL.md 文档

开发者 Ori Newman，活跃于 比特币 自 2013 年以来，一直维护着该项目，并表示未来可能会支持 WebAssembly (WASM)。

主网兼容性取决于 2026 年 5 月 5 日的硬分叉，该硬分叉将激活 Covenants++ 和原生资产功能。

结语

Silverscript 为 Kaspa 基于 UTXO 的 BlockDAG 网络引入了结构化的智能合约开发。它添加了循环、数组、函数和可强制执行的断言，并编译成原生操作码。该语言与即将推出的协议升级保持一致，包括 Covenants++、原生资产和零知识验证。 

Silverscript 目前仅限于 Testnet-12，它为 Kaspa 上的可编程 Layer 1 应用程序提供了技术基础，而无需采用共享的全局状态模型。

来源：

• Kaspa GitHub 存储库：Silverscript 语言教程 
• X 邮报奥里·纽曼的公开声明