OCaml Forge

fiat-shamir-zkp

This program implements a cryptographic network authentication scheme based on the work of Fiat-Shamir. The system is described in Section 6.8 of Network Security: Private Communication in a Public World by Kaufman et al.