Author: ZmnSCPxj 2021-12-16 14:12:43
Published on: 2021-12-16T14:12:43+00:00
In a conversation with Bastien, ZmnSCPxj explains that it is impossible for a node to prove that it did not receive a message. While it is possible to prove knowledge, proving the lack of knowledge is much harder, if not impossible. If a proof-of-lack-of-knowledge were to exist, then an individual could generate the proof by running a virtual machine that knows everything except for that specific piece of information. This leads to a contradiction as the individual actually knows the fact but can present the proof-of-lack-of-knowledge by pretending to be ignorant.
Updated on: 2023-06-03T06:55:34.086564+00:00