Mir Protocol is a provider of a distributed ledger for decentralized applications created to verify transactions, improve security and scalability. The company's cryptographic tools allow anyone to verify the output of a computation without re-executing it, thereby enabling customers to verify billions of transactions with a single proof, even for complex decentralized applications.