personal Cryptographic Attacks Maintaining a repository of my Sage and/or Python implementations of attacks on popular ciphers and public key cryptosystems Gram-Schmidt and LLL Implemented a standalone Python implementation of Gram-Schmidt orthogonalization and Lenstra–Lenstra–Lovász lattice basis reduction Manticore Provisioner Wrote a Python wrapper around Ansible to automatically provision Manticore jobs both locally and in the cloud PietCC Implemented a Rust interpreter and compiler for the Piet esoteric language using LLVM as a backend, with full support for program codel-size inference, white block elimination, warning about nontermination for certain classes of programs, and emitting optimized IR through running LLVM optimization passes. CTF Writeups Maintaining a list of CTF problems (most of which are probably cryptography) that I solved or helped solve Rust Ray Tracer Implemented a parallelized ray tracer in Rust following "Ray Tracing In One Weekend". external Cosmos SDK Fixed an EIP-191 signature verification related issue in Cosmos PrivacyRaven Implemented an adversarial model inversion attack proof of concept LibIOP Refactored testing and instrumentation code for zk-SNARKs; looking at (and failing to solve) issue regarding verifier speedup using Lagrange polynomials instead of field element powers
