Verifiable Programs (vProgs) are Kaspa's approach to smart contracts. Unlike traditional smart contracts that execute on-chain, vProgs execute off-chain and submit cryptographic proofs to the BlockDAG for verification.

vProgs run complex logic off-chain, generate verifiable proofs of correctness, and submit these proofs to Kaspa's Layer 1. The BlockDAG verifies the proofs rather than executing the full computation, making it highly scalable.

vProgs offer scalability (off-chain execution), lower costs (only proofs are submitted), faster execution (no on-chain computation delays), and native integration with Kaspa's BlockDAG architecture.