This was a fun piece of work, if your idea of fun is trying to prove false for a month before realising that the RFC and its reference implementation are equivalent for the parameters defined in the RFC (and elsewhere) but not for all values of the parameters.
Fortunately for me, it's mine.
add a skeleton here at some point
about 1 month ago