CSAIL researcher Shafi Goldwasser recently joined the team at The Department of Nuclear Science and Engineering's Laboratory for Nuclear Security and Policy (LNSP), which just received $3.2 million from the National Nuclear Security Administration to support research that could revolutionize the verification of international arms-control treaties.
The system is a physics manifestation of interactive zero-knowldge proofs, a mathematical concept invented by Goldwasser (and for which she received the 2012 Turing Award).
Asked about the project, Goldwasser said, “This is very exciting for me! I have been waiting 30 years to see the ideas behind interactive and zero-knowledge proofs applied to problems outside the realm of mathematics and digital information.”
Read more at MIT News and the LNSP website.