Are they really lies if the grading program considers them correct answers? It sounds like an issue with using a faulty grading program than the protocol.
A1kmm•1h ago
The problem is that you can construct a proof that there exists a circuit c with hash h = H(c), such that c(x) = y, where h & y are public, and c and x is private. That is a bad thing if you can construct such a proof when it isn't actually true, for certain specially crafted c.
charcircuit•43m ago
What value is such a proof of you don't know what the circuit is?
r721•3h ago