AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
How to Create a Proof System
In the process of creating one of these, there's different entities such as the prover and the verifier. Can you explain those terms? Yeah, maybe just to step back one second again, I think it is kind of important to understand that there are two separate concepts here. One is this concept of a succinct proof. There are no secrets involved. I just want to prove to you that something is correct. For example, that the following solution to a Sudoku puzzle is really a valid solution to the Sudoku puzzle. That's one concept. So here there are no secrets. And then an additional feature that you could add on is the zero knowledge feature, which you could say