No description
Find a file
2024-02-29 03:59:09 -08:00
.github Add cleanup-run 2024-01-11 04:19:46 -08:00
enclaves/quartz Store sk in CoreService and instantiate it in main.rs 2024-02-29 03:59:09 -08:00
utils mtcs-intent crate 2024-02-28 15:29:26 -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 MTCS proto init 2024-02-29 03:30:25 -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.