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

ZkFold.Symbolic.Data.DiscreteField

Documentation

class (BoolType b, Field a) => DiscreteField b a where Source #

Methods

isZero :: a -> b Source #

Instances

Instances details
(Field a, Eq a) => DiscreteField Bool a Source # 
Instance details

Defined in ZkFold.Symbolic.Data.DiscreteField

Methods

isZero :: a -> Bool Source #

(Prime p, Field x, Eq x) => DiscreteField (Bool (Zp p)) x Source # 
Instance details

Defined in ZkFold.Symbolic.Data.DiscreteField

Methods

isZero :: x -> Bool (Zp p) Source #

Arithmetic a => DiscreteField (Bool (ArithmeticCircuit a)) (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

isZero :: ArithmeticCircuit a -> Bool (ArithmeticCircuit a) Source #