[3] Nakamoto, S. "Bitcoin: A peer-to-peer electronic cash system." (2008).
[6] National Institute of Standards and Technology. "FIPS 186-5: Digital Signature Standard." 2023. "denom": 100, // 100 cents = $1 "id": "a3f5c2b1e8d4", "state": 0, // 0=unspent,1=spent "sig": h'9a3b...' // 64-byte signature sfd token generator
Proof sketch: Reduces to existential unforgeability of Ed25519 under chosen message attack. Test environment: AWS c5.large (2 vCPU, 4 GB RAM) [3] Nakamoto, S