This represents a shift from human-readable contracts to machine-executable contracts with human-verifiable outcomes.