Publications and Grants
On this page we list blockchain-related academic papers that the Zircuit researchers have authored and grants that teammembers have been awarded.
Selected Publications
Attacking Poseidon via Graeffe-Based Root-Finding over NTT-Friendly Fields
Antonio Sanso, Giuseppe Vitto
IACR Cryptology ePrint Archive, 2025
A Practical Rollup Escape Hatch Design
Francisco G. Figueira, Martin Derka, Ching Lun Chiu, Jan Gorzny
IEEE International Conference on Blockchain and Cryptocurrency (ICBC), Pisa, Italy, June 2-6, 2025
DOI: coming soon
Preprint: arXiv:2503.23986
Instrumenting transaction trace properties in smart contracts: Extending the EVM for real-time security
Zhiyang Chen, Jan Gorzny, Martin Derka
International Workshop on Blockchain Oriented Software Engineering (IWBOSE), co-located with the IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Montreal, Quebec, Canada, March 4-7, 2025
DOI: coming soon
Preprint: arXiv:2408.14621
A Methodology for Replicating Historical Exploits on EVM-Compatible Blockchains
Zhiyang Chen, Phillip Kemper, Yi Liu, Jan Gorzny, Diego Siqueira, Yuekang Li, Donato Pellegrino and Martin Derka.
International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) co-located with the IEEE/ACM International Conference on Software Engineering (ICSE), Ottawa, Ontario, Canada, April 27-May 3, 2025
DOI: coming soon
Temporarily Restricting Solidity Smart Contract Interactions
Valerian Callens, Zeeshan Meghji, Jan Gorzny
IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS), Shanghai, China, July 15-18, 2024
Preprint: arXiv:2405.09084
Requirements Engineering Challenges for Blockchain Rollups
Jan Gorzny, Martin Derka
International Workshop on Requirements Engineering and Web3 systems (RE4WEB3), co-located with the IEEE International Requirements Engineering Conference (RE), Reykjavik, Iceland, June 24-25, 2024
A Rollup Comparison Framework
Jan Gorzny, Martin Derka
ChainScience 2024, Zurich, Switzerland, April 5-6, 2024
SoK: A Review of Cross-Chain Bridge Hacks in 2023
Nikita Belenkov, Valerian Callens, Alexandr Murashkin, Kacper Bak, Jan Gorzny, Martin Derka, Sung-Shine Lee
Preprint: arXiv:2501.03423
SoK: Compression in Rollups
Roshan Palakkal, Jan Gorzny, Martin Derka
IEEE International Conference on Blockchain and Cryptocurrency (ICBC), Dublin, Ireland, May 27-31, 2024
Attacks on Rollups
Adrian Koegl, Zeeshan Meghji, Donato Pellegrino, Kacper Bak, Jan Gorzny, Martin Derka
International Workshop on Distributed Infrastructure for the Common Good (DICG), Bologna, Italy, December 12, 2023
Ideal Properties of Rollup Escape Hatches
Jan Gorzny, Po-An Lin, Martin Derka
International Workshop on Distributed Infrastructure for the Common Good (DICG), Quebec, QC, Canada, November 7, 2022
Automated Analysis of Halo2 Circuits
Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand
International Workshop on Satisfiability Modulo Theories (SMT), co-located with the International Conference on Automated Deduction (CADE), Rome, Italy, July 5-6, 2023
Preprint: ePrint 2023/1051
SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks
Sung-Shine Lee, Alexandr Murashkin, Martin Derka, Jan Gorzny
IEEE International Conference on Blockchain and Cryptocurrency (ICBC), Dubai, United Arab Emirates, May 1-5, 2023
Preprint: arXiv:2210.16209
Constant-Time Updates Using Token Mechanics
Sebastian Banescu, Martin Derka, Jan Gorzny, Sung-Shine Lee, Alex Murashkin
IEEE International Conference on Blockchain (BLOCKCHAIN), Rhodes, Greece, November 2-6, 2020
Grants
Zircuit researchers have been awarded four grants: three from the Ethereum Foundation and one from the ZCash Foundation.
G1: Improved Lightweight Formal Verification of Halo2 Proof Systems. ZCash Foundation - ZCash Minor Grants Program, 2023.
G2: Evaluating Rollup Compression. Ethereum Foundation - Ethereum Ecosystem Support Program, 2023. Grant No. FY23-0922.
G3: Rollup Security Framework. Ethereum Foundation - Ethereum Ecosystem Support Program, 2023. Grant No. FY23-0898.
G4: Back-End API Standard for L2 Block Explorers. Ethereum Foundation - Ethereum Ecosystem Support Program, 2023. Grant No. FY23-0882.
Last updated