cycles-quartz/README.md

tee-mtcs

Collection of tools and utilities to help run MTCS on TEEs.

Enclaves

Gramine applications and accompanying Dockerfiles for ease-of-usage.

• enclaves/mtcs - Runs MTCS on a given set of obligations specified as an input file.
• enclaves/tm - Runs (stateless) Tendermint light client verification on a given block.