Launched in 2011 with seed-funding from Global Zero and The Simons Foundation, our team has been pioneering a warhead verification approach based on the cryptographic concept of zero-knowledge proofs. The original concept was published in a Nature article in June 2014. Since then, we have been working on the development of a zero-knowledge object-comparison system and the procedures for its use in nuclear warhead inspections. The demonstration of such a system was outlined in a Nature Communications article published in September 2016.
More recently, our team has focused their attention on the challenge of verifying the isotopic composition of uranium objects using zero-knowledge techniques. This has led to the design and construction of a modular experimental setup that is expected to be online in fall 2019.