Modern cryptography with Haskell

HSR Hochschule für Technik Rapperswil

Stephen Diehl gave his keynote on elliptic curve crypto in Haskell. This talk had a crash course on a bit of abstract algebra/elliptic curves, and the rest of the talk was on using Haskell to establish trust between two parties using commitment schemes, zero knowledge proofs, verifiable computation, etc. My experience with cryptography is limited to basic usage of secret-key stuff in libsodium, so this provided me with plenty of future reading material. Code available here.

Watch video here