Shared State
What do VProgs unlock?
These require programs that talk to each other — shared liquidity, cross-program reads, atomic multi-step transactions. Covenants can't do this because each one is isolated to its own coin.
Decentralized exchanges (AMMs)
A liquidity pool that thousands of people swap against. The pool tracks shared reserves and adjusts prices with every trade. A covenant can't maintain a balance sheet that strangers update concurrently.
Multi-hop token routing
Swapping Token A to Token C by routing through two separate pools in one transaction. Both pool states update atomically — if either fails, neither happens. Covenants can't call each other.
Lending and borrowing
Deposit collateral, borrow tokens. If your collateral drops in value, the system auto-liquidates by reading a price feed and triggering a sell — all in one atomic step across multiple programs.
Flash loans
Borrow any amount, use it, and repay it — all within a single transaction. If you don't repay, the entire transaction reverts like it never happened. Requires cross-program atomic execution.
Algorithmic stablecoins
A token pegged to $1 that automatically rebalances when the price drifts. The program reads live price data, mints or burns supply, and adjusts collateral ratios — all without human intervention.
Prediction markets
Bet on real-world outcomes — elections, sports, weather. The market tracks all positions in shared state, resolves automatically when the outcome is proven, and pays out winners instantly.
DeFi bundles
Lend + swap + stake in a single transaction. Three different programs execute together atomically — if any step fails, the whole bundle reverts. Impossible when each program is an isolated island.
Going Further
Now think bigger.
When you combine ZK proofs, shared state, sub-second finality, and no centralized sequencer — the design space goes way beyond DeFi.
Automatic insurance payouts
Your crop insurance pays out the moment a weather feed confirms a drought. No claim form. No adjuster. No waiting. A program reads the data, verifies the condition, and pays every policyholder in the affected zone — in seconds.
Provably fair game economies
Every loot drop, every dice roll, every tournament payout is proven fair by math. The game runs off-chain, but a ZK proof guarantees it didn't cheat. Items become real tokens on L1 — tradeable, sellable, or used as collateral in another program.
Verified AI outputs
Prove that a specific AI model produced a specific answer for a specific question — without revealing the model or the input data. An immutable receipt: "this model said X." Composable with insurance, legal, or bounty programs.
Supply chain with instant payment
Scan a product and see a verified chain of custody from the farm to your hand. When you buy it, the farmer, the shipper, and the roaster all get paid their cut — atomically, in the same transaction.
Private identity credentials
Prove you're over 18, a citizen of a specific country, or not on a sanctions list — without revealing your name, birthday, or passport number. You control the credential. Nobody can revoke it or track when you use it.
Micro-royalty streaming
Every time someone uses your photo, samples your beat, or quotes your writing — you get paid a fraction of a cent, instantly and automatically. A remix pays the remixer AND the original artist, atomically, in one transaction.
Peer-to-peer energy trading
Your solar panels sell excess power to your neighbor's EV charger, settling every kilowatt-hour on-chain in real time. No utility company in the middle. The energy program can even issue carbon credits for verified green production.
Trustless freelance escrow with jury
A client deposits payment. You deliver work. If there's a dispute, anonymous jurors evaluate the evidence and submit a verdict — proven fair by ZK. Money moves in minutes. No platform. No 20% cut.
Now Think Even Bigger
What happens when all of this composes?
Sub-second finality. ZK-proven anything. Programs that talk to each other. No centralized operator. Start connecting the dots.
Autonomous companies
A business with no employees. ZK-proven code handles hiring contractors, paying invoices, and reinvesting profits based on real-time revenue. The entire operation runs itself — transparently, verifiably, in under a second per cycle.
Machine-to-machine payments
Self-driving cars pay each other for road priority. Drones pay charging stations. Servers pay for bandwidth. Machines transacting with machines in real time — no human approving anything.
Living contracts
Legal agreements that automatically adapt their own terms based on ZK-verified external data — inflation rates, regulatory changes, court rulings. The contract evolves. No renegotiation needed.
Science coordination
Researchers worldwide pool funding, assign compute tasks, and split patent royalties through composable programs. An entire drug trial coordinated by code — no university, no corporation, no overhead.
Programmable city budgets
Tax revenue automatically routes to infrastructure, schools, or emergency funds based on sensor data and citizen votes — all ZK-proven. Replace bureaucracy with math.
Community economies
A neighborhood mints its own local currency, mutual credit system, or time bank — and it interoperates with global Kaspa liquidity in the same transaction. Micro-economies that plug into the world.
Derivatives on anything
Financial instruments on weather, attention, carbon emissions, bandwidth — any measurable thing. Settled sub-second with ZK-proven data feeds. No exchange. No broker. No opening bell.
Full estate execution
When someone dies, assets, messages, access permissions, and digital property transfer across dozens of recipients instantly — triggered by a ZK-verified proof of death. Replaces probate entirely.
This is what programmable money looks like.
Covenants give coins rules. VProgs give Kaspa a programmable economy. The design space has no ceiling.
