What programming model will Kaspa's vProgs environment use?

Kaspa's vProgs execution environment will use a programming model that resembles Solana's account model, with explicit read/write declarations. This means developers declare upfront which data their program reads and which it modifies — a pattern that makes execution more predictable and easier to verify mathematically. The stated goal is to combine familiar developer ergonomics with ZK-verifiable execution, giving developers a workflow they may already recognize while enabling the cryptographic verification Kaspa's covenant infrastructure requires. For beginners, this matters because it signals the smart-contract layer is being designed to be approachable for developers, not only for cryptography researchers.