The problem Air Fried Gyatt solves

• Enables people to write STARK circuits in a high-level zkDSL (Noir)
• Allows people who already know Noir to choose an alternative faster proving system based on their needs
• Gives an example on how to build a Noir backend

Challenges we ran into

• The Noir crates we needed weren't directly includable as dependencies to our project
• Noir had little to no docs on compiler internals
• Noir wasn't generic in respect to prime fields so we had deeply modify it to get our field (BabyBear) to work
• Plonky3 had no docs, we had to work entirely off of intuition, code reading and other projects' usage,
• The base Plonky3 AIR builder did not support easily generating more challenges for the copy constraints