探索 Kaspa 的 vProgs：可扩展、可验证应用的框架

Kaspa于2025年9月11日发布了其vProgs黄皮书的第一稿。该文档详细介绍了一种可验证程序（vProgs）的协议，该协议能够通过零知识证明确保链下计算，并锚定在Kaspa的第1层网络上。

该框架旨在支持去中心化应用程序，同时保持网络高区块生产率。该公告通过 @DailyKaspa 在 X 上发布，在柏林的 Kaspa Experience 大会上发布，开发者和社区成员将在会上讨论该项目的路线图。

关于Kaspa的BlockDAG架构的背景

Kaspa的运作方式不同于线性区块链，如比特币或以太坊。它采用了一种区块有向无环图（blockDAG），允许多个区块在并行中相互引用，从而减少了在挖矿过程中孤块的产生。该设计基于GHOSTDAG协议，由Yonatan Sompolinsky开发，旨在在不妥协安全性的情况下，扩展中本共识以适应更高的区块生成速度。

目前，Kaspa每秒处理10个区块，计划将其提高到每秒32个区块，并在更长的时间内可能达到100个区块。确认通常在1到10秒内发生，主要限制是网络延迟，而不是链上处理。这导致理论吞吐量超过每秒10,000笔交易，远远超过比特币每秒3到7笔交易或以太坊在Layer 1上在分片实施之前每秒15到30笔交易。

该网络依赖于工作量证明共识，矿工通过解决计算难题来添加区块。交易费用和区块奖励以KAS代币支付，这是Kaspa网络的原生加密货币。Kaspa于2021年推出，采用公平分配模型，避免了风险投资资金，这促进了其社区驱动的发展。

Kaspa主要作为支付和数据结算的基础层，采用了KRC-20等标准用于可替代代币。在vProgs提案之前，它缺乏对智能合约的原生支持，依赖于更简单的脚本进行基本操作。

**什么是 Kaspa vProgs？

vProgs，即可验证程序，引入了一种在主链之外执行复杂逻辑的系统，同时确保结果可以在Kaspa的Layer 1上进行验证。每个vProg都作为一个自包含的单元，管理其自己的状态和转换规则，类似于Solana上的程序，但增加了零知识证明验证。

零知识证明允许证明者在不披露基础数据的情况下证明计算的正确性。在vProgs中，这些证明定期提交到Layer 1，以确认链下活动的完整性。这种方法使主链保持轻量，专注于验证而非执行，这与Kaspa对速度和效率的强调相一致。

《黄皮书》草稿，版本0.0.1，描述了vProg使得"主权但可组合的"应用程序成为可能。主权意味着每个vProg独立控制其内部操作，包括读写权限。可组合性允许一个vProg读取另一个vProg的数据，从而促进跨应用程序交易等交互，但写操作仅限于原始vProg，以避免冲突。

vProgs 的开发可以追溯到 2025 年 8 月在 Kaspa 研究论坛上的讨论主题，参与者讨论了在同步可组合性方面的挑战，包括证明延迟和资源共享。该草案纳入了这些会议的反馈，尽管许多元素仍在完善中，包括账户创建流程和数据修剪机制。

vProgs的核心技术特性

vProgs 的功能由几个机制支撑，旨在处理高吞吐量环境中的依赖关系和效率：

证明缝合：证明缝合将来自相互连接的 vProgs 的多个零知识证明组合成一个单一的承诺，然后提交到 Layer 1。这支持跨应用的原子交易，结果同时结算，避免了在基于汇总的系统中常见的中间延迟。

条件证明批次：条件证明批次将相关交易分组以进行集体证明，从而降低计算开销。例如，在涉及多个交换的DeFi场景中，批处理减少了所需的单个证明数量。

计算DAG：计算DAG在应用层形成一个依赖图，反映Kaspa的blockDAG结构。它跟踪vProgs之间的数据流，确保引用的信息保持可用，并在并行处理过程中维护执行顺序。此图有助于通过对依赖操作进行排序来防止过载。

资源计量：资源计量引入了管理成本的控制措施。在内部，每个vProg使用自己独特的Layer 2燃气模型进行计算。在Layer 1，ScopeGas计量跨vProg的交互，基于数据依赖收取费用，以抑制垃圾信息或过度资源使用，例如一个应用程序淹没另一个应用程序的输入要求。

经济模型：vProgs的经济模型依赖于无权限的证明者——生成和提交证明的节点——他们从用户那里赚取费用。活性，或及时证明的保证，通过两种模式运作：乐观模式，证明者合作，或主权模式，应用程序独立运行。这种设置激励参与，而不依赖于集中协调者。

隐私特性：隐私特性自然源自零知识证明，使得在诸如保密交易或预言机等应用中实现加密状态。该框架通过将可验证的输出锚定到Kaspa的快速确认时间，支持从微支付到企业数据结算的一系列用例。

柏林的Kaspa体验大会

vProgs公告与Kaspa体验相一致，这是一个定于2025年9月13日在柏林Atelier Gardens举行的社区会议。此次为期一天的活动限量500张门票，价格为150美元加50美元的派对费用，需使用KAS代币支付，这标志着这种加密货币在活动物流（包括食品、饮料和商品）中的早期实际应用。

议程包括核心开发者的主题演讲，Sompolinsky将讨论GHOSTDAG的进展，面板讨论智能合约集成，以及专注于实际实施的研讨会。黑客马拉松将鼓励原型设计，同时Kaspa艺术博览会将展示网络的创意使用。虽然日程上没有专门的vProgs会议，但活动的新闻材料强调Kaspa的可编程层作为DeFi和支付系统的基础，暗示对新框架的非正式讨论。

与会者包括矿工、商人和开发者，将在一个强调Kaspa去中心化精神的环境中进行网络交流。此次会议是该项目首次大型线下聚会，建立在在线论坛和Telegram频道上的合作基础上。

挑战与实施时间表

实施 vProgs 涉及零知识系统常见的障碍。证明生成仍然计算密集，可能会引入延迟，尽管 Kaspa 的区块速度很快。开发者必须解决虚拟机兼容性问题，以便于从以太坊虚拟机等环境的移植。

论坛贡献者模拟了气体共享模型，以减轻外部性，其中一个 vProg 的活动影响其他人。计算 DAG 中的数据可用性需要仔细设计，以避免中心化风险。

8月讨论中的时间表显示，在对草案进行社区反馈后，预计将在2025年第四季度推出测试网。全面的主网整合将取决于审计和性能基准，修剪和账户机制计划在未来进行修订。

与以太坊的 Rollups 相比，后者可能会在各层之间分散流动性，或者与 Solana 的链上执行相对比，后者测试吞吐量极限，vProgs 旨在将可验证计算直接集成到工作量证明基础层中。这在利用并行区块生产的同时保持了去中心化。

结论

vProgs 为 Kaspa 提供了链下执行的工具，这些工具通过零知识证明进行验证，包括可组合性的证明拼接、用于依赖管理的计算有向无环图（DAG）以及用于资源控制的 ScopeGas。

这些元素使应用程序能够在每几秒确认区块的网络上可扩展地运行，支持从DeFi到数据结算的用例，而不影响Layer 1的安全性。

来源：

• Kaspa Daily X 关于 vProgs 的文章：
• vProgs 黄皮书草稿 v0.0.1:
• Kaspa研究论坛关于同步可组合性的主题：
• Kaspa在柏林的体验：