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