Abstract: A deterministic concurrency control protocol for a blockchain is described. A set of transactions of the blockchain are received at a node. A simulation step and a commit step are performed to process the transactions. A dependency graph is generated comprising the set of transactions and a set of dependencies between the set of transactions, the set of dependencies including one or more read-write dependencies. A backward dangerous structure is identified in the dependency graph. The backward dangerous structure includes a first read-write dependency from a second transaction to a first transaction, and a second read-write dependency from a third transaction to the second transaction. A transaction is aborted based on the identified backward dangerous structure. Each non-aborted transaction is committed. Steps for update reordering, update coalescence, and inter-block parallelism are described.