address bitcoin blockchain common-reference-string consensus cooperative-games crypto-wallet dapp erc223 erc827 ethereum extractor facebook fair-exchange fiat-shamir fomo3d formal-verification game game-theory last-winner libra libsnark miner mixer nizk privacy programming-language proof public-coin quantum-computing random-oracle-model security simulator smart-contract tutorials vulnerability world-cup zero-knowledge zero-knowledge-proof zkpod zksnarks