Ansgar Dietrichs
π€ SpeakerAppearances Over Time
Podcast Appearances
So you're just saying like, look, give me any RISC-V code and I just have this machinery that can make statements, cryptographic statements about it.
And what that now unlocks is instead of having to handcraft like the early ZK EVMs, they were literally handcrafted EVMs inside of ZK systems.
Now...
you can just literally compile.
You can just take basically, basically, you can take an Ethereum client, instead of compiling it to whatever your local machine has as an instruction set, instead of compiling it to x86 or something,
you're now just compiling it to RISC-V and then you just get the ZK proving for free.
Because in RISC-V, like that's just like a typical kind of an endpoint for compilers, right?
So basically you're modularizing the tooling and tool chain.
Of course, that's only possible now with all the efficiency gains because of course you're losing some benefits of hand crafting all the optimizations.
But this really, it's a phase change from how feasible it is to do this for just like big complex projects.
And so really the way Ethereum does the ZK AVM is,
again, of course, the real world is a bit more complex, but in principle, you can really think of it, we take the existing Ethereum clients and we just compile them to RISC-V and then we just have provers that specialize in making proofs over RISC-V.
And that's just, it's really amazing how far the industry there has gone to make that feasible.
And then the last jump, the last big kind of conceptual jump from there to this is becoming feasible for us is the real-time element.
So,
We arrived at that world and you could do that within an hour.
And sometimes if the block is actually convenient to prove, maybe you can get it down to a few minutes, whatever.
That's the world that we used to be in.
And then we have had this massive industry collaboration effort that started a year and a half ago with Justin Drake really pushing super hard on this.
and these teams this is really mostly driven by teams outside of the ethereum foundation these teams have done an absolutely amazing job and i would say the last year was really the year of performance of real-time performance throughout the last year teams just kept pushing this down orders of magnitude and now we're at the point where you can you can we are starting to to achieve the target zone so like we are actually able to prove consistently reliably prove