Jan Gorzny is a Canadian computer scientist and engineering lead whose work spans algorithmic graph theory and blockchain systems. He serves as a technical lead at Zircuit and focuses on researching approaches to scale Ethereum securely. [1] [2]
Gorzny studied at the University of Waterloo, where he earned a Bachelor of Mathematics degree in computer science, combinatorics, and optimization between 2007 and 2011, and later completed a doctorate in algorithms and complexity from 2015 to 2022. He also obtained a master's degree in computer science with a focus on formal methods from the University of Toronto between 2011 and 2013, followed by a master's degree in algorithmic graph theory from the University of Victoria between 2013 and 2015. [2]
Gorzny began his career in academic research roles at the University of Waterloo and the University of Toronto, where he worked on software verification, formal methods, and programming language research projects. His work included developing translators and verification tools for modeling and concurrency systems, as well as contributing to simulation software and computer science research initiatives.
In 2018, he joined Quantstamp as a blockchain researcher, focusing on blockchain security and scaling technologies. He later became head of Layer 2 scaling at the company, working on infrastructure and scaling-related research until 2023.
In 2022, Gorzny co-founded Zircuit, a blockchain infrastructure project focused on Layer 2 technology and zero-knowledge proof systems. [1] [2] [3]
In this video with Gorzny, co-founder of Zcash, presented research focused on the prevalence and implications of using Geth (Go Ethereum) as an execution client in Layer 2 blockchain solutions. The study was motivated by the widespread claim that Geth is “everywhere” in L2s but aimed to verify this with data and understand what that means in practice.
The ETHGlobal/Pragma presentation summarized a user flow in which deposits (USDC/USDT) are allocated across partners and DeFi integrations, with targets and fee structures presented in the talk. It also described deployments on Ethereum and Base and a multi-chain design via LayerZero’s OApp framework, indicating a focus on practical interoperability. [4]