На страницата са достъпни онлайн игри, които едновременно извършват и проверка дали в софтуера, написан на C и Java, има пропуски, които могат да го направят уязвим за вируси, пише Wired, цитиран от "Фокус".

Такава проверка обикновено се извършва от специално тренирани инженери, които ръчно „претърсват” програмния код, но това е много бавен и скъп процес, за да бъде приложен към всички програми.

Според DARPA „възможно е голям брой непрофесионалисти да осъществят формалната проверка много по-бързо и ефективно в сравнение с традиоционния метод”.

Петте игри на страницата са създадени така, че потребителите решават загадки, за да напреднат, като така генерират математически доказателства, които могат да установят софтуерни пропуски.

Пентагонът приема само геймъри над 18 години в помощ за проверка на програмите си.

Скорошните разкрития, че американската Агенция за национална сигурност е прониквала и във видеоигрите обаче, може да охлади ентусиазма на желаещите да помагат.