No description
Find a file
2024-02-27 14:30:36 -08:00
.github Add cleanup-run 2024-01-11 04:19:46 -08:00
enclaves/quartz Read mrenclave from quote 2024-02-27 14:30:36 -08:00
utils git deps for bisenzone-cw-mvp cratees 2024-02-27 02:46:48 -08:00
.gitignore Ignore all Cargo.lock files 2024-01-11 03:21:39 -08:00
.rustfmt.toml Improve code formatting 2024-01-11 03:43:12 -08:00
Cargo.lock git deps for bisenzone-cw-mvp cratees 2024-02-27 02:46:48 -08:00
Cargo.toml Init workspace 2024-01-11 03:21:22 -08:00
README.md Fix README.md 2023-11-06 02:26:21 -08:00

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.