I am

Previously I worked for (listed Alphabetically): Algorand, Espresso, Manta, and a couple of non-web3 companies. I also received grants from Polkadot and Mina.

You may be interested in the libraries that I recently (co-)developed: Ark-Spartan, HyperPlonk, Jellyfish, Squirrel, pasta-solidity, VeriZexe. For more projects see CV or highlights of projects.

My Erdos number is 3.