Detect Triangle Attack on Blockchain by Trace Analysis

Abstract

Blockchain provides a decentralized trade means, which has attracted both academic and industrial researchers' attention. It was first proposed as the basic structure of bitcoin. In practice, it could be hacked for gaining profit or performing some illegal transactions, hence, a question about how to detect these potential risks has been raised. This paper builds a model for blockchain core protocol, and adopts the trace semantics, i.e. a sequence of actions, which can record any possible conditions that the running protocol may reach. Also, as an application of DDoS attack on blockchain, triangle attack is shown and can be formalized and detected by the contradiction to the security property. Furthermore, some advice to defend the triangle attack are presented.