I develop program analysis tools at Veridise to catch security vulnerabilities in smart contracts and zk circuits. I also audit smart contracts and zk circuits, working with a team to search the source code for errors, attack the protocol, and run our tools against the contract.
