Lamport signatures and other CAT tricks

Protocol Design
21

yeah i also realized checking out Robin’s work that CAT makes it a hell of a lot easier to do the binary bitwise arithmetic stuff.