A distributed transaction network for processing and verifying transactions asynchronously between transaction parties comprising a transferor and a transferee, the transferor having an obligation to transfer control of assets to the transferee. Each transaction party is randomly assigned a verifier upon it joining the network, which verifies the transaction of its transaction party by ensuring the asset of the transferor satisfies the transaction obligation and no fork condition exists. The transaction is executed only upon every verifier verifying and signing the transaction. The distributed transaction network further has a directed acyclic transaction map comprising topologically sorted transactions forming a single transaction path of sequentially executed transactions for each transaction party, to prevent the occurrence of race conditions, double spend, or fork conditions. The transaction network further comprises a global consensus mechanism to detect and replace failing verifiers and reverse invalid transactions which were improperly signed by the failing verifiers.