|
|
|
|
|
|
by Ar-Curunir
261 days 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. |
|
|