SC-AUDIT: Espressosys - TEE Smart Contracts - https://github.com/EspressoSystems/espresso-tee-contracts - View it on GitHub