ABD Ordusu Savunma İleri Araştırma Projeleri Ajansı'nın (DARPA) kitle kaynaklı resmi doğrulama (CSFV) denemesinin ilk aşaması 2013 yılında başladı. Deney, geleneksel kod doğrulama yöntemlerinin pahalı ve zaman alıcı tuzaklarıyla mücadele etmek için oluşturuldu.
DARPA, CSFV programını, tarayıcı tabanlı video oyunlarını kullanarak büyük kod kümelerini doğruluk açısından kontrol etmek için tasarladı. "Çok sayıda uzman olmayan çok sayıda uzmanın resmi doğrulama işlemini daha hızlı ve daha uygun maliyetli bir şekilde yapabileceği" hipotezi.
Çarşamba günü, DARPA programı başarıyla ilan etti ve mevcut programına beş yeni oyun eklendiğini açıkladı. DARPA blogundan:
Bu [2013] oyunlar, oyuncuların eylemlerini program açıklamalarına çevirdi ve "C" ve "Java" programlama dillerinde önemli hata sınıflarının bulunmadığını doğrulamak için matematiksel kanıtlar oluşturmada resmi doğrulama uzmanlarına yardımcı oldu. İlk analiz, CSFV oyunları oynayan uzman olmayanların yüz binlerce ek açıklama ürettiğini göstermektedir.
Yeni başlıklar arasında bilinmeyenler var Dynamakr, paradoks, ve İkiye bölünerek çoğalma, "bilim oyunu" Hayalet Harita Hiper Uzayve fantazi sim Canavar Kanıtı. 2013 proje aşamasındakiler de dahil olmak üzere DARPA'nın tüm CSFV oyunlarına Verigames'te çevrimiçi olarak erişilebilir. Katılmak için oyuncuların 18 yaş ve üstü olması gerekir.