Module L.Poseidon

val poseidon128_full_round : matrix:Csir.Scalar.t array array -> k:Csir.Scalar.t array -> (scalar repr * scalar repr * scalar repr) -> scalar list repr t
val poseidon128_four_partial_rounds : matrix:Csir.Scalar.t array array -> ks:Csir.Scalar.t array array -> (scalar repr * scalar repr * scalar repr) -> scalar list repr t