Where standalone covenant applications are live on mainnet today, VProgs aim further: on-chain programs that share state and compose synchronously. 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