Open L0GYKAL opened 7 months ago
We need to upgrade to the latest version of the prover at some point. For the moment, use the one pinned in the Stone Prover SDK (https://github.com/starkware-libs/stone-prover/tree/00b274b55c82077184be4c0758f7bed18950eaba).
Ok, thank you for the update!
I installed the last version of the Stone Prover (7ac17c8ba63a789604350e501558ef0ab990fd88) and ran the tests of the madara-prover-api, they failed when comparing the generated proof and the ones stored in the tests.