Yhdysvaltain armeijan puolustuksen kehittyneiden tutkimushankkeiden viraston (DARPA) väestönlähtöisen virallisen todentamisen (CSFV) kokeilun aloitusvaihe käynnistettiin vuonna 2013. Kokeilu luotiin perinteisten koodivahvistusmenetelmien kalliiden, aikaa vievien haittausten torjumiseksi.
DARPA on suunnitellut CSFV-ohjelman tarkistaakseen suuret koodisarjat tarkkuuden varmistamiseksi selaimen pohjaisten videopelien avulla.
Keskiviikkona DARPA julisti ohjelman menestyksekkääksi ja ilmoitti viiden uuden pelin lisäämisen olemassa olevaan kokoonpanoonsa. DARPA-blogista:
Nämä [2013] pelit käänsivät pelaajien toimet ohjelmien merkinnöiksi ja avustetuiksi muodollisiksi todentamisasiantuntijoiksi matemaattisten todisteiden luomiseksi, jotta voidaan varmistaa, että C- ja Java-ohjelmointikielillä ei ole tärkeitä virheitä. Alustava analyysi osoittaa, että CSFV-pelejä pelaavat muut kuin asiantuntijat tuottivat satoja tuhansia merkintöjä.
Uudet otsikot sisältävät arvoituksia Dynamakr, Paradoksi, ja Binary fissio, "tiedepeli" Ghost Map Hyperspace, ja fantasia sim Monster Proof. Kaikki DARPA: n CSFV-pelit, mukaan lukien vuoden 2013 projektivaiheen pelit, ovat saatavilla Verigamesissä. Pelaajien on oltava vähintään 18-vuotiaita osallistumaan.