Haskelling Bitcoin for Great Good
summary
Claim: strong static types and purity let Haskell catch many blockchain bugs before deployment. Implements a Bitcoin‑style system: UTXO transactions, signatures using cryptonite on curve secp256k1, fixed-width integers as Word256, serialization via serial, Merkle commitment, simple proof‑of‑work nonce miner, mempool and UTXO set, and a basic TCP peer protocol. Code signs and verifies transactions, serializes messages, mines blocks by iterating a nonce, and propagates valid transactions/blocks; the demo repository runs end‑to‑end as a toy network.
AI-written summary · about
chapters (17)
- 0:00Start
- 0:52Software Development Techniques
- 1:54Web Development
- 4:40Bitcoin
- 8:26Static Types
- 10:54Transactions
- 14:04Haskell Data Types
- 27:19Sign a Transaction
- 33:59Consensus Rules
- 34:40Node Structure
- 38:41A Block Structure
- 39:23Header
- 39:44Commitment Hash
- 40:29Coinbase Transaction
- 42:19Proof of Work
- 43:31What Is Proof of Work
- 47:04Process Message
related talks
34mProvably Secure Blockchain Protocols and Applications to Secure Computation
30mCryptocurrencies and Smart Contracts
49mAttacking and Defending Blockchains: From Horror Stories to Secure Wallets
52mHow the Bitcoin Protocol Actually Works
31mHow to use Bitcoin to Enhance Secure Computation
01h 33mSnakes Into Snake Oil - What Blockchains Are And Why They’re Terrible
49mAttacking and Defending Blockchains: From Horror Stories to Secure Wallets
53mDissecting Bitcoin Security