Publications and Grants

On this page list the academic papers that the Zircuit researchers have authored, and the grants the team has been awarded.

Publications

1. Temporarily Restricting Solidity Smart Contract Interactions

   • Valerian Callens, Zeeshan Meghji, Jan Gorzny

   • To appear at DAPPS 2024

2. Requirements Engineering Challenges for Blockchain Rollups

   • Jan Gorzny, Martin Derka

   • To appear at RE4WEB3 2024

3. A Rollup Comparison Framework

   • Jan Gorzny, Martin Derka

   • Appeared at ChainScience 2024

   • arXiv:2404.16150

4. SoK: A Review of Recent Cross-Chain Bridge Hacks

   • Nikita Belenkov, Valerian Callens, Alexandr Murashkin, Kacper Bak, Jan Gorzny, Martin Derka, Sung-Shine Lee

   • Submitted

5. SoK: Compression in Rollups

   • Roshan Palakkal, Jan Gorzny, Martin Derka

   • Accepted at IEEE International Conference on Blockchain and Cryptocurrency (ICBC) 2024, Dublin, Ireland, May 27-31, 2024

6. Attacks on Rollups

   • Adrian Koegl, Zeeshan Meghji, Donato Pellegrino, Kacper Bak, Jan Gorzny, Martin Derka

   • Proceedings of the 4th International Workshop on Distributed Infrastructure for the Common Good (DICG) 2023, Bologna, Italy, December 12, 2023

   • DOI: 10.1145/3631310.3633493

7. Ideal Properties of Rollup Escape Hatches

   • Jan Gorzny, Po-An Lin, Martin Derka

   • Proceedings of the 3rd International Workshop on Distributed Infrastructure for the Common Good (DICG) 2022, Quebec, QC, Canada, November 7, 2022

   • DOI: 10.1145/3565383.3566107

8. Automated Analysis of Halo2 Circuits

   • Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand

   • IACR Cryptology ePrint Archive, 2023

   • ePrint 2023/1051

9. Automated Analysis of Halo2 Circuits

   • Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand

   • Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023), co-located with the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, July 5-6, 2023

   • CEUR-WS Vol-3429

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

    • Sung-Shine Lee, Alexandr Murashkin, Martin Derka, Jan Gorzny

    • CoRR, abs/2210.16209, 2022

    • arXiv:2210.16209

11. 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) 2023, Dubai, United Arab Emirates, May 1-5, 2023

    • DOI: 10.1109/ICBC56567.2023.10174993

12. Constant-Time Updates Using Token Mechanics

    • Sebastian Banescu, Martin Derka, Jan Gorzny, Sung-Shine Lee, Alex Murashkin

    • IEEE International Conference on Blockchain, Blockchain 2020, Rhodes, Greece, November 2-6, 2020

    • DOI: 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.