# 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.