Michal Zajac

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 30

Top Topics

Simplifying Assumptions

Exponential Size

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Albert Garreta, Hayk Hovhanissyan, Aram Jivanyan, Ignacio Manzur, Isaac Villalobos, Michal Zajac
On amortization techniques for FRI-based SNARKs. IACR Cryptol. ePrint Arch. 2024 (2024)
Antonio Faonio, Dario Fiore, Markulf Kohlweiss, Luigi Russo, Michal Zajac
From Polynomial IOP and Commitments to Non-malleable zkSNARKs. IACR Cryptol. ePrint Arch. 2023 (2023)
Alexander R. Block, Albert Garreta, Jonathan Katz, Justin Thaler, Pratyush Ranjan Tiwari, Michal Zajac
Fiat-Shamir Security of FRI and Related SNARKs. IACR Cryptol. ePrint Arch. 2023 (2023)
Antonio Faonio, Dario Fiore, Markulf Kohlweiss, Luigi Russo, Michal Zajac
From Polynomial IOP and Commitments to Non-malleable zkSNARKs. TCC (3) (2023)
Alexander R. Block, Albert Garreta, Jonathan Katz, Justin Thaler, Pratyush Ranjan Tiwari, Michal Zajac
Fiat-Shamir Security of FRI and Related SNARKs. ASIACRYPT (2) (2023)
Alexander R. Block, Albert Garreta, Pratyush Ranjan Tiwari, Michal Zajac
On Soundness Notions for Interactive Oracle Proofs. IACR Cryptol. ePrint Arch. 2023 (2023)
Albert Garreta, Adam Gagol, Aikaterini-Panagiota Stouka, Damian Straszak, Michal Zajac
COMMON: Order Book with Privacy. IACR Cryptol. ePrint Arch. 2023 (2023)
Helger Lipmaa, Janno Siim, Michal Zajac
Counting Vampires: From Univariate Sumcheck to Updatable ZK-SNARK. IACR Cryptol. ePrint Arch. 2022 (2022)
Helger Lipmaa, Janno Siim, Michal Zajac
Counting Vampires: From Univariate Sumcheck to Updatable ZK-SNARK. ASIACRYPT (2) (2022)
Chaya Ganesh, Hamidreza Khoshakhlagh, Markulf Kohlweiss, Anca Nitulescu, Michal Zajac
What Makes Fiat-Shamir zkSNARKs (Updatable SRS) Simulation Extractable? SCN (2022)
Prastudy Fauzi, Helger Lipmaa, Janno Siim, Michal Zajac, Arne Tobias Ødegaard
Verifiably-Extractable OWFs and Their Applications to Subversion Zero-Knowledge. IACR Cryptol. ePrint Arch. 2021 (2021)
Behzad Abdolmaleki, Helger Lipmaa, Janno Siim, Michal Zajac
On Subversion-Resistant SNARKs. J. Cryptol. 34 (3) (2021)
Prastudy Fauzi, Helger Lipmaa, Janno Siim, Michal Zajac, Arne Tobias Ødegaard
Verifiably-Extractable OWFs and Their Applications to Subversion Zero-Knowledge. ASIACRYPT (4) (2021)
Antonis Aggelakis, Prastudy Fauzi, Georgios Korfiatis, Panos Louridas, Foteinos Mergoupis-Anagnou, Janno Siim, Michal Zajac
A Non-interactive Shuffle Argument with Low Trust Assumptions. CT-RSA (2020)
Behzad Abdolmaleki, Helger Lipmaa, Janno Siim, Michal Zajac
On Subversion-Resistant SNARKs. IACR Cryptol. ePrint Arch. 2020 (2020)
Behzad Abdolmaleki, Helger Lipmaa, Janno Siim, Michal Zajac
On QA-NIZK in the BPK Model. Public Key Cryptography (1) (2020)
Antoine Rondelet, Michal Zajac
ZETH: On Integrating Zerocash on Ethereum. CoRR (2019)
Antonis Aggelakis, Prastudy Fauzi, Georgios Korfiatis, Panos Louridas, Foteinos Mergoupis-Anagnou, Janno Siim, Michal Zajac
A Non-Interactive Shuffle Argument With Low Trust Assumptions. IACR Cryptol. ePrint Arch. 2019 (2019)
Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Janno Siim, Michal Zajac
UC-Secure CRS Generation for SNARKs. IACR Cryptol. ePrint Arch. 2019 (2019)
Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Janno Siim, Michal Zajac
DL-Extractable UC-Commitment Schemes. ACNS (2019)
Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Janno Siim, Michal Zajac
UC-Secure CRS Generation for SNARKs. AFRICACRYPT (2019)
Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Janno Siim, Michal Zajac
DL-Extractable UC-Commitment Schemes. IACR Cryptol. ePrint Arch. 2019 (2019)
Behzad Abdolmaleki, Helger Lipmaa, Janno Siim, Michal Zajac
On QA-NIZK in the BPK Model. IACR Cryptol. ePrint Arch. 2018 (2018)
Prastudy Fauzi, Helger Lipmaa, Janno Siim, Michal Zajac
An Efficient Pairing-Based Shuffle Argument. ASIACRYPT (2) (2017)
Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Michal Zajac
A Subversion-Resistant SNARK. ASIACRYPT (3) (2017)
Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Michal Zajac
A Subversion-Resistant SNARK. IACR Cryptol. ePrint Arch. 2017 (2017)
Prastudy Fauzi, Helger Lipmaa, Janno Siim, Michal Zajac
An Efficient Pairing-Based Shuffle Argument. IACR Cryptol. ePrint Arch. 2017 (2017)
Prastudy Fauzi, Helger Lipmaa, Michal Zajac
A Shuffle Argument Secure in the Generic Model. ASIACRYPT (2) (2016)
Prastudy Fauzi, Helger Lipmaa, Michal Zajac
A Shuffle Argument Secure in the Generic Model. IACR Cryptol. ePrint Arch. 2016 (2016)
Konrad Durnoga, Stefan Dziembowski, Tomasz Kazana, Michal Zajac, Maciej Zdanowicz
Bounded-Retrieval Model with Keys Derived from Private Data. Inscrypt (2016)
Konrad Durnoga, Tomasz Kazana, Michal Zajac, Maciej Zdanowicz
Leakage-Resilient Cryptography with Key Derived from Sensitive Data. IACR Cryptol. ePrint Arch. 2015 (2015)
Konrad Durnoga, Stefan Dziembowski, Tomasz Kazana, Michal Zajac
One Time Programs with Limited Memory. IACR Cryptol. ePrint Arch. 2015 (2015)
Konrad Durnoga, Stefan Dziembowski, Tomasz Kazana, Michal Zajac
One-Time Programs with Limited Memory. Inscrypt (2013)