AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
The Power of Recursive Proof Systems
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. And that's kind of the power of recursion. Another big area of improvement is the tool chain that goes from the developer all the way down to the actual circuit that gets proven. This is an area that's evolving quite rapidly and also holds a promise to build faster, faster provers.