Yeah! Formal methods are super interesting.
I'm actually going to not take the auto-generate code approach and instead hand
write all the code. Eventually I'll take another crack at modeling it with
ProVerif... or better yet, Tamarin. Those tools can at least give us confidence
that the cryptog
Dear Nim forum,
You could criticize my terrible nim code, or we could attempt to discuss
cryptography in nim and why I think nim is one of the best languages for
prototyping cryptographic protocols. We could also discuss improving nim's
cryptography libraries. There ought to be one good one tha
