taikoxyz / raiko

Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
Apache License 2.0
124 stars 91 forks source link

SGX prover #69

Closed Brechtpd closed 7 months ago

Brechtpd commented 7 months ago

Built on top of https://github.com/taikoxyz/raiko/pull/63, but I cannot push code to Patryk's fork...

Only thing required is to install gramine, everything else is handled automatically.

Runs on both a real SGX cpu and through direct mode on all CPUs (check the readme).

Docker files will likely need to be updated with some of the changes (or some changes done to the cargo build path to make them compatible).