@startuml skinparam backgroundColor #FEFEFE actor User as U participant "Kaspa L1" as L1 participant Prover as P participant "ZK Circuit" as ZK U -> L1: Submit BIZ payload (RegisterBusiness) U -> L1: Submit PRD payload (CreateProduct, FK: business_id) U -> L1: Submit SVC payload (CreateService, FK: business_id) U -> L1: Submit CON payload (AddContact, FK: business_id) U -> L1: Submit DOC payload (CreateDoc, FK: product_id) L1 -> L1: Block includes seqcommit root P -> L1: Fetch payloads for epoch P -> ZK: Generate proof with FK validation ZK -> ZK: Verify BIZ exists ZK -> ZK: Verify PRD.business_id -> BIZ.id ZK -> ZK: Verify SVC.business_id -> BIZ.id ZK -> ZK: Verify CON.business_id -> BIZ.id ZK -> ZK: Verify DOC.product_id -> PRD.id alt All FK Valid ZK -> P: Proof generated P -> L1: Submit BasedStitch proof L1 -> L1: State transition verified else Any FK Invalid ZK -> P: Proof fails note right: Entire epoch rejected atomically end @enduml Submit amiga aws-orange black-knight bluegray blueprint cerulean-outline cerulean crt-amber crt-green cyborg-outline cyborg hacker lightgray mars materia-outline materia metal mimeograph minty plain reddress-darkblue reddress-darkgreen reddress-darkorange reddress-darkred reddress-lightblue reddress-lightgreen reddress-lightorange reddress-lightred sandstone silver sketchy-outline sketchy spacelab spacelab-white superhero-outline superhero toy united vibrant       🎉 Discover the future PlantUML Web Editor! 🚀  PNG  SVG  ASCII Art