I manage auditing (and audit) at Veridise, where we work to secure smart contracts and zk circuits
Sorry, but the page you were trying to view does not exist.