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

  1. Attacking Poseidon via Graeffe-Based Root-Finding over NTT-Friendly Fields

    • Antonio Sanso, Giuseppe Vitto

    • IACR Cryptology ePrint Archive, 2025

  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

  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

  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

  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

  7. A Rollup Comparison Framework

    • Jan Gorzny, Martin Derka

    • ChainScience 2024, Zurich, Switzerland, April 5-6, 2024

  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

  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

  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

  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

  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

  13. SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks

  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

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