AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
The Potential of Recursive Proof Systems for Improving Ethereum Smart Contract Performance
One easy benefit to understand is that in the regular proof systems, you have to have the entire statement in your hands in order to start producing the proof. But using recursive proof systems, you can actually stream the statement. So think of a rollup system where you have transactions from the public. You're trying to process a thousand transactions from the public. Normally you would need to collect all thousand transactions and only then you can start building the proof that these transactions were processed correctly. So the recursive proof systems, you know, you can take the first batch of 100 transactions and produce a proof that they're correct. Then you take the second batch of 100 transactions, produce a proof that they're correct. And then you produce a proof of a proof that those two proofs that you just generated are themselves correct. Yes, so you're not. So now you're proving that you know a proof. And that's kind of the power of recursion./nGenerally what they allow you to do, and again, this is for your audience, I highly encourage you to go look up the concept of recursive proof systems. It's a really kind of fascinating, fascinating concept. What it allows you to do is to take a very large proof and break it into many, many smaller proofs which you can kind of proof on their own and then produce a proof of a proof that all these smaller pieces are correct./nAnother big area of improvement is the tool chain that goes from.