feat: Remove Ark dependency in Garaga rs

[feltroidprime]

Lambdaworks has now BN254 and BLS Fq12 types and pairings implemented in https://github.com/lambdaclass/lambdaworks/tree/main/math/src/elliptic_curve/short_weierstrass/curves

Removing ark would help us having faster and smaller builds, and unified code

[varun-doshi]

Hi
I would like to work on this...I've previously contributed to Shinigami as well

[onlydustapp]

Hey @varun-doshi!
Thanks for showing interest.
We've created an application for you to contribute to Garaga.
Go check it out on OnlyDust!

[feltroidprime]

Thanks for the proposition! Please do!
The goal is to adapt the python bindings in tools/garaga_rs that uses ark to replace them with lambaworks, using the existing helpers for serialization / de-serialization in io.rs, and make the hydra CI pass.

To test locally, do maturin --develop and pytest -n auto .

Small adaptation on the python side in hydra/definitions.py might be needed when calling the binding.
Do not hesitate to reach me if needed.

[feltroidprime]

@varun-doshi Hi, any update ? Do you have any issue with it ?

[varun-doshi]

Hi @feltroidprime
Apologies for the delay
On diving deeper into this issue, it turns out there are many changes required to close this. I'm currently a little squashed on time.
If someone else would like to take this up, that'd be great

[feltroidprime]

All right. Thx for update.
Open to contrib.

[bacharif]

I'm taking it