Justin Thaler

From MaRDI portal
Person:378242

Available identifiers

zbMath Open thaler.justinMaRDI QIDQ378242

List of research outcomes





PublicationDate of PublicationType
Field-agnostic SNARKs from expand-accumulate codes2025-01-10Paper
\textsf{Jolt}: SNARKs for virtual machines via lookups2024-11-13Paper
Unlocking the lookup singularity with \textsf{Lasso}2024-11-13Paper
\textsf{Testudo}: linear time prover SNARKs with constant size proofs and square root size universal setup2024-10-16Paper
Fiat-Shamir security of FRI and related SNARKs2024-06-26Paper
https://portal.mardi4nfdi.de/entity/Q60621432023-10-31Paper
https://portal.mardi4nfdi.de/entity/Q61761532023-07-25Paper
https://portal.mardi4nfdi.de/entity/Q58743842023-02-07Paper
Ad Hoc Multi-Input Functional Encryption.2023-02-03Paper
The large-error approximate degree of \(\mathrm{AC}^0\)2023-02-03Paper
Approximate Degree, Secret Sharing, and Concentration Phenomena2023-02-03Paper
Approximate Degree in Classical and Quantum Computing2023-01-11Paper
Quantum lower bounds for approximate counting via Laurent polynomials2022-07-21Paper
Sign-rank can increase under intersection2022-07-21Paper
Sign-rank can increase under intersection2022-03-29Paper
The large-error approximate degree of \(\mathrm{AC}^0\)2021-10-25Paper
Approximate degree and the complexity of depth three circuits2021-08-04Paper
The polynomial method strikes back: tight quantum query bounds via dual polynomials2020-12-17Paper
On the power of statistical zero knowledge2020-08-25Paper
A nearly optimal lower bound on the approximate degree of \(\mathrm{AC}^0\)2020-08-25Paper
Quantum algorithms and approximating polynomials for composed functions with shared inputs2019-10-15Paper
Hierarchical Heavy Hitters with the Space Saving Algorithm2019-09-12Paper
Verifiable stream computation and Arthur-Merlin communication2019-09-02Paper
The polynomial method strikes back: tight quantum query bounds via dual polynomials2019-08-22Paper
Annotations for Sparse Data Streams2019-06-20Paper
Annotations in data streams2018-10-30Paper
https://portal.mardi4nfdi.de/entity/Q46018302018-01-24Paper
Semi-streaming algorithms for annotated graph streams2017-12-19Paper
Lower bounds for the approximate degree of block-composed functions2017-12-19Paper
Improved bounds on the sign-rank of \(\mathrm{AC}^0\)2017-12-19Paper
A framework for estimating stream expression cardinalities2017-07-14Paper
Faster private release of marginals on small databases2017-05-19Paper
Dual polynomials for collision and element distinctness2016-11-01Paper
Practical verified computation with streaming interactive proofs2016-10-07Paper
Streaming Verification in Data Analysis2016-01-11Paper
Hardness amplification and the approximate degree of constant-depth circuits2015-10-27Paper
Dual lower bounds for approximate degree and Markov-Bernstein inequalities2015-06-09Paper
External-memory multimaps2013-11-11Paper
Time-optimal interactive proofs for circuit evaluation2013-09-17Paper
Faster algorithms for privately releasing marginals2013-08-12Paper
Dual lower bounds for approximate degree and Markov-Bernstein inequalities2013-08-06Paper
Cache-oblivious dictionaries and multimaps with negligible failure probability2013-04-19Paper
Streaming graph computations with a helpful advisor2013-03-05Paper
External-memory multimaps2011-12-16Paper
Streaming graph computations with a helpful advisor2010-09-06Paper

Research outcomes over time

This page was built for person: Justin Thaler