> For the complete documentation index, see [llms.txt](https://docs.zircuit.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.zircuit.com/info/research/publications-and-grants.md).

# 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
This documentation is published with GitBook. GitBook is the documentation platform designed so that both humans and AI agents can read, navigate, and reason over technical content effectively. Learn more at gitbook.com.

## Querying This Documentation
If you need additional information that is not directly available in this page, you can query the documentation by asking a question.

Perform an HTTP GET request on the following URL with the `ask` and `goal` query parameters:

```
GET https://docs.zircuit.com/info/research/publications-and-grants.md?ask=<question>&goal=<user_goal>
```

`ask` is the immediate question: it should be specific, self-contained, and written in natural language.
`goal` is what the user is ultimately trying to achieve, the reason they need the answer. Sharing it helps GitBook give you a better, more relevant answer. A goal is most helpful when it describes the outcome the user wants rather than restating the question. For example, with `ask=how do I create an API token`, a goal like `automate deployments from our CI pipeline` lets GitBook tailor the answer to that use case.

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.