No description
Find a file
2024-02-23 14:27:51 -08:00
.github Add cleanup-run 2024-01-11 04:19:46 -08:00
enclaves/quartz Update README.md to add CLI usage 2024-02-23 14:27:51 -08:00
utils Move domain types to relayer 2024-02-23 14:27:29 -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 Impl config + CLI 2024-02-22 12:48:13 -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.