Updated: 7/28/2026
VProgs
VProgs - verifiable programs with shared state and synchronous composition, the research end-goal of Kaspa programmability.VProgs (verifiable programs) are the research end-goal of Kaspa’s programmability roadmap: on-chain programs with shared state and synchronous composition, beyond the standalone covenant applications live today. Explicitly not part of the Toccata hard fork - VProgs remain research / future-fork work, with Covenants++ and SilverScript as the infrastructure layer beneath them.
Resources
- kaspanet/vprogs GitHub repo
- Yellow Paper
- ZK covenants and verifiable programs (vprogs)
- Aspectron VProgs Jam Session