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