This is an ongoing list of some projects I’ve made. Many of them have in-browser versions to play with.
- Formal proof verifier: A formal sentential logic and first order logic proof verifier. More information can be found in the slides and technical write-up. In-browser demos are available for both the sentential logic and first order logic verifiers.
- Descentralized private network implementation: This is based on the Cartesi network, and done for a Cartesi Hackathon. This project provides an implementation of the Burmester-Desmedt multi-party key agreement protocol, and uses it to create private encrypted state machines. The project has a demo of a chat room implemented in this manner.
- FHE-based image editing: This project was made by Kishan Sreenivasan and myself for the 2025 Eigen-Games Hackathon. It uses Full Homomorphic Encryption with the TFHE-rs framework to allow for fully private (convolutional) image editing.
- SDF editor: A visual node-based editor for ray-marched Signed Distance Field scenes. An in-browser demo is available here.
- Flare: Made in collaboration with Anthias Labs. Flare is a CLI tool for interacting with Solana, which allows (among other things) to directly call on-chain program methods from the terminal, based only on the IDL.
- Optimism Interop Monitor: Made in collaboration with Anthias Labs. This tool allows Superchain developers to track and monitor the state of interoperability between a sender-receiver pair. Given RPCs for both, it tracks message passing between them, aggregates different metrics, and provides an alert system for pathological states (e.g. increased message relaying latency). It also provides an API for querying statistics about interop.