I manage auditing (and audit) at Veridise, where we work to secure smart contracts and zk circuits
This is a page not in the menu. You can use markdown in this page.
