Talks
Summer 2018

Non-Interactive Verifiable Computation via Non-signaling

Friday, June 15th, 2018 2:00 pm2:30 pm

Add to Calendar

In this talk I will explain the blueprint for constructing succinct non-interactive (computationally sound) proofs from standard assumptions. The construction explores an interesting connection between cryptography and non-signaling.