address binius bitcoin blockchain common reference string consensus cooperative games crypto wallet cryptography dapp erc223 erc827 ethereum extractor facebook fair exchange fiat-shamir finite fields 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 snark tutorials vulnerability world cup zero knowledge zero knowledge proof zkpod zksnarks