Research

My research spans various areas of theoretical computer science.

In cryptography, I currently focus on both foundations and the design of efficient Zero-Knowledge Proofs.

In computational complexity, I am particularly interested in understanding the complexity class TFNP of total NP search problems.

A significant part of my work explores the bridge between game theory and cryptography, designing and analysing protocols with security against utility-maximizing agents.

Preprints

Publications

[1] P. Hubáček and M. Yeo
“On cryptographic cheap talk with smart contracts,” FC 2026
[2] C. Hoffmann, P. Hubáček, and S. Ivanova
“Practical batch proofs of exponentiation,” IACR Communications in Cryptology, 2025
[3] P. Hubáček, J. Václavek, and M. Yeo
“Foundations of fiat-denominated loans collateralized by cryptocurrencies,” OPODIS 2025
[4] J. Belohorec, P. Dvořák, C. Hoffmann, P. Hubáček, K. Mašková, and M. Pastyřík
“On extractability of the KZG family of polynomial commitment schemes,” CRYPTO 2025
[5] L. Folwarczný, M. Göös, P. Hubáček, G. Maystre, and W. Yuan
“One-way functions vs. TFNP: Simpler and improved,” ITCS 2024
[6] P. Hubáček, E. Khaniki, and N. Thapen
“TFNP intersections through the lens of feasible disjunction,” ITCS 2024
[7] E. Boyle, R. Cohen, D. Data, and P. Hubáček
“Must the communication graph of MPC protocols be an expander?” Journal of Cryptology, 2023
[8] R. Bourneuf, L. Folwarczný, P. Hubáček, A. Rosen, and N. I. Schwartzbach
“PPP-completeness and extremal combinatorics,” ITCS 2023
[9] C. Hoffmann, P. Hubáček, C. Kamath, and K. Pietrzak
“Certifying giant nonprimes,” PKC 2023
[10] C. Hoffmann, P. Hubáček, C. Kamath, and T. Krňák
“(Verifiable) delay functions from Lucas sequences,” TCC 2023
[11] P. Hubáček, L. Jančová, and V. Králová
“On the distributed discrete logarithm problem with preprocessing,” ITC 2022
[12] C. Hoffmann, P. Hubáček, C. Kamath, K. Klein, and K. Pietrzak
“Practical statistically-sound proofs of exponentiation in any group,” CRYPTO 2022
[13] I. Bentov, P. Hubáček, T. Moran, and A. Nadler
“Tortoise and hares consensus: The meshcash framework for incentive-compatible, scalable cryptocurrencies,” CSCML 2021
[14] P. Hubáček and J. Václavek
“On search complexity of discrete logarithm,” MFCS 2021
[15] P. Hubáček and E. Yogev
“Hardness of continuous local search: Query complexity and cryptographic lower bounds,” SIAM Journal of Computing, 2020
[16] P. Hubáček, C. Kamath, K. Král, and V. Slívová
“On average-case hardness in TFNP from one-way functions,” TCC 2020
[17] A. R. Choudhuri, P. Hubáček, C. Kamath, K. Pietrzak, A. Rosen, and G. N. Rothblum
“Finding a Nash equilibrium is no easier than breaking Fiat-Shamir,” STOC 2019
[18] P. Hubáček, M. Koucký, K. Král, and V. Slívová
“Stronger lower bounds for online ORAM,” TCC 2019
[19] E. Boyle, R. Cohen, D. Data, and P. Hubáček
“Must the communication graph of MPC protocols be an expander?” CRYPTO 2018
[20] P. Hubáček, A. Rosen, and M. Vald
“An efficiency-preserving transformation from honest-verifier statistical zero-knowledge to statistical zero-knowledge,” EUROCRYPT 2018
[21] B. Gärtner, T. D. Hansen, P. Hubáček, K. Král, H. Mosaad, and V. Slívová
“ARRIVAL: Next stop in CLS,” ICALP 2018
[22] P. Hubáček, M. Naor, and E. Yogev
“The journey from NP to TFNP hardness,” ITCS 2017
[23] P. Hubáček and E. Yogev
“Hardness of continuous local search: Query complexity and cryptographic lower bounds,” SODA 2017
[24] P. Hubáček, M. Naor, and J. R. Ullman
“When can limited randomness be used in repeated games?” Theory of Computing Systems, 2016
[25] S. Guo, P. Hubáček, A. Rosen, and M. Vald
“Rational sumchecks,” TCC 2016-a
[26] P. Hubáček and D. Wichs
“On the communication complexity of secure function evaluation with long output,” ITCS 2015
[27] P. Hubáček, M. Naor, and J. R. Ullman
“When can limited randomness be used in repeated games?” SAGT 2015
[28] S. Guo, P. Hubáček, A. Rosen, and M. Vald
“Rational arguments: Single round delegation with sublinear verification,” ITCS 2014
[29] P. Hubáček and S. Park
“Cryptographically blinded games: Leveraging players’ limitations for equilibria and profit,” ACM EC 2014
[30] P. Hubáček, J. B. Nielsen, and A. Rosen
“Limits on the power of cryptographic cheap talk,” CRYPTO 2013