Menu
Sign In Search Podcasts Libraries Charts People & Topics Add Podcast API Blog Pricing

Ryan Peterman

๐Ÿ‘ค Speaker
2230 total appearances

Appearances Over Time

Podcast Appearances

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

There are quantum error correcting codes, and that's part of the solution.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

That's only one of the problems.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

Just holding bits in superposition is hard.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

There are many household technological issues and there's progress on that.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

So this is one line of huge investment.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

The other line comes from cryptography because, of course, everybody should be worried, right?

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

I mean, you know, forget quantum computers.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

If tomorrow, I mean really tomorrow, somebody finds even a classical factoring algorithm in polynomial time, I think there will be chaos in the world because nobody can do any transactions because most security systems still rely on factoring.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

And so, of course, we want to change the underlying assumptions of security.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

We want to rely

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

The whole revolution in cryptography was that we arrest cryptography on computationally hard assumptions.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

And with this we build all the wonderful public key systems and all the magical things you can do by assuming that players are computationally limited.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

But now if the adversaries are quantum computers, then suddenly they can break this.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

You want to find other mathematical problems, computational problems, which are somehow hard even to quantum computers.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

So that's a whole field, this change, complexity theory and cryptography, there is an army of people who are just trying to invent problems.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

I maybe should stress, one-way functions are easy to find.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

I mean, most problems, most processes in nature are not easily reversible.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

You make an omelet from an egg, you know, reversing this doesn't take the same amount of time.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

That's a usual example of a physical binary function.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

But trapdoor functions like factoring, problems from which you can build public key systems, and that's the most really basic thing for electronic commerce,