The study of anyonic systems as computational means has led to the exciting discovery of a new quantum algorithm. This algorithm provides a novel paradigm that fundamentally differs from searching (Grover, 1996) and factoring (Shor, 1997) algorithms. It is based on the particular behaviour of anyons and its goal is to evaluate Jones polynomials (Jones, 1985, 2005). These polynomials are topological invariants of knots and links, i.e., they depend on the global characteristics of their strands and not on their local geometry. The Jones polynomials were first connected to topological quantum field theories by Edward Witten (1989). Since then they have found applications in various areas of research, such as biology for DNA reconstruction (Nechaev, 1996) and statistical physics (Kauffman, 1991).

The best known classical algorithm for the exact evaluation of the Jones polynomial demands exponential resources (Jaeger et al., 1990). Employing anyons involves only a polynomial number of resources to produce an approximate answer to this problem (Freedman et al., 2003b). Evaluating Jones polynomials by manipulating anyons resembles an analogue computer. Indeed, the idea is equivalent to the classical setup, where a wire is wrapped several times around a solenoid that confines magnetic flux. By measuring the current that runs through the wire one can obtain the number of times the wire was wrapped around the solenoid, i.e., their linking number. Similarly, by creating anyons and spanning links with their worldlines we are able to extract the Jones polynomials of these links (Kauffman and Lomanaco, 2006).