Whether you are writing your first covenant in Silverscript or architecting a full DeFi protocol with ZK proofs, this section has you covered.

Pages in This Section

   
vProg Technical Spec Complete technical specification: architecture, guest programming model, ZK proving pipeline, state management, and development guide.
Quickstart Clone, build, run a local testnet, deploy your first covenant in under 30 minutes.
Tutorials Step-by-step guides from your first vProg to cross-program atomic transactions.
API Reference RPC endpoints, data types, and error codes for vProgs nodes.
Silverscript Reference Full language specification — data types, operators, covenant macros, binding modes.
TN12 Testnet Connect to TN12, get test KAS, submit your first transactions.
Developer Tools CLI tools, proof inspector, covenant debugger, block explorer integration.
Example Projects Reference implementations — DEX, multi-sig wallet, Dutch auction, escrow, DAO.
Kaspa Chess A chess game built on Kaspa covenants as a developer showcase.
Covenant Patterns Inter-Covenant Communication (ICC), Multi-Contract Flows (MCF), and Dynamic UTXO Selection for high-concurrency dApps.
Developer Tools Overview Silverscript language, opcode refinement, enhanced debugger capabilities, and WebAssembly support.

Platform Status

Component Status Notes
Kaspa L1 BlockDAG (10 BPS) Live Mainnet, DagKnight consensus
Covenants++ Hard Fork Targeting ~June 5–20, 2026 (Toccata) KIP-16, KIP-17, KIP-20, KIP-21
Silverscript Experimental (TN12) Compiles to native Kaspa Script
vProgs Repo Public github.com/kaspanet/vprogs
Phase 1: Standalone vProgs In Development Sovereign programs, ZK bridge to L1
Phase 2: Synchronous Composability Research Cross-vProg atomic transactions

Architecture at a Glance

User defines state transition
    |
    v
Off-chain prover executes logic
    |
    v
ZK proof generated (Noir / RISC Zero / Cairo)
    |
    v
Proof + state commitment submitted to L1
    |
    v
L1 validates proof cryptographically (no re-execution)
    |
    v
State finalized with instant DAG finality

vProgs use a layered architecture where Silverscript handles UTXO-level covenants (local state) and vProgs handle account-based state machines (shared state). Both build on the Covenants++ consensus layer. See the Silverscript Reference for the covenant programming model and the Tutorials for hands-on guides.

Community and Support