Support arithmetic evaluation chiplet (ACE) in AirScript

[Al-Kindi-0]

What should be done?

Once the ACE chiplet added to the VM, we should add support for it in AirScript.

How should it be done?

When we can go from constraints written in AirScript to arithmetic circuits compatible with the finalized design of the ACE chiplet.

When is this task done?

When the arithmetic evaluation chiplet is part of the VM.

Additional context

No response

[bobbinth]

Should we move this issue to the airscript repo?

[Al-Kindi-0]

Sounds like a good idea. Will do it now.

[Al-Kindi-0]

Closing this in favor of 0xPolygonMiden/air-script#366