Existe-t-il un moyen pour un prouveur de convaincre un vérificateur qu'une expression HORN-SAT est satisfaisable?
Bien sûr, cela peut sembler idiot, car il existe des algorithmes de temps linéaires pour HORN-SAT. D'un autre côté, HORN-SAT est P-complet, ce qui signifie qu'il n'a pas d'algorithmes d'espace de log à moins que P = L. Par conséquent, limitez les capacités de calcul du vérificateur à L. Maintenant, le vérificateur est très faible, donc le problème n'est plus idiot.
Une autre tournure à ce sujet est de savoir s'il peut s'agir d'une preuve de connaissance zéro.