探索 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燃氣模型進行計算。在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在柏林的體驗：