Это сравнительно новая концепция, возникшая на стыке сложности вычислений и теории игр. Пусть прувер теперь не честный и не жульничающий, а меркантильный. Верификатор по итогам диалога выплачивает некоторую полиномиально вычислимую сумму, а прувер, максимизируя эту сумму, выявляет правильный ответ. Оказывается, класс доказуемых утверждений не изменится, но может существенно сократиться необходимое число раундов общения.