Xord, Cryptography, Proof Of Stake, Difference, Blockchain.
is when the prover cannot prove anything that is wrong. Image source: https://blog.cs.ut.ee/2020/08/13/karim-baghery-reducing-trust-and-improving-security-in-zk-snarks-and-commitments/ Non-interactive proof system To make the communication one-way and deterministic, non-interactive proof systems