Michal Zajac

According to our database, Michal Zajac authored at least 21 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On amortization techniques for FRI-based SNARKs.

Albert Garreta, Hayk Hovhanissyan, Aram Jivanyan, Ignacio Manzur, Isaac Villalobos, Michal Zajac

IACR Cryptol. ePrint Arch., 2024

2023

COMMON: Order Book with Privacy.

Albert Garreta, Adam Gagol, Aikaterini-Panagiota Stouka, Damian Straszak, Michal Zajac

IACR Cryptol. ePrint Arch., 2023

On Soundness Notions for Interactive Oracle Proofs.

Alexander R. Block, Albert Garreta, Pratyush Ranjan Tiwari, Michal Zajac

IACR Cryptol. ePrint Arch., 2023

From Polynomial IOP and Commitments to Non-malleable zkSNARKs.

Antonio Faonio, Dario Fiore, Markulf Kohlweiss, Luigi Russo, Michal Zajac

Proceedings of the Theory of Cryptography - 21st International Conference, 2023

Fiat-Shamir Security of FRI and Related SNARKs.

Alexander R. Block, Albert Garreta, Jonathan Katz, Justin Thaler, Pratyush Ranjan Tiwari, Michal Zajac

Proceedings of the Advances in Cryptology - ASIACRYPT 2023, 2023

2022

What Makes Fiat-Shamir zkSNARKs (Updatable SRS) Simulation Extractable?

Chaya Ganesh, Hamidreza Khoshakhlagh, Markulf Kohlweiss, Anca Nitulescu, Michal Zajac

Proceedings of the Security and Cryptography for Networks - 13th International Conference, 2022

Counting Vampires: From Univariate Sumcheck to Updatable ZK-SNARK.

Helger Lipmaa, Janno Siim, Michal Zajac

Proceedings of the Advances in Cryptology - ASIACRYPT 2022, 2022

2021

On Simulation-Extractability of Universal zkSNARKs.

Markulf Kohlweiss, Michal Zajac

IACR Cryptol. ePrint Arch., 2021

Verifiably-Extractable OWFs and Their Applications to Subversion Zero-Knowledge.

Prastudy Fauzi, Helger Lipmaa, Janno Siim, Michal Zajac, Arne Tobias Ødegaard

Proceedings of the Advances in Cryptology - ASIACRYPT 2021, 2021

2020

On Subversion-Resistant SNARKs.

Behzad Abdolmaleki, Helger Lipmaa, Janno Siim, Michal Zajac

IACR Cryptol. ePrint Arch., 2020

On QA-NIZK in the BPK Model.

Behzad Abdolmaleki, Helger Lipmaa, Janno Siim, Michal Zajac

Proceedings of the Public-Key Cryptography - PKC 2020, 2020

A Non-interactive Shuffle Argument with Low Trust Assumptions.

Antonis Aggelakis, Prastudy Fauzi, Georgios Korfiatis, Panos Louridas, Foteinos Mergoupis-Anagnou, Janno Siim, Michal Zajac

Proceedings of the Topics in Cryptology - CT-RSA 2020, 2020

2019

ZETH: On Integrating Zerocash on Ethereum.

Antoine Rondelet, Michal Zajac

CoRR, 2019

UC-Secure CRS Generation for SNARKs.

Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Janno Siim, Michal Zajac

Proceedings of the Progress in Cryptology - AFRICACRYPT 2019, 2019

DL-Extractable UC-Commitment Schemes.

Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Janno Siim, Michal Zajac

Proceedings of the Applied Cryptography and Network Security, 2019

2017

An Efficient Pairing-Based Shuffle Argument.

Prastudy Fauzi, Helger Lipmaa, Janno Siim, Michal Zajac

Proceedings of the Advances in Cryptology - ASIACRYPT 2017, 2017

A Subversion-Resistant SNARK.

Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Michal Zajac

Proceedings of the Advances in Cryptology - ASIACRYPT 2017, 2017

2016

Bounded-Retrieval Model with Keys Derived from Private Data.

Konrad Durnoga, Stefan Dziembowski, Tomasz Kazana, Michal Zajac, Maciej Zdanowicz

Proceedings of the Information Security and Cryptology - 12th International Conference, 2016

A Shuffle Argument Secure in the Generic Model.

Prastudy Fauzi, Helger Lipmaa, Michal Zajac

Proceedings of the Advances in Cryptology - ASIACRYPT 2016, 2016

2015

Leakage-Resilient Cryptography with Key Derived from Sensitive Data.

Konrad Durnoga, Tomasz Kazana, Michal Zajac, Maciej Zdanowicz

IACR Cryptol. ePrint Arch., 2015

2013

One-Time Programs with Limited Memory.

Konrad Durnoga, Stefan Dziembowski, Tomasz Kazana, Michal Zajac

Proceedings of the Information Security and Cryptology - 9th International Conference, 2013