Gadget (octez-libs.Plompiler.Gadget)

module type HASH = sig ... end

module Anemoi128 : sig ... end

module AnemoiJive_128_1 (L : sig ... end) : sig ... end

module Poseidon128 : sig ... end

module Poseidon252 : sig ... end

module PoseidonFull : sig ... end

module Merkle (H : sig ... end) : sig ... end

module Merkle_narity : sig ... end

module JubjubEdwards (L : sig ... end) : sig ... end

module JubjubWeierstrass (L : sig ... end) : sig ... end

module Schnorr (H : sig ... end) : sig ... end

module Edwards25519 (L : sig ... end) : sig ... end

module Ed25519 : sig ... end

Specification for Ed25519 is given in RFC 8032 https://www.rfc-editor.org/rfc/rfc8032.txt

module Blake2s (L : sig ... end) : sig ... end

module ArithMod25519 (L : sig ... end) : sig ... end

module ArithMod64 (L : sig ... end) : sig ... end

module Sha256 (L : sig ... end) : sig ... end

module Sha512 (L : sig ... end) : sig ... end