p robabilistically c heckable p roofs
DESCRIPTION
P robabilistically C heckable P roofs. Guy Kindler The Hebrew University. Proofs – why?. Proofs problems all around… Math : Homework Identity: passwords suck Credit cards: chip (zero knowledge) Smartness!! Cloud computation Sensitive computation (fission decay) Etc…. What is a proof. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: P robabilistically C heckable P roofs](https://reader036.vdocument.in/reader036/viewer/2022062813/568165a4550346895dd88664/html5/thumbnails/1.jpg)
ProbabilisticallyCheckableProofs
Guy Kindler
The Hebrew University
![Page 2: P robabilistically C heckable P roofs](https://reader036.vdocument.in/reader036/viewer/2022062813/568165a4550346895dd88664/html5/thumbnails/2.jpg)
Proofs – why?Proofs problems all around…• Math : Homework• Identity: passwords suck• Credit cards: chip (zero knowledge)• Smartness!!• Cloud computation• Sensitive computation (fission decay)• Etc…
![Page 3: P robabilistically C heckable P roofs](https://reader036.vdocument.in/reader036/viewer/2022062813/568165a4550346895dd88664/html5/thumbnails/3.jpg)
What is a proof• Euclid: argument based on axioms• A committee decides (Fourier 1825)• Frege System (1880)• Some paradoxes• Hilbert’s program (1900)• Godel: completeness, incompleteness (1930)• Turing: machine verifiable(1936)• Machine-generate (1976)
![Page 4: P robabilistically C heckable P roofs](https://reader036.vdocument.in/reader036/viewer/2022062813/568165a4550346895dd88664/html5/thumbnails/4.jpg)
Turing Machine• Theoretical computer (1936)• Has inputs and outputs
TMInput Output
![Page 5: P robabilistically C heckable P roofs](https://reader036.vdocument.in/reader036/viewer/2022062813/568165a4550346895dd88664/html5/thumbnails/5.jpg)
Example: Traveling Salesman
• All cities traversable, length < X • US: 13509 cities
• Given proof: easy to verify• Finding route: virtually impossible!
![Page 6: P robabilistically C heckable P roofs](https://reader036.vdocument.in/reader036/viewer/2022062813/568165a4550346895dd88664/html5/thumbnails/6.jpg)
Applications• Verify mathematics• Check homework• Check long Proofs (four color theorem)
Statement Accept/RejectTM
Proof
![Page 7: P robabilistically C heckable P roofs](https://reader036.vdocument.in/reader036/viewer/2022062813/568165a4550346895dd88664/html5/thumbnails/7.jpg)
Checking Faster• Cook-Levin Theorem (70’s)• Each checker reads 3 letters!
• Problem: reliability
Proof
Statement, k TMCheck 1
Check 2
Check 3
![Page 8: P robabilistically C heckable P roofs](https://reader036.vdocument.in/reader036/viewer/2022062813/568165a4550346895dd88664/html5/thumbnails/8.jpg)
Fixing Reliability ProblemProof
Statement, k TMCheck 1Check 2
Check 3Check 4Check 5Check 6Check 6Check 6Check 6
![Page 9: P robabilistically C heckable P roofs](https://reader036.vdocument.in/reader036/viewer/2022062813/568165a4550346895dd88664/html5/thumbnails/9.jpg)
Fixing Reliability Problem
Statement, k TM
Correct Proof
Check 1Check 2
Check 3Check 4Check 5Check 6Check 7Check 8Check 9
![Page 10: P robabilistically C heckable P roofs](https://reader036.vdocument.in/reader036/viewer/2022062813/568165a4550346895dd88664/html5/thumbnails/10.jpg)
Fixing Reliability Problem
Statement, k TM
Correct Proof
Check 1Check 2
Check 3Check 4Check 5Check 6Check 7Check 8Check 9
![Page 11: P robabilistically C heckable P roofs](https://reader036.vdocument.in/reader036/viewer/2022062813/568165a4550346895dd88664/html5/thumbnails/11.jpg)
Fixing Reliability Problem
Wrong Statement TM
Proof
Check 1Check 2
Check 3Check 4Check 5Check 6Check 7Check 8Check 9
![Page 12: P robabilistically C heckable P roofs](https://reader036.vdocument.in/reader036/viewer/2022062813/568165a4550346895dd88664/html5/thumbnails/12.jpg)
Fixing Reliability Problem
Wrong Statement TM
Proof
Check 1Check 2
Check 3Check 4Check 5Check 6Check 7Check 8Check 9
PCP Theorem [1992]!
![Page 13: P robabilistically C heckable P roofs](https://reader036.vdocument.in/reader036/viewer/2022062813/568165a4550346895dd88664/html5/thumbnails/13.jpg)
Probabilistic Checking
Wrong Statement TM
Proof
Check 1Check 2
Check 3Check 4Check 5Check 6Check 7Check 8Check 9
Choose few checkers randomly!!
![Page 14: P robabilistically C heckable P roofs](https://reader036.vdocument.in/reader036/viewer/2022062813/568165a4550346895dd88664/html5/thumbnails/14.jpg)
Probabilistic Checking
Wrong Statement TM
Proof
Check 2
Check 5
Check 8
Choose few checkers randomly!!
![Page 15: P robabilistically C heckable P roofs](https://reader036.vdocument.in/reader036/viewer/2022062813/568165a4550346895dd88664/html5/thumbnails/15.jpg)
Computation in CloudLife the universe and everything?
42Prove!
Check 1,3,8,9 Proof
![Page 16: P robabilistically C heckable P roofs](https://reader036.vdocument.in/reader036/viewer/2022062813/568165a4550346895dd88664/html5/thumbnails/16.jpg)
Problems
• Constructing checkers takes time
• Proof is long.
• Many other real-life constraints.
• But work is still in progress!
![Page 17: P robabilistically C heckable P roofs](https://reader036.vdocument.in/reader036/viewer/2022062813/568165a4550346895dd88664/html5/thumbnails/17.jpg)
Thank You