Module ext
sigma_fun
Module for implemenations of protocols that are composed of sigma protocols.
Cross curve proof of Discrete Log equality between secp256k1 and ed25519.