Practical Proof Systems: Implementations, Applications, and Next Steps

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


Duration: 1:00:43
1,058 views
14

Riad Wahby (Stanford University)
https://simons.berkeley.edu/talks/tbd-80
Probabilistically Checkable and Interactive Proof Systems



Other Videos By Simons Institute for the Theory of Computing


2019-09-25Efficient Zero Knowledge Proof from Interactive Proofs
2019-09-24On Two-Message Statistically Private Arguments
2019-09-24Fully Homomorphic NIZK and NIWI Proofs
2019-09-24From Holography to Recursive Proofs
2019-09-24Recursive Techniques for Lattice-Based Zero-Knowledge
2019-09-24Efficient Post-Quantum zkSNARKs from Univariate Sumcheck
2019-09-24No-Signaling Proofs with O(\sqrt{log n})-Provers is in PSPACE
2019-09-23Finding a Nash Equilibrium is No Easier than Breaking Fiat-Shamir
2019-09-23Publicly Verifiable Zero Knowledge on Blockchains
2019-09-23Sonic: zk-SNARKs from Linear Sized Universal and Updatable SRS's
2019-09-23Practical Proof Systems: Implementations, Applications, and Next Steps
2019-09-23Efficient Zero-Knowledge Proofs: A Modular Approach
2019-09-19Platforms and Marketplaces: Past Lessons and Future Possibilities
2019-09-19Matching Markets: Managing Scale and Accuracy
2019-09-18Optimal Growth in Two-Sided Markets
2019-09-18Matching Algorithms for Blood Donation
2019-09-18The Unreasonable Effectiveness of Artificial Currencies
2019-09-18Clearing Matching Markets Efficiently: Informative signals and Match Recommendations
2019-09-18Incentivizing Exploration among Behavioral Agents with Unbiased Histories
2019-09-18Stochastic Matching with Few Queries
2019-09-17Facilitating the Search for Partners on Matching Platforms


Tags:
Simons Institute
Theory of Computing
Theory of Computation
Theoretical Computer Science
Computer Science
UC Berkeley
Probabilistically Checkable and Interactive Proof Systems
Riad Wahby