Air Fried Gyatt
A STARK backend for Noir
Created on 19th May 2024
•
Air Fried Gyatt
A STARK backend for Noir
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
Tracks Applied (1)
Prizes for Finalists, Hackers' Choice & Chewing Glass
Cheer Project
Cheering for a project means supporting a project you like with as little as 0.0025 ETH. Right now, you can Cheer using ETH on Arbitrum, Optimism and Base.
Discussion
Builders also viewed
See more projects on Devfolio