Implement circuits.

[azteca1998]

No description provided.

[JulianGCalderon]

Nice Work @FrancoGiachetta!! I left you a few comments.

[JulianGCalderon]

@FrancoGiachetta I left you some comments I missed in my first review

[FrancoGiachetta]

Done!

[JulianGCalderon]

The example I gave in the previous review is still failing:

let a = outputs.get_output(mul);
let b = a.limb1;
drop(b)

This is due to the bad BoundedInt range. Remember to test it again after fixing a bug, just to make sure!

Also, once you fix this, I recommend that you manually test the implementation with a more complex scenario, just to make sure it works. As an example, you can use this test from Cairo Native: https://github.com/lambdaclass/cairo_native/blob/8ee32eb38f1c86598033e493b2908cfb648b9205/src/libfuncs/circuit.rs#L1351

[FrancoGiachetta]

Everything should be working now. I added the test you were taking about. I also downloaded the corelib so we can test the programs.

[azteca1998]

You included Cairo 2.7.0 in the PR. I don't think it should be here.

[FrancoGiachetta]

Isn't it required to be able to compile .cairo files? So we can test cairo programs which are not contracts.

[azteca1998]

Sure, but not in our repository. Just add a dependency. If we need the binary we can replicate what we do in native (aka. make deps that downloads stuff).

[FrancoGiachetta]

Oh, I see. I'll remove it then

[FrancoGiachetta]

Done!