Comment Comment by mekaj Trivial, small example: the bug is the prover accepts all inputs. parent mekaj 10 years ago
