Xord, Cryptography, Proof Of Stake, Difference, Blockchain.
https://math.stackexchange.com/questions/105575/what-is-the-difference-between-completeness-and-soundness-in-first-order-logic Interactive and Non-Interactive Proofs of Knowledge, (2012), Olivier Blazy https://tel.archives-ouvertes.fr/tel-00768787/file/thesis.pdf Comparison: Fiat-Shamir, GQ, and