C'è un modo in cui un prover può convincere un verificatore che alcune espressioni HORN-SAT sono soddisfacenti?
Naturalmente questo potrebbe sembrare sciocco, poiché esistono algoritmi di tempo lineari per HORN-SAT. D'altra parte, HORN-SAT è P-complete, il che significa che non ha algoritmi di spazio log a meno che P = L. Di conseguenza, limita le capacità computazionali del verificatore a L. Ora il verificatore è molto debole, quindi il problema non è più sciocco.
Un'altra svolta su questo è se può essere una prova a conoscenza zero.