Zero Knowledge, Zkp, Fiat Shamir, Zero Knowledge Proofs.
Fiat-Shamir Transform 📚 Part V: Succinctness 📚 Part VI: Intermediate representations In the previous articles of this series we formalized the notion of a proof and saw the power of interaction. Interaction bundled with randomness provides a powerful new proof system and it was a delight to see how