SNARK Research & Pedagogy with Alessandro Chiesa
Zero Knowledge
00:00
Are There Snarks in the Ranumoco Model Withinyor Size and Can?
Are there snarks in the ranumoco model withinyor size and can? The common belief is that, because you have to ask many queries to the iop. Each query needs to be certified by a path in the mercle tree used to commit to the oracles. And we just don't know what the right answer is. I we broken the quadratic barrier, so some of the common belief that quadratic is inherent is not the right answer. We have something slightly sub quadratic a. And e think its a beautiful open question. Any progress in this direction will be, in some sense eternal. Like it, we will always have hush functions,.
Transcript
Play full episode
