┌─┐                                                                                                                                                                            
       ║"│                                                                                                                                                                            
       └┬┘                                                                                                                                                                            
       ┌┼┐                                                                                                                                                                            
        │                                               ┌────────┐                            ┌──────┐                         ┌──────────┐                                           
       ┌┴┐                                              │Kaspa L1│                            │Prover│                         │ZK Circuit│                                           
      User                                              └────┬───┘                            └───┬──┘                         └─────┬────┘                                           
        │       Submit BIZ payload (RegisterBusiness)        │                                    │                                  │                                                
        │───────────────────────────────────────────────────>│                                    │                                  │                                                
        │                                                    │                                    │                                  │                                                
        │Submit PRD payload (CreateProduct, FK: business_id) │                                    │                                  │                                                
        │───────────────────────────────────────────────────>│                                    │                                  │                                                
        │                                                    │                                    │                                  │                                                
        │Submit SVC payload (CreateService, FK: business_id) │                                    │                                  │                                                
        │───────────────────────────────────────────────────>│                                    │                                  │                                                
        │                                                    │                                    │                                  │                                                
        │ Submit CON payload (AddContact, FK: business_id)   │                                    │                                  │                                                
        │───────────────────────────────────────────────────>│                                    │                                  │                                                
        │                                                    │                                    │                                  │                                                
        │  Submit DOC payload (CreateDoc, FK: product_id)    │                                    │                                  │                                                
        │───────────────────────────────────────────────────>│                                    │                                  │                                                
        │                                                    │                                    │                                  │                                                
        │                                                    │────┐                               │                                  │                                                
        │                                                    │    │ Block includes seqcommit root │                                  │                                                
        │                                                    │<───┘                               │                                  │                                                
        │                                                    │                                    │                                  │                                                
        │                                                    │     Fetch payloads for epoch       │                                  │                                                
        │                                                    │<───────────────────────────────────│                                  │                                                
        │                                                    │                                    │                                  │                                                
        │                                                    │                                    │Generate proof with FK validation │                                                
        │                                                    │                                    │─────────────────────────────────>│                                                
        │                                                    │                                    │                                  │                                                
        │                                                    │                                    │                                  │────┐                                           
        │                                                    │                                    │                                  │    │ Verify BIZ exists                         
        │                                                    │                                    │                                  │<───┘                                           
        │                                                    │                                    │                                  │                                                
        │                                                    │                                    │                                  │────┐                                           
        │                                                    │                                    │                                  │    │ Verify PRD.business_id -> BIZ.id          
        │                                                    │                                    │                                  │<───┘                                           
        │                                                    │                                    │                                  │                                                
        │                                                    │                                    │                                  │────┐                                           
        │                                                    │                                    │                                  │    │ Verify SVC.business_id -> BIZ.id          
        │                                                    │                                    │                                  │<───┘                                           
        │                                                    │                                    │                                  │                                                
        │                                                    │                                    │                                  │────┐                                           
        │                                                    │                                    │                                  │    │ Verify CON.business_id -> BIZ.id          
        │                                                    │                                    │                                  │<───┘                                           
        │                                                    │                                    │                                  │                                                
        │                                                    │                                    │                                  │────┐                                           
        │                                                    │                                    │                                  │    │ Verify DOC.product_id -> PRD.id           
        │                                                    │                                    │                                  │<───┘                                           
        │                                                    │                                    │                                  │                                                
        │                                                    │                                    │                                  │                                                
        │                                     ╔══════╤═══════╪════════════════════════════════════╪══════════════════════════════════╪═══════════════════════════════════════════════╗
        │                                     ║ ALT  │  All FK Valid                              │                                  │                                               ║
        │                                     ╟──────┘       │                                    │                                  │                                               ║
        │                                     ║              │                                    │         Proof generated          │                                               ║
        │                                     ║              │                                    │<─────────────────────────────────│                                               ║
        │                                     ║              │                                    │                                  │                                               ║
        │                                     ║              │     Submit BasedStitch proof       │                                  │                                               ║
        │                                     ║              │<───────────────────────────────────│                                  │                                               ║
        │                                     ║              │                                    │                                  │                                               ║
        │                                     ║              │────┐                               │                                  │                                               ║
        │                                     ║              │    │ State transition verified     │                                  │                                               ║
        │                                     ║              │<───┘                               │                                  │                                               ║
        │                                     ╠══════════════╪════════════════════════════════════╪══════════════════════════════════╪═══════════════════════════════════════════════╣
        │                                     ║ [Any FK Invalid]                                  │                                  │                                               ║
        │                                     ║              │                                    │           Proof fails            │ ╔══════════════════════════════════╗          ║
        │                                     ║              │                                    │<─────────────────────────────────│ ║Entire epoch rejected atomically ░║          ║
        │                                     ╚══════════════╪════════════════════════════════════╪══════════════════════════════════╪═╚══════════════════════════════════╝══════════╝
      User                                              ┌────┴───┐                            ┌───┴──┐                         ┌─────┴────┐                                           
       ┌─┐                                              │Kaspa L1│                            │Prover│                         │ZK Circuit│                                           
       ║"│                                              └────────┘                            └──────┘                         └──────────┘                                           
       └┬┘                                                                                                                                                                            
       ┌┼┐                                                                                                                                                                            
        │                                                                                                                                                                             
       ┌┴┐