package tezos-plompiler

  1. Overview
  2. Docs
package tezos-plompiler
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module L : sig ... end

Signature

val nb_rounds : int
val matrix : Bls12_381.Fr.t array array
val rc : 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 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 digest : ?input_length:int -> L.scalar list L.repr -> L.scalar L.repr L.t