symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols
Safe HaskellSafe-Inferred
LanguageHaskell2010

ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash

Documentation

newtype MerkleHash (n :: Maybe Natural) Source #

Constructors

M 

Fields

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 #