AnemoiJive_128_1 (mavkit-libs.Plompiler.Gadget.AnemoiJive_128

Parameters

module L : sig ... end

val parameters : Bls12_381_hash.Permutation.Anemoi.Parameters.t

val nb_rounds : int

val matrix : Mavryk_bls12_381.Fr.t array array

val rc : Mavryk_bls12_381.Fr.t array

val repeat : n:int -> ('a -> 'a L.t) -> 'a0 -> 'a1 L.t

val round : 
  (L.scalar L.repr * L.scalar L.repr * int) ->
  (L.scalar L.repr * L.scalar L.repr * int) L.t

val init_state_for_rounds : 
  L.Num.scalar L.Num.repr ->
  L.Num.scalar L.Num.repr ->
  (L.Num.scalar L.Num.repr * L.Num.scalar L.Num.repr) L.t

val compress : L.scalar L.repr -> L.scalar L.repr -> L.scalar L.repr L.t

val double_round : 
  (L.scalar L.repr * L.scalar L.repr * int) ->
  (L.scalar L.repr * L.scalar L.repr * int) L.t

val compress_two : L.scalar L.repr -> L.scalar L.repr -> L.scalar L.repr L.t

val custom_round : 
  (L.scalar L.repr * L.scalar L.repr * int) ->
  (L.scalar L.repr * L.scalar L.repr * int) L.t

val compress_custom : L.scalar L.repr -> L.scalar L.repr -> L.scalar L.repr L.t

val compress_19_5 : L.scalar L.repr -> L.scalar L.repr -> L.scalar L.repr L.t

val digest : ?input_length:int -> L.scalar list L.repr -> L.scalar L.repr L.t