2 ms·
The comment you're replying to is worried about the opposite case: where the proof is good, but the computation being proved is faulty. The analog would be to h
by Ar-Curunir 1y ago
The comment you're replying to is worried about the opposite case: where the proof is good, but the computation being proved is faulty. The analog would be to have the same prover prove execution of multiple node implementations.