> the prover certainly didn't share the knowledge

What knowledge prover didn't share?