stdlib - 0.12.0

Stdlib.Cairo.Pedersen

Description

Definitions

module ConstantPointsSource#

P0 : Ec.PointSource#

P1 : Ec.PointSource#

P2 : Ec.PointSource#

pedersenHashToCurve (x y : Field) : Ec.PointSource#