3 ms·Trivial, small example: the bug is the prover accepts all inputs.by mekaj 10y agoTrivial, small example: the bug is the prover accepts all inputs.