Benjamin Sepanski

Benjamin Sepanski

I manage auditing (and audit) at Veridise, where we work to secure smart contracts and zk circuits

Cortado

Check out the code from our 2022 OOPSLA paper cortado on Github!