taikoxyz / raiko

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

fix(raiko): make kzg work on SP1 #205

Closed Brechtpd closed 4 months ago

Brechtpd commented 4 months ago

While testing https://github.com/taikoxyz/raiko/pull/201 yesterday I wasn't testing in the PR branch, but in my own branch with some additional changes. Turns out some of these additional changes are also required to make c-kzg work correctly on SP1:

For consistency I also made risc zero compile with the same flags because normally risc zero has the same limitations (though somehow in practice not, so maybe some extra flags are enabled somehow elsewhere).

Also made it so now block 10136 is tested locally which was the block that failed before the fix (the old one didn't require the fix somehow). It's not tested on CI because the machine doesn't have enough memory. :(