Sponge (sponge.Sponge)

module Intf : sig ... end

module Params : sig ... end

module State : sig ... end

module Rescue
  (Inputs : Intf.Inputs.Rescue) : 
  Intf.Permutation with module Field = Inputs.Field

module Poseidon
  (Inputs : Intf.Inputs.Poseidon) : 
  Intf.Permutation with module Field = Inputs.Field

module Make_operations
  (Field : Intf.Field) : 
  Intf.Operations with module Field := Field

module Bn382_inputs
  (Field : Intf.Field_mutable) : 
  Intf.Inputs.Poseidon with module Field := Field

module Make_hash
  (P : Intf.Permutation) : 
  Intf.Hash with module State := State and module Field := P.Field

type sponge_state =

| Absorbed of int

| Squeezed of int

val sexp_of_sponge_state : sponge_state -> Ppx_sexp_conv_lib.Sexp.t

val sponge_state_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> sponge_state

type 'f t = {

mutable state : 'f State.t;

params : 'f Params.t;

mutable sponge_state : sponge_state;

}

val make : 
  state:'f State.t ->
  params:'f Params.t ->
  sponge_state:sponge_state ->
  'f t

module Make_sponge (P : Intf.Permutation) : sig ... end

module Bit_sponge : sig ... end