BartolomeoDiaz

@abel-byte I went through this, checkout working repo, study the commits for details https://github.com/Okm165/stone-prover-cairo0-verifier I am happy to connect btw, so ask any questions if needed

I found out that there at least one more missing file Namely [this](https://github.com/Okm165/cairo-lang/blob/de1b235b44b559883e54e24922ce3bf2fe7c361f/src/starkware/cairo/bootloaders/simple_bootloader/simple_bootloader.cairo#L28-L32) line needs utils.py in simple_bootloader dir, for configure_fact_topologies & write_to_fact_topologies_file func Also needed for core functionalities like:...

When i investigate the cairo-lang-0.13.0a2.zip there is no such folder (starkware.cairo.stark_verifier.air.layouts.starknet_with_keccak) how to fix it? What chenges do i need to make in bazel BUILD's to have this repo properly...

Exact manual steps i took to make bazel out package work in compilation and running process can be tracked here https://github.com/Okm165/cairo-lang/tree/bazel-build-issue-manual-fix

Then cairo verifier is run on example proof `cairo_verifier_input.json` and works

I tried to fix bazel BUILD files myself but it took longer then expected can u help to solve bazel build issues?

I created repository that has this issue solved, if anybody encounters this problem please track the commits or contact me directly 👍🏼 https://github.com/Okm165/stone-prover-cairo0-verifier

How is this going forward? Kind of stopping my development for it, no use in finding dirty workarounds