SNARK Research & Pedagogy with Alessandro Chiesa
Zero Knowledge
00:00
How to Compile Polynomial Iopes Into Snorks?
Marlin is based on an iope, cause it is amrocessing snark for on cs that is obtained by taking an iope for a on cs and compiling it with hash functions. Tat tings, the very nice porc, does what it's supposed to do,. But perhaps more familiar to the audience will be systems ployed by starquer. So cryptographic proofs are snarks that are obtained from some type of iope. These things are aur practical. E th've been running on theomennat for now, maby a couple of years.
Transcript
Play full episode
