There are specific protocols where if you apply Fiatramiou no matter in what way, the end result is going to be insecure. If this thing really is secure, it has to do with some specific properties of the underlying protocols. So one reason for hope is even this like. This IOP that we have constructed is itself. It looks very weird. There is a component there that if you look at other IOPs, they don't have it. And it's baked in there as a trapdoor to do kind of to ruin it. We usually don't have these in IOPs. But when you're starting to do recursive composition, you do see this kind of thing
This week, host Anna Rose and Nico Mohnblatt chat with Ron Rothblum, Professor of Computer Science at Technion. They explore information theory and ZK, diving into the weeds on multiple topics including error correcting codes, FRI, FFTs, Reed-Solomon encoding, Fiat-Shamir and more.
Here’s some additional links for this episode:
zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> https://9lcje6jbgv1.typeform.com/zkSummit10
Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.
Interested in building private applications? Check out Aleo’s programming language called Leo that enables non-cryptographers to harness the power of ZKPs to deploy decentralized exchanges, hidden information games, regulated stablecoins, and more. Visit http://developer.aleo.org.
For questions, join their Discord at aleo.org/discord.
If you like what we do: