A categorized collection of all reference material used across the vProgs documentation site. This page serves as a comprehensive link directory for researchers, developers, and anyone looking to verify or explore the primary sources.
Primary Research
Core proposals and formal models from the Kaspa research community.
| Title | Author(s) | Description | Link |
|---|---|---|---|
| Concrete vProgs Proposal | Core team | Architectural proposal for synchronously composable verifiable programs | research.kas.pa |
| Formal Backbone Model | Core team | Mathematical model for the vProg computation DAG – “Zoom in” on the formal structure | research.kas.pa |
| vProgs Yellow Paper | Core team | Formal vProgs specification, referenced by KIP-21 | GitHub |
| Covenant++ Milestones & vProgs Directions | Michael Sutton | Phased roadmap from covenants to full vProgs | Gist |
Official Kaspa
Publications from kaspa.org and affiliated organizations.
| Title | Description | Link |
|---|---|---|
| Kaspa Features | Official feature overview covering BlockDAG, GHOSTDAG, and pure PoW | kaspa.org/features |
| Development Milestones 2025-2026 | Official roadmap and milestone timeline | kaspa.org |
| The Global Payment Problem | Enterprise payments and institutional adoption case | kaspa.org |
| Kaspa: SoV / MoE / SoS | Strategic vision: Store of Value, Medium of Exchange, System of Systems | kaspa.org |
| KII Foundation | Kaspa Industrial Initiative – enterprise adoption organization | kaspa-kii.org |
Community & Articles
Community-written articles, discussions, and media coverage.
| Title | Author/Source | Description | Link |
|---|---|---|---|
| A Quick Introduction to vProgs | JC Roger (Medium) | Accessible introduction to vProgs for general audiences | Medium |
| Kaspa’s Yellow Paper Explained | Reddit (r/kaspa) | Non-technical guide to the Yellow Paper | |
| vProgs and Kaspa | Reddit (r/CryptoTechnology) | Technical community discussion on vProgs architecture | |
| Hail The Silverscript | KasMedia | In-depth article on Silverscript’s design and relationship to vProgs | KasMedia |
Kaspa Improvement Proposals (KIPs)
Formal proposals driving the Covenants++ and vProgs development. See the KIP Index for a complete table with status and summaries.
| KIP | Title | Link |
|---|---|---|
| KIP-9 | (Part of Crescendo hard fork) | GitHub |
| KIP-10 | Transaction Introspection Opcodes | GitHub |
| KIP-13 | (Part of Crescendo hard fork) | GitHub |
| KIP-14 | Crescendo Hardfork | GitHub |
| KIP-15 | Sequencing Commitments | GitHub |
| KIP-16 | ZK Verification Precompiles | GitHub |
| KIP-17 | Covenant Scripts | GitHub |
| KIP-20 | Covenant IDs | GitHub |
| KIP-21 | Partitioned Sequencing Commitment | GitHub |
Kaspa Research Forum
In-depth technical threads on the official research forum.
| Title | Description | Link |
|---|---|---|
| Subnets Sequencing Commitments | Original seed design for KIP-21’s lane-based commitments | research.kas.pa |
| Based ZK-Rollups over Kaspa | Design of based ZK rollups over Kaspa’s UTXO-based DAG consensus | research.kas.pa |
| L1/L2 Canonical Bridge | Entry/exit mechanism for the canonical L1/L2 bridge | research.kas.pa |
| Concrete vProgs Proposal | Synchronously composable vProgs architecture | research.kas.pa |
| Formal Backbone Model | Mathematical model for the vProg computation DAG | research.kas.pa |
Technical Concepts
Key resources organized by concept area.
| Concept | Description | Key Resource |
|---|---|---|
| BlockDAG | Directed acyclic graph block structure | kaspa.org/features |
| GHOSTDAG Protocol | Greedy Heaviest-Observed Sub-Tree DAG | kaspa.org/features |
| DagKnight Consensus | Parameterless adaptive consensus with near-instant finality | Milestones |
| Zero-Knowledge Proofs | Cryptographic proofs enabling private verification | Formal Model |
| Synchronous Composability | Atomic cross-program interactions within single transactions | vProgs Proposal |
| Prover Market | Infrastructure for outsourcing ZK proof generation | vProgs Proposal |
| Silverscript | L1 covenant language | GitHub |
| Covenants++ | Hard fork enabling covenants, ZK verification, and RTD | TN12 Testnet |
GitHub Repositories
See the Repositories page for an annotated directory. Quick links:
| Repository | Link |
|---|---|
| vProgs | github.com/kaspanet/vprogs |
| Silverscript | github.com/kaspanet/silverscript |
| KIPs (Official) | github.com/kaspanet/kips |
| KIPs (Michael Sutton) | github.com/michaelsutton/kips |
| rusty-kaspa | github.com/kaspanet/rusty-kaspa |
| ZK Covenant Rollup PoC | biryukovmaxim/rusty-kaspa |
| ZK Rollup PoC Book | biryukovmaxim.github.io/rusty-kaspa |
| vProgs.xyz Site | github.com/creative-inference/vprogs.xyz |
Additional Resources
- Kaspa Research Forum – ongoing research posts and proposals
- Kaspa Discord – active developer discussions
- Kaspa Core R&D Telegram – primary technical channel
- Kaspa GitHub Organization – protocol implementation
Further Reading
- KIP Index – detailed KIP table with status
- Repositories – annotated repo descriptions
- R&D Channel Insights – curated intelligence from the R&D channel