search

HerodotusDev / integrity

Cairo STARK proof verifier for Starknet
Apache License 2.0
67 stars 20 forks source link

Successfully verify a Stone proof using the cairo0 verifier #4

Closed tiagofneto closed 11 months ago

Okm165 commented 11 months ago

Modified Fibonacci example works on patched v0.11.0 cairo-verifier. Now i prepare clean working example for ease of reproducibility. I will try with v0.12.0 as well, as it seems to be more lined up with stone-prover

Okm165 commented 11 months ago

Repository with the working example here: https://github.com/Okm165/stone-prover-cairo0-verifier

Okm165 commented 11 months ago

It is not trivial to move to v0.12.0 but i will develop this in future

Okm165 commented 11 months ago

Repository: https://github.com/Okm165/stone-prover-cairo0-verifier now works on cairo-lang v0.12.0 & stone-prover v0.12.0