Blockchain Logical Execution