Open abel-byte opened 8 months ago
hi @abel-byte recently developed a working example of stone-prover -> cairo0-verifier will help u https://github.com/Okm165/stone-prover-cairo0-verifier
U can analyze commits they should answer most of the questions but feel free to msg me i am happy to connect and guide u through what was changed and why. Cheers :)
Whether the proof generated by stone-prover can be verified in stark_test.py in the starkware-libs/cairo-lang repo? I tried to generate proofs (the proofs is verified by stone-prover) of two layout types, small and recursive, from stone-prover and put them in the cairo-lang repo for verification, but they both failed. I would like to ask if it is feasible for stone-prover to generate a proof and then verify it with verify.cairo.