zlacker

>>gregor+(OP)
> Every line was thoroughly reviewed and cross-referenced with relevant RFCs, by security experts with previous experience with those RFCs.

This sounds like coding but slower

>>teaear+Pc
I would say it ended up being much faster than had I written it by hand. It took a few days to produce this library -- it would almost certainly have taken me weeks to write it myself.

>>kenton+Gf
If you had written it by hand would the verification process been as time consuming?

i.e. overall including the time spent verifying that it was correct, do you consider it a net win?