package octez-plompiler

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val poseidon128_full_round : 
  matrix:Csir.Scalar.t array array ->
  k:Csir.Scalar.t array ->
  variant:Plompiler__.Variants.t ->
  (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 ->
  variant:Plompiler__.Variants.t ->
  (scalar repr * scalar repr * scalar repr) ->
  scalar list repr t