Advancing OP Stack to ZK Rollup: Achieving Efficiency and Security with Zero Knowledge Proofs
Tue, Nov 12, 2024, 10:04 AM · 22:58
OP-stack based rollups now retrieve L1-to-L2 deposit transactions and L2 transactions from Blobs. Current solutions face two issues: 1) increased operational costs due to batch submission overhead or 2) protocol complexity during challenges. We'll share our experience addressing these using ZK fault proof. Our new challenge system is cost-free for users and easily extendable to ZK rollups. The presentation includes our example of switching from zkEVM to zkVM and optimizing proof generation speed
I'm ZK Engineer at [Kroma](https://kroma.network), securing the network with Zero-Knowledge Fault Proofs and scaling Ethereum through advanced cryptographic techniques. I have implemented various features in [Tachyon](https://github.com/kroma-network/tachyon), which is a modular ZK backend accelerated by GPU, from cryptographic primitives to proving schemes and optimizations; Finite Fields, Polynomials, FFT, Halo2, etc. I'm eager to solve real-world problems with practical solutions.