SC-AUDIT: Worldfnd - Zk Prover - https://github.com/WizardOfMenlo/whir - View it on GitHub