Module sigma_fun::ext

Module for implemenations of protocols that are composed of sigma protocols.

Modules

• dl_secp256k1_ed25519_eq
  Cross curve proof of Discrete Log equality between secp256k1 and ed25519.