Giai đoạn ban đầu của thí nghiệm xác minh chính thức có nguồn gốc đám đông (CSFV) của Cơ quan Dự án Quốc phòng Hoa Kỳ (DARPA) được đưa ra vào năm 2013. Thử nghiệm được tạo ra để chống lại những cạm bẫy tốn kém, tốn thời gian của các phương pháp xác minh mã truyền thống.
Hoạt động dựa trên giả thuyết rằng "số lượng lớn người không phải là chuyên gia có thể thực hiện xác minh chính thức nhanh hơn và hiệu quả hơn so với các quy trình thông thường", DARPA đã thiết kế chương trình CSFV để kiểm tra độ chính xác của các lô mã bằng các trò chơi video dựa trên trình duyệt.
Vào thứ Tư, DARPA tuyên bố chương trình thành công và tuyên bố bổ sung năm trò chơi mới vào đội hình hiện có. Từ blog DARPA:
Các trò chơi [2013] này đã dịch các hành động của người chơi thành các chú thích chương trình và hỗ trợ các chuyên gia xác minh chính thức trong việc tạo ra các bằng chứng toán học để xác minh sự vắng mặt của các lớp sai sót quan trọng trong ngôn ngữ lập trình "C" và "Java". Một phân tích ban đầu chỉ ra rằng những người không phải là chuyên gia chơi các trò chơi CSFV đã tạo ra hàng trăm ngàn chú thích.
Các tiêu đề mới bao gồm puzzlers Máy phát điện, Nghịch lývà Phân hạch nhị phân, "trò chơi khoa học" Không gian ma đồvà sim giả tưởng Bằng chứng quái vật. Tất cả các trò chơi CSFV của DARPA, bao gồm cả những trò chơi trong giai đoạn dự án 2013, đều có sẵn trực tuyến tại Verigames. Game thủ phải đủ 18 tuổi trở lên mới được tham gia.