I manage auditing (and audit) at Veridise, where we work to secure smart contracts and zk circuits
Click here to download my resume.
