Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash

Documentation

newtype MerkleHash (n :: Maybe Natural) Source #

Constructors

M
Fields runHash :: ByteString

Instances

Instances details

Binary a => FromConstant a (MerkleHash n) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash Methods fromConstant :: a -> MerkleHash n Source #
Binary a => Scale a (MerkleHash n) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash Methods scale :: a -> MerkleHash n -> MerkleHash n Source #
Binary (MerkleHash n) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash Methods put :: MerkleHash n -> Put # get :: Get (MerkleHash n) # putList :: [MerkleHash n] -> Put #
AdditiveGroup (MerkleHash n) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash Methods (-) :: MerkleHash n -> MerkleHash n -> MerkleHash n Source # negate :: MerkleHash n -> MerkleHash n Source #
AdditiveMonoid (MerkleHash n) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash Methods zero :: MerkleHash n Source #
AdditiveSemigroup (MerkleHash n) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash Methods (+) :: MerkleHash n -> MerkleHash n -> MerkleHash n Source #
Euclidean (MerkleHash ('Nothing :: Maybe Natural)) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash Methods eea :: MerkleHash 'Nothing -> MerkleHash 'Nothing -> (MerkleHash 'Nothing, MerkleHash 'Nothing, MerkleHash 'Nothing) Source # gcd :: MerkleHash 'Nothing -> MerkleHash 'Nothing -> MerkleHash 'Nothing Source # bezoutL :: MerkleHash 'Nothing -> MerkleHash 'Nothing -> MerkleHash 'Nothing Source # bezoutR :: MerkleHash 'Nothing -> MerkleHash 'Nothing -> MerkleHash 'Nothing Source #
Field (MerkleHash ('Just n)) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash Methods (//) :: MerkleHash ('Just n) -> MerkleHash ('Just n) -> MerkleHash ('Just n) Source # finv :: MerkleHash ('Just n) -> MerkleHash ('Just n) Source # rootOfUnity :: Natural -> Maybe (MerkleHash ('Just n)) Source #
Finite (Zp n) => Finite (MerkleHash ('Just n)) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash Associated Types type Order (MerkleHash ('Just n)) :: Natural Source #
MultiplicativeMonoid (MerkleHash n) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash Methods one :: MerkleHash n Source #
MultiplicativeSemigroup (MerkleHash n) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash Methods (*) :: MerkleHash n -> MerkleHash n -> MerkleHash n Source #
Ring (MerkleHash n) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash
SemiEuclidean (MerkleHash ('Nothing :: Maybe Natural)) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash Methods divMod :: MerkleHash 'Nothing -> MerkleHash 'Nothing -> (MerkleHash 'Nothing, MerkleHash 'Nothing) Source # div :: MerkleHash 'Nothing -> MerkleHash 'Nothing -> MerkleHash 'Nothing Source # mod :: MerkleHash 'Nothing -> MerkleHash 'Nothing -> MerkleHash 'Nothing Source #
Semiring (MerkleHash n) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash
Finite (Zp n) => ResidueField (MerkleHash ('Just n)) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash Associated Types type IntegralOf (MerkleHash ('Just n)) Source # Methods fromIntegral :: IntegralOf (MerkleHash ('Just n)) -> MerkleHash ('Just n) Source # toIntegral :: MerkleHash ('Just n) -> IntegralOf (MerkleHash ('Just n)) Source #
Exponent (MerkleHash n) Integer Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash Methods (^) :: MerkleHash n -> Integer -> MerkleHash n Source #
Exponent (MerkleHash n) Natural Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash Methods (^) :: MerkleHash n -> Natural -> MerkleHash n Source #
FromConstant (MerkleHash n) (MerkleHash n) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash Methods fromConstant :: MerkleHash n -> MerkleHash n Source #
Scale (MerkleHash n) (MerkleHash n) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash Methods scale :: MerkleHash n -> MerkleHash n -> MerkleHash n Source #
type Order (MerkleHash ('Just n)) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash type Order (MerkleHash ('Just n)) = n
type IntegralOf (MerkleHash ('Just n)) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash type IntegralOf (MerkleHash ('Just n)) = MerkleHash ('Nothing :: Maybe Natural)

data Prec Source #

Constructors

Add
Mul
Div
Mod
Gcd
BezoutL
BezoutR
Exp
Const

Instances

Instances details

Generic Prec Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash Associated Types type Rep Prec :: Type -> Type # Methods from :: Prec -> Rep Prec x # to :: Rep Prec x -> Prec #
Binary Prec Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash Methods put :: Prec -> Put # get :: Get Prec # putList :: [Prec] -> Put #
type Rep Prec Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash type Rep Prec = D1 ('MetaData "Prec" "ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash" "symbolic-base-0.1.0.0-inplace" 'False) (((C1 ('MetaCons "Add" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mul" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Div" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mod" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Gcd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BezoutL" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BezoutR" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Exp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Const" 'PrefixI 'False) (U1 :: Type -> Type)))))

merkleHash :: Binary a => a -> MerkleHash n Source #