Zero Knowledge Proofs (ZKP) with polymorphism | Lesson 9