Margot Catinaud

Margot Catinaud

she/her

PhD Student

Blog posts

Work in progress, coming soon

2026

  • The Schnorr protocol

    Last modification: 2026-09-14     Tags:  

    A concrete pedagogical example of a zero-knowledge protocols: the Schnorr protocol. In this blog post, you also find a comparative proof between the game-based cryptographic framework and a logical framework. In this case, the formal proof is given in the CCSA logic.

  • The rewinding technique and its application to knowledge soundness

    Last modification: 2026-09-14     Tags:  

    An introduction to the rewinding technique, a famous cryptographic reduction technique. This technique is widely used to look at security of zero-knowledge protocols. We also talk about the associated knowledge soundness property. Roughly, this property of zero-knowledge protocols state that no adversarial prover can fool an honest verifier by making her accepting while the prover behaves dishonestly.