For people that don't understand why this @zksync breakthrough is a huge deal: Right now for Ethereum (or any L1), every single validator in the network needs to execute every single transaction in each block that comes in to verify its validity. This means there's a lot of duplicate work spent on the same exact computation. With ZK proofs, you can instead have a a single block proposer create a proof that the next block is valid. Each validator in the network then only needs to verify the proof rather than re-execute every single transaction in the block. Verifying a zk proof is MUCH more efficient than re-running the block against the current state of the chain. This enables Ethereum to then have much higher gas limits per block because validators are now much more efficient in verifying blocks. The same hardware can now verify much larger blocks with the same amount of computational power. With the latest @zksync changes, they are now able to prove an entire Ethereum block with consumer grade hardware. Previously, creating a zk proof for an Ethereum block would take large amounts of computation and time - now it's a mere fraction of what was possible previously.(cygaar)