The Curves of ZoKrates
June 20 2025Programmable zero knowledge proofs unlock a new paradigm of programming that enables verifiable computations over confidential input. In this post, I explain some of the cryptography background necessary for getting started.
Porting SHA512 to Motoko
Jan. 4 2022In this post I explore Motoko which is the language of the Internet Computer. I do so by porting SHA2-512 to it.