... (although these people can re-transmit this information further, which is an error in this system: it is not a zero-knowledge proof, it is full proof).
+1 . Overall very well elucidated. And interesting point about that proof not being a NIZKP. Thanks for pointing that out.