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