diff --git a/README.md b/README.md index e9573bc..5ac0946 100644 --- a/README.md +++ b/README.md @@ -1,18 +1,10 @@ -# The Tendermint light client enclave +# tee-mtcs -This enclave runs tendermint/CometBFT light client verification on a given 'verification trace' using a user specified -root-of-trust. It outputs the new root-of-trust to a sealed file so that it can be used for future instantiations. +Collection of tools and utilities to help run MTCS on TEEs. -## Execution on an SGX machine +## Enclaves -This is tested on a local SGX machine, not Azure +Gramine applications and accompanying Dockerfiles for ease-of-usage. -```bash -docker build . --tag tmdocker build . --tag tm \ -docker run -it --device /dev/sgx_enclave \ - -v /var/run/aesmd/aesm.socket:/var/run/aesmd/aesm.socket \ - -v ./tests:/workdir/tests \ - tm bash -is-sgx-available -gramine-sgx ./tm -``` +* [enclaves/mtcs](enclaves/mtcs) - Runs MTCS on a given set of obligations specified as an input file. +* [enclaves/tm](enclaves/tm) - Runs (stateless) Tendermint light client verification on a given block.