Today I learned about using zero-knowledge proofs in the context of passwords. These are my rough-and-ready notes from reading. Apparently OpenSSL has an implementation of the SRP algorithm. Math-based ZKP example # Source for this example comes from Wikipedia. It might be good to read that in tandem with these notes. In this example Peggy is the person who wishes to prove knowledge about something to Victor, the verifier. Peggy is proving that she knows some value \(x\) , but she doesn’t w...
