Blockchains for a Better World: From Napster to Bitcoin to Ethereum to Statebox: saving the planet with category theory

Presented at Still Hacking Anyway (SHA2017), Aug. 7, 2017, 10 a.m. (60 minutes)

The blockchain invention allow us to take our freedom back and save the planet. This talk explains the fundamentals of blockchains, no fluffy talk and no unnecessary details. At the end of the talk you should be able to build your own stateful P2P network. We also demonstrate the Statebox system and some applications. #BlockchainTech Blockchains are an invention to build stateful P2P networks. Programs running on such networks are called smart contracts. Statebox uses concepts from category theory to build a provably correct modular graphical programming language for smart contracts. Using this we can build transparant supply chains to fight corruption and we can even build a new internet: composable, visual and unstoppable. The future is bright! Systems: bitcoin, ethereum, zcash, tendermint Topics: asymmetric encryption & signatures, content addressing & DHTs, proof of work, zero knowledge proofs & holomorphic encryption, state/transition machines, distributed consensus (CASPER, PoW, classical BFT), CAP-theorem Advanced topics & Statebox: semantic web, type theory, total functional programming, operads and categorical databases.

Presenters:

  • Jelle Herold
    Hacker at heart, from a underprivileged family, Jelle started programming on paper, age 10. He has always been concerned about our environment, information freedom, privacy and fighting corruption. He has a background in arts, mathematics, physics and computer science.

Links:

Similar Presentations: