SPAKE2 in Haskell: How Haskell Helped

Posted on Fri 13 October 2017 in misc • Tagged with haskell, spake2

Porting SPAKE2 from Python to Haskell helped me understand how SPAKE2 worked, and a large part of that is due to specific features of Haskell.

What’s this again?

As a favour for Jean-Paul, I wrote a Haskell library implementing SPAKE2, so he could go about writing a magic-wormhole client …


Continue reading

SPAKE2 in Haskell: What is SPAKE2?

Posted on Sun 04 June 2017 in misc • Tagged with haskell, cryptography, spake2

Last post, I discussed how I found myself implementing SPAKE2 in Haskell. Here, I want to discuss what SPAKE2 is, and why you might care.

I just want to send a file over the internet

Long ago, Glyph lamented that all he wanted to do was send a file over …


Continue reading

SPAKE2 in Haskell: the journey begins

Posted on Sat 27 May 2017 in misc • Tagged with haskell, cryptography, spake2

There’s a joke about programmers that’s been doing the rounds for the last couple of years:

We do these things not because they are easy, but because we thought they would be easy.

This is about how I became the butt of a tired, old joke.

My friend …


Continue reading