Safe Haskell	None
Language	Haskell2010

Bulletproofs.Fq

Synopsis

newtype Fq = Fq Integer
new :: Integer -> Fq
inv :: Fq -> Fq
fqInv :: Fq -> Fq
fqZero :: Fq
fqOne :: Fq
fqSquare :: Fq -> Fq
fqCube :: Fq -> Fq
fqSubV :: [Fq] -> [Fq] -> [Fq]
fqAddV :: [Fq] -> [Fq] -> [Fq]
euclidean :: Integral a => a -> a -> a
random :: MonadRandom m => Integer -> m Fq

Documentation

newtype Fq Source #

Prime field with characteristic _q

Constructors

Fq Integer

Use new instead of this constructor

Instances

Eq Fq Source #
Instance details Defined in Bulletproofs.Fq Methods (==) :: Fq -> Fq -> Bool # (/=) :: Fq -> Fq -> Bool #
Fractional Fq Source #
Instance details Defined in Bulletproofs.Fq Methods (/) :: Fq -> Fq -> Fq # recip :: Fq -> Fq # fromRational :: Rational -> Fq #
Num Fq Source #
Instance details Defined in Bulletproofs.Fq Methods (+) :: Fq -> Fq -> Fq # (-) :: Fq -> Fq -> Fq # (*) :: Fq -> Fq -> Fq # negate :: Fq -> Fq # abs :: Fq -> Fq # signum :: Fq -> Fq # fromInteger :: Integer -> Fq #
Ord Fq Source #
Instance details Defined in Bulletproofs.Fq Methods compare :: Fq -> Fq -> Ordering # (<) :: Fq -> Fq -> Bool # (<=) :: Fq -> Fq -> Bool # (>) :: Fq -> Fq -> Bool # (>=) :: Fq -> Fq -> Bool # max :: Fq -> Fq -> Fq # min :: Fq -> Fq -> Fq #
Show Fq Source #
Instance details Defined in Bulletproofs.Fq Methods showsPrec :: Int -> Fq -> ShowS # show :: Fq -> String # showList :: [Fq] -> ShowS #
Bits Fq Source #
Instance details Defined in Bulletproofs.Fq Methods (.&.) :: Fq -> Fq -> Fq # (.\|.) :: Fq -> Fq -> Fq # xor :: Fq -> Fq -> Fq # complement :: Fq -> Fq # shift :: Fq -> Int -> Fq # rotate :: Fq -> Int -> Fq # zeroBits :: Fq # bit :: Int -> Fq # setBit :: Fq -> Int -> Fq # clearBit :: Fq -> Int -> Fq # complementBit :: Fq -> Int -> Fq # testBit :: Fq -> Int -> Bool # bitSizeMaybe :: Fq -> Maybe Int # bitSize :: Fq -> Int # isSigned :: Fq -> Bool # shiftL :: Fq -> Int -> Fq # unsafeShiftL :: Fq -> Int -> Fq # shiftR :: Fq -> Int -> Fq # unsafeShiftR :: Fq -> Int -> Fq # rotateL :: Fq -> Int -> Fq # rotateR :: Fq -> Int -> Fq # popCount :: Fq -> Int #

new :: Integer -> Fq Source #

Turn an integer into an Fq number, should be used instead of the Fq constructor.

inv :: Fq -> Fq Source #

fqInv :: Fq -> Fq Source #

Multiplicative inverse

fqZero :: Fq Source #

Additive identity

fqOne :: Fq Source #

Multiplicative identity

fqSquare :: Fq -> Fq Source #

fqCube :: Fq -> Fq Source #

fqSubV :: [Fq] -> [Fq] -> [Fq] Source #

fqAddV :: [Fq] -> [Fq] -> [Fq] Source #

euclidean :: Integral a => a -> a -> a Source #

Euclidean algorithm to compute inverse in an integral domain a

random :: MonadRandom m => Integer -> m Fq Source #