Thanks S/O to Lambdaclass team for their [CairoVM](https://github.com/lambdaclass/cairo-vm/tree/main/cairo1-run) and [Cairo prover](https://github.com/lambdaclass/lambdaworks/tree/main/provers/cairo).
Thanks
S/O to Lambdaclass team for their CairoVM and Cairo prover.