US11568505B2 - System and Method for a Computing Environment for Verifiable Execution of Data-Driven Contracts