Michal Zajac

According to our database, Michal Zajac authored at least 21 papers between 2015 and 2025.

Collaborative distances:

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

2025

On Soundness Notions for Interactive Oracle Proofs.

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

J. Cryptol., March, 2025

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

From Polynomial IOP and Commitments to Non-malleable zkSNARKs.

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

IACR Cryptol. ePrint Arch., 2023

Fiat-Shamir Security of FRI and Related SNARKs.

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

IACR Cryptol. ePrint Arch., 2023

2022

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

Helger Lipmaa, Janno Siim, Michal Zajac

IACR Cryptol. ePrint Arch., 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

2021

On Subversion-Resistant SNARKs.

Behzad Abdolmaleki, Helger Lipmaa, Janno Siim, Michal Zajac

J. Cryptol., 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

IACR Cryptol. ePrint Arch., 2021

2019

A Non-Interactive Shuffle Argument With Low Trust Assumptions.

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

IACR Cryptol. ePrint Arch., 2019

UC-Secure CRS Generation for SNARKs.

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

IACR Cryptol. ePrint Arch., 2019

DL-Extractable UC-Commitment Schemes.

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

IACR Cryptol. ePrint Arch., 2019

ZETH: On Integrating Zerocash on Ethereum.

Antoine Rondelet, Michal Zajac

CoRR, 2019

2018

On QA-NIZK in the BPK Model.

Behzad Abdolmaleki, Helger Lipmaa, Janno Siim, Michal Zajac

IACR Cryptol. ePrint Arch., 2018

2017

An Efficient Pairing-Based Shuffle Argument.

Prastudy Fauzi, Helger Lipmaa, Janno Siim, Michal Zajac

IACR Cryptol. ePrint Arch., 2017

A Subversion-Resistant SNARK.

Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Michal Zajac

IACR Cryptol. ePrint Arch., 2017

2016

A Shuffle Argument Secure in the Generic Model.

Prastudy Fauzi, Helger Lipmaa, Michal Zajac

IACR Cryptol. ePrint Arch., 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

2015

Leakage-Resilient Cryptography with Key Derived from Sensitive Data.

Konrad Durnoga, Tomasz Kazana, Michal Zajac, Maciej Zdanowicz

IACR Cryptol. ePrint Arch., 2015

One Time Programs with Limited Memory.

Konrad Durnoga, Stefan Dziembowski, Tomasz Kazana, Michal Zajac

IACR Cryptol. ePrint Arch., 2015