robot-dreams
Proofs and exercises from "Elements of Programming" by Stepanov (author of C++ STL) and McJones
Naive implementation of ROAST protocol for robust threshold signatures
