Tutorial on Proof Systems

Visit talk page

Correlation Intractability and SNARGs from Sub-exponential DDH

Visit talk page

Constant-Round Arguments from One-Way Functions

Visit talk page

Rate-1 BARGs via fully-local SSB hash families

Visit talk page

Non-interactive Universal Arguments

Visit talk page

Hard Languages in NP ∩ coNP and NIZK Proofs from Unstructured Hardness

Visit talk page

New Techniques for Zero-Knowledge: Leveraging Inefficient Provers to Reduce Assumptions, Interaction, and Trust *Presented Virtually

Visit talk page

Cryptography and Kolmogorov Complexity: A Quick Tutorial

Visit talk page

Talk By

Visit talk page

Incompressiblity and Next-Block Pseudoentropy

Visit talk page