# Publications & 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 1. **Attacking Poseidon via Graeffe-Based Root-Finding over NTT-Friendly Fields** * Antonio Sanso, Giuseppe Vitto * IACR Cryptology ePrint Archive, 2025 * [ePrint 2025/937](https://eprint.iacr.org/2025/937) 2. **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](https://arxiv.org/abs/2503.23986) 3. **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](https://arxiv.org/abs/2408.14621) 4. **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* 5. **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 * [DOI: 10.1109/DAPPS61106.2024.00008](https://doi.org/10.1109/DAPPS61106.2024.00008) * Preprint: [arXiv:2405.09084](https://arxiv.org/abs/2405.09084) 6. **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 * [DOI: 10.1109/REW61692.2024.00052](https://doi.org/10.1109/REW61692.2024.00052) 7. **A Rollup Comparison Framework** * Jan Gorzny, Martin Derka * ChainScience 2024, Zurich, Switzerland, April 5-6, 2024 * [arXiv:2404.16150](https://arxiv.org/abs/2404.16150) 8. **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](https://arxiv.org/abs/2501.03423) 9. **SoK: Compression in Rollups** * Roshan Palakkal, Jan Gorzny, Martin Derka * IEEE International Conference on Blockchain and Cryptocurrency (ICBC), Dublin, Ireland, May 27-31, 2024 * [DOI: 10.1109/ICBC59979.2024.10634469](https://doi.org/10.1109/ICBC59979.2024.10634469) 10. **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 * [DOI: 10.1145/3631310.3633493](https://dl.acm.org/doi/10.1145/3631310.3633493) 11. **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 * [DOI: 10.1145/3565383.3566107](https://doi.org/10.1145/3565383.3566107) 12. **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 * [CEUR-WS Vol-3429](https://ceur-ws.org/Vol-3429/paper3.pdf) * Preprint: [ePrint 2023/1051](https://eprint.iacr.org/2023/1051) 13. **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 * [DOI: 10.1109/ICBC56567.2023.10174993](https://doi.org/10.1109/ICBC56567.2023.10174993) * Preprint: [arXiv:2210.16209](https://arxiv.org/abs/2210.16209) 14. **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 * [DOI: 10.1109/Blockchain50366.2020.00044](https://doi.org/10.1109/Blockchain50366.2020.00044) ## 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. --- # Agent Instructions: Querying This Documentation If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question. Perform an HTTP GET request on the current page URL with the `ask` query parameter: ``` GET https://docs.zircuit.com/info/research/publications-and-grants.md?ask= ``` The question should be specific, self-contained, and written in natural language. The response will contain a direct answer to the question and relevant excerpts and sources from the documentation. Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.