How can you know that a NN was trained correctly without having trained it already? This feels like the halting problem.
That's the point of ZKPs. The prover trains it and creates the proof, then anybody can verify that it happened without revealing any more information.
reply