S (snarky_blake2.Snarky

module Impl : Snarky_backendless.Snark_intf.S

val block_size_in_bits : int

Input will be padded to have length a multiple of this value, which is 512

val digest_length_in_bits : int

The output will have length equal to this value which is 256

val blake2s : 
  ?personalization:string ->
  Impl.Boolean.var array ->
  Impl.Boolean.var array Impl.Checked.t

A checked version of the blake2s hash function.