fix(lib): temporarily disable kzg check in sgx/sp1 provers

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(lib): temporarily disable kzg check in sgx/sp1 provers #157

Closed Brechtpd closed 6 months ago

Brechtpd commented 6 months ago

Some problems in SGX and SP1 while proving with the kzg check, so I temporarily disabled them in those provers. Well actually it is currently always disabled because sgx is enabled in the workspace so it will always compile the lib with that feature on, so using features not exactly the best way to do these kind of prover specific things unfortunately.

In SGX (direct mode):

In SP1:

smtmfft commented 6 months ago

Seems the addr management has different requirement than risc0.