Zero Knowledge cover image

The Road to STARKs and Miden with Bobbin Threadbare

Zero Knowledge

00:00

Is It a Compiler?

Air is basically, it's an octe name for algebra, intermediate representation. It is the way that you describe computation so that proving system can understand it. Is it somewhat like the opposite of what a compile is doing? Are you going the opposite way, or would it be some sort of compiler? I guess rightt is a translator, but it is notgoing the opposite way. Its not generalizing, i think, the original code, but it are kind of valading the structure of the code. The etation is called arvanies, and it's simpler, because it's easier to compose different circuits.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app