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
https://portal.mardi4nfdi.de/entity/Q58755142023-02-03Paper
Approximate Degree, Secret Sharing, and Concentration Phenomena2023-02-03Paper
Approximate Degree in Classical and Quantum Computing2023-01-11Paper
https://portal.mardi4nfdi.de/entity/Q50924542022-07-21Paper
https://portal.mardi4nfdi.de/entity/Q50911792022-07-21Paper
Sign-rank Can Increase under Intersection2022-03-29Paper
https://portal.mardi4nfdi.de/entity/Q51585012021-10-25Paper
https://portal.mardi4nfdi.de/entity/Q50095302021-08-04Paper
https://portal.mardi4nfdi.de/entity/Q51408442020-12-17Paper
On the Power of Statistical Zero Knowledge2020-08-25Paper
A Nearly Optimal Lower Bound on the Approximate Degree of 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
https://portal.mardi4nfdi.de/entity/Q45981502017-12-19Paper
Improved Bounds on the Sign-Rank of AC^02017-12-19Paper
https://portal.mardi4nfdi.de/entity/Q52761852017-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