Verifiable Process Infrastructure: A Formal Framework for Cryptographically Provable Business Processes | Synapse