Inside the Bitcoin Virtual Machine. Zero-Knowledge Proofs and Their Relevance to Bitcoin Threshold Signatures and Multi-Party Computation Elliptic Curve Cryptography: Curve Secp256k1