Michael Sutton michaelsutton

## covpp-rnd.md

      
        
          
            
              
              1 file
            
          
          
            
              
              1 fork
            
          
          
            
              
              4 stars
            
          
        
        
          
              
          
          
            
                michaelsutton
                / covpp-rnd.md
            
            
              Last active
              February 2, 2026 21:53
            
              
                Notes on Kaspa covenant++ milestones and longer-term vProgs directions
              
          
        
      
        

      
      
    ZK covenants and verifiable programs (vprogs)

The purpose of this document is twofold: to propose a gradual R&D process for extending the covenants++ hardfork to support zk systems (see "Target: sovereign standalone vprogs"), and to explore the high-level trajectory towards the final vprogs design (see "Target: vprogs based rollup" and "End goal").
The document builds upon covenant opcodes (KIP17) and zk verification opcodes (KIP16).

Target (short-mid term): sovereign standalone vprogs