Sponge_inputs.Make
module Impl : Snarky_backendless.Snark_intf.Run
module B : sig ... end
module Field = Impl.Field
val add_assign : state:Field.t array -> int -> Field.t -> unit
val copy : Field.t array -> Field.t array
val block_cipher : Field.t Sponge.Params.t -> Field.t array -> Field.t array