Phil Liao
@philipliao.eth
Woah, RiscZero recently announced they’re able to prove L1 blocks in 44s and are projecting to hit a major milestone of real time proving for L1 in July!!! The real time zk event horizon is approaching https://x.com/risczero/status/1910387052601819597?s=46
1 reply
1 recast
5 reactions
albert
@thatguyintech
what's the ELI5 for this
1 reply
0 recast
1 reaction
Phil Liao
@philipliao.eth
Blockchains are computers that check each others work to arrive at shared agreement. Normally, this means everyone re-does all of the work and checks that we all got the same answer With ZK, we can check everyone’s work with a special puzzle piece (a proof) but only if that puzzle is supplied to us The problem is these puzzle pieces take a long time to create, and if we waited for the puzzle pieces today, we would slow down our blockchain. As this gets faster, we can start doing less work to verify the correctness of the blockchain
1 reply
0 recast
1 reaction
Phil Liao
@philipliao.eth
This becomes especially useful in the context of Native rollups. As proving times get faster and faster, rollup scaling simply becomes zk proof scaling Native rollups are great because it allows rollups to ditch fraud proofs and makes validity proofs trivial to implement (basically, all rollups become zk rollups, and to prove them on L1, you simply call “zkExecute” or similar in your L1 smart contract) We will be able to scale L2s as fast as zk proving times, which we hope will accelerate like Moore’s law or faster The exciting thing is that if we get more rollups to become native and based, fast-native bridging across these becomes a thing
1 reply
0 recast
1 reaction