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

Fix SGX manifest file path + better error handling #106

Closed Brechtpd closed 7 months ago

Brechtpd commented 7 months ago

The path to the local manifest was not updated, so the copy failed.

However, if you didn't check the output you would not have noticed because we did not check the status of the command, so if the manifest was already there from before a proof could actually be successfully generated and everything would look alright, though with an outdated manifest file. So I changed things so that the status is checked for all commands and raiko doesn't make it look like a proof was generated when an error is encountered during the proving.