Jan Gorzny
Jan is a co-founder of Zircuit. He is an experienced researcher in algorithm design and formal methods and is interested in all things rollups, plasma, and beyond. At Zircuit, Jan's research is focused on sequencer-level security, minimizing proof generation time, and developing novel methods to check the correctness of zero-knowledge circuits. He received his Ph.D. in Computer Science from the University of Waterloo in 2022.
Sessions
The current blockchains do not provide any security guarantees to the smart contracts and their uses. In the spirit of decentralization and censorship resistance, they follow the paradigm of including valid transactions in blocks without any further scrutiny. Rollups are a special kind of blockchains whose primary purpose is to scale the transaction throughput. Many of the existing rollups operate through a centrally operated sequencing protocol. In paper, we introduce the Sequencer Level Security (SLS) protocol, an enhancement to the sequencing protocols based on the OP stack and Optimism Bedrock. This pioneering contribution explores the concept of the sequencer’s capability to identify and temporarily quarantine malicious transactions instead of including them in blocks immediately. We describe the mechanics of the protocol for both the transactions submitted to the rollup mempool, as well as transactions deposited from L1. We comment on topics such as trust and decentralization, and consider the security impact on the protocol itself. We consider implementation details using the OP stack and Geth. The SLS protocol described can be easily generalized to settings other than the OP stack, and can be used for purposes other than security.
The focus of the panel will be to unravel the intricate landscape of Ethereum Virtual Machine (EVM) implementation differences between Layer 1 (L1) and Layer 2 (L2) networks, shedding light on the challenges arising from the diverse and non-standardised nature of L2 ecosystems. We'll be delving into the nuances of EVM compatibility versus EVM equivalence and explore the assumptions and challenges that developers face in this evolving space, especially with L2s emerging as a transformative force.
The multichain environment brings both differences and complexities, and the panellists will try to address the dynamic terrain of L2 technologies - from diverging pathways to potential convergence. The discussion will extend beyond technical considerations, exploring the profound implications for Web3 infrastructure and development toolkits.