AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Do You Have a Trusted Setup for Manta?
You can compile Cairo to Snark. There's no inherent reason you cannot do so, right? So that's what I'm talking about. You just sort of mentioned Cairo, but everything we've been talking about is Snarks. Do you have any like Stark or Fry anything in your stack that sort of touches that? Currently, we don't, mostly for efficiency reasons and also the proof size reasons, right?