Is this prover compatible with the Starkware onchain smart-contract ?

[tdelabro]

Can I feed the trace and proof generated by Giza into the "official" starknet verifier ?

[xhliu]

Same question. https://github.com/starkware-libs/starkex-contracts/tree/master/evm-verifier

[tdelabro]

@maxgillett Do you know ?

[maxgillett]

It is not. One of the major differences is in the layout of the execution trace, with more columns present in the trace that Giza constructs than what is prepared by SHARP, (as Starkware is optimizing for verification time/cost over proving time). It would be interesting to list out all the changes that need to be made to make it compatible.

[xhliu]

giza would be much more useful if it is with official Starkware verifier. Look forward to the changes to make this happen.

[maxgillett]

@xhliu, you may want to check out https://github.com/andrewmilson/sandstorm, which is focused on SHARP compatibility. Closing this issue for now.