Random_oracle_permutation
include Sponge.Intf.Permutation with module Field = Kimchi_backend.Pasta.Basic.Fp
module Field = Kimchi_backend.Pasta.Basic.Fp
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