Air Fried Gyatt
A STARK backend for Noir
Demo
About
The problem it 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
How it's made
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