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,