Even the US military is looking at blockchain technology—to secure nuclear weapons

This September, DARPA, […] (the agency helped create the internet, among other things), awarded a $1.8 million contract to a computer security firm called Galois. The firm’s assignment is to formally verify—a sort of computer-code audit, using mathematics—a particular type of blockchain tech supplied by a company called Guardtime. Formal verification is one way to build nearly unhackable code, and it’s a big part of DARPA’s approach to security. If the verification goes well, it would inch DARPA closer to using some form of blockchain technology for the military, Booher says. “We’re certainly thinking through a lot of applications,” he says. “As Galois does its verification work and we understand at a deep level the security properties pf this [technology] then I would start to set up a series of meetings [with the rest of the agency] to start that dialog.”