Tutorial on Proof Systems

Channel:
United States Simons Institute for the Theory of Computing
Subscribers:
68,700
Published on ● Video Link: https://www.youtube.com/watch?v=6nFXL2lzHaI


Duration: 1:07:46
998 views
13

Abhishek Jain (Johns Hopkins University)
https://simons.berkeley.edu/talks/abhishek-jain-johns-hopkins-university-2023-05-01
Minimal Complexity Assumptions for Cryptography



Other Videos By Simons Institute for the Theory of Computing


2023-05-03SNARGs Beyond Non-Signaling
2023-05-03Cryptographic Hardness of Correlated Sampling
2023-05-03Incompressiblity and Next-Block Pseudoentropy
2023-05-02Cryptography and Kolmogorov Complexity: A Quick Tutorial
2023-05-02Constant-Round Arguments from One-Way Functions
2023-05-02New Techniques for Zero-Knowledge: Leveraging Inefficient Provers to Reduce Assumptions, ...
2023-05-02Hard Languages in NP ∩ coNP and NIZK Proofs from Unstructured Hardness
2023-05-02Non-interactive Universal Arguments
2023-05-02Rate-1 BARGs via fully-local SSB hash families
2023-05-02Correlation Intractability and SNARGs from Sub-exponential DDH
2023-05-01Tutorial on Proof Systems
2023-04-29Connections Between Multicalibration and Doubly Robust Estimation
2023-04-29On the Causal Foundations of Fair Machine Learning
2023-04-29Social Norm Bias: Residual Harms of Fairness-Aware Algorithms
2023-04-29Measuring Our Chances: Risk Prediction in this World and its Betters
2023-04-29Omnipredictors for Constrained Optimization
2023-04-28Who is Fairer: Humans vs. Machines?
2023-04-28Algorithmic Collective Action in Machine Learning
2023-04-28Sample Complexity Bounds for Realizable Multicalibration
2023-04-28Indistinguishable Generative Models of Huge Objects
2023-04-28Complexity-theoretic Implications of Multicalibration: ...


Tags:
Simons Institute
theoretical computer science
UC Berkeley
Computer Science
Theory of Computation
Theory of Computing
Abhishek Jain