SC-AUDIT: TACEO - 4 Circuits - https://github.com/worldcoin/world-id-protocol - View it on GitHub