nologies/cycles-quartz
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Fix README.md

Browse source
This commit is contained in:
hu55a1n1 2023-11-06 02:26:21 -08:00
parent 5d0ebdee66
commit 91a5f62366
1 changed files with 6 additions and 14 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
README.md
View file

@ -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.