DARPA Contract to Verify Blockchain Integrity Monitoring Awarded to Galois and Guardtime Federal

Research and Development company Galois and Guardtime Federal have announced they have jointly been awarded a $1.8 million contract by the Defense Advanced Research Projects Agency to verify the correctness of Guardtime’s Keyless Signature Infrastructure. The contract will fund an attempt to advance the state of formal verification tools and all blockchain-based integrity monitoring systems.

Galois provides formal verification, a technique that goes beyond testing and evaluation to provide mathematical assurances that a system works only as intended in all cases. Verifying the appropriateness of the Keyless Signature Infrastructure will demonstrate the scalability and practicality of formal verification methods as a means for establishing trust in critical systems.


Based near Windsor, England, Matthew Warner is an enthusiast for innovative, cutting edge technologies. He is a B.Eng. graduate in engineering with honors from the University of Warwick and also holds an PGCE in education degree. Matthew is a member of Mensa.
Free AllCoinsNews Email Updates
Get the latest cryptotoken market news and blockchain developments!
We respect your privacy.