Главная
Study mode:
on
1
Introduction
2
Proofs and Verifiers
3
Distributed Verifiers
4
Cryptographic Applications
5
Fully Linear PCPs
6
Fully Linear PCP
7
Fully Linear Interactive Oracle
8
Low Communication Fully Linear PCP
9
Secret Sharing Scheme
10
Fully Linear PCP Construction
11
Fully Linear PCP Example
12
Summary
13
Quick refresher
14
Applications
15
Communication Complexity
16
Existing Approaches
17
Passive Secure Protocol
18
Observations
Description:
Explore a comprehensive lecture on Fully Linear PCPs and their cryptographic applications, presented by Elette Boyle from IDC Herzliya and Henry Corrigan-Gibbs from Stanford University. Delve into the world of Probabilistically Checkable and Interactive Proof Systems, covering topics such as distributed verifiers, cryptographic applications, and fully linear interactive oracles. Learn about low communication fully linear PCPs, secret sharing schemes, and their construction and examples. Gain insights into communication complexity, existing approaches, and passive secure protocols. Discover the connections between these concepts and their relevance in modern cryptography and computer science.

Fully Linear PCPs and Their Cryptographic Applications

Simons Institute
Add to list
0:00 / 0:00