光阴冢

We make choices and life has a way of making us pay for them.

Abstract Crypto

Jul 7, 2020  

This text is derived from Crypto Outline, as a reference of the implementation of crypto traits in a theorem prover.