SNARK Research & Pedagogy with Alessandro Chiesa
Zero Knowledge
00:00
Are You Trying to Scale a Snark to Large Computations?
Ideally, you would like to preserve both. You want the prover proving it to run in time that is very close to that. We have constructions that are either linear time, but large space or slightly more than linear time and good space. But we don't know how to achieve it together,. Even outside the ranemorcal model.
Transcript
Play full episode
