Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type F = ScalarField BLS12_381_G1 Source #
type G1 = Point BLS12_381_G1 Source #
type G2 = Point BLS12_381_G2 Source #
addPublicInput :: Natural -> F -> [Polynomial' F] -> [Polynomial' F] Source #
removeConstantVariable :: (Eq c, Field c, Scale c c, FromConstant c c) => Polynomial' c -> Polynomial' c Source #