ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Documentation

type IsWitness a w = (Scale a w, FromConstant a w, ResidueField w)

newtype WitnessF a v

Constructors

WitnessF

Fields

• runWitnessF :: forall w. IsWitness a w => (v -> w) -> w

Instances

FromConstant Integer (WitnessF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

fromConstant :: Integer -> WitnessF a v

FromConstant Natural (WitnessF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

fromConstant :: Natural -> WitnessF a v

FromConstant a (WitnessF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

fromConstant :: a -> WitnessF a v

Scale Integer (WitnessF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

scale :: Integer -> WitnessF a v -> WitnessF a v

Scale Natural (WitnessF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

scale :: Natural -> WitnessF a v -> WitnessF a v

Scale a (WitnessF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

scale :: a -> WitnessF a v -> WitnessF a v

Applicative (WitnessF a)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

pure :: a0 -> WitnessF a a0

(<*>) :: WitnessF a (a0 -> b) -> WitnessF a a0 -> WitnessF a b

liftA2 :: (a0 -> b -> c) -> WitnessF a a0 -> WitnessF a b -> WitnessF a c

(*>) :: WitnessF a a0 -> WitnessF a b -> WitnessF a b

(<*) :: WitnessF a a0 -> WitnessF a b -> WitnessF a a0

Functor (WitnessF a)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

fmap :: (a0 -> b) -> WitnessF a a0 -> WitnessF a b

(<$) :: a0 -> WitnessF a b -> WitnessF a a0

Monad (WitnessF a)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

(>>=) :: WitnessF a a0 -> (a0 -> WitnessF a b) -> WitnessF a b

(>>) :: WitnessF a a0 -> WitnessF a b -> WitnessF a b

return :: a0 -> WitnessF a a0

NFData (WitnessF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

rnf :: WitnessF a v -> ()

AdditiveGroup (WitnessF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

(-) :: WitnessF a v -> WitnessF a v -> WitnessF a v

negate :: WitnessF a v -> WitnessF a v

AdditiveMonoid (WitnessF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

zero :: WitnessF a v

AdditiveSemigroup (WitnessF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

(+) :: WitnessF a v -> WitnessF a v -> WitnessF a v

Field (WitnessF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

(//) :: WitnessF a v -> WitnessF a v -> WitnessF a v

finv :: WitnessF a v -> WitnessF a v

rootOfUnity :: Natural -> Maybe (WitnessF a v)

Finite a => Finite (WitnessF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Associated Types

type Order (WitnessF a v) :: Natural

MultiplicativeMonoid (WitnessF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

one :: WitnessF a v

MultiplicativeSemigroup (WitnessF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

(*) :: WitnessF a v -> WitnessF a v -> WitnessF a v

Ring (WitnessF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Semiring (WitnessF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Finite a => ResidueField (WitnessF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Associated Types

type IntegralOf (WitnessF a v)

Methods

fromIntegral :: IntegralOf (WitnessF a v) -> WitnessF a v

toIntegral :: WitnessF a v -> IntegralOf (WitnessF a v)

Exponent (WitnessF a v) Integer

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

(^) :: WitnessF a v -> Integer -> WitnessF a v

Exponent (WitnessF a v) Natural

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

(^) :: WitnessF a v -> Natural -> WitnessF a v

type Order (WitnessF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

type Order (WitnessF a v) = Order a

type IntegralOf (WitnessF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

type IntegralOf (WitnessF a v) = EuclideanF a v

newtype EuclideanF a v

Constructors

EuclideanF

Fields

• euclideanF :: forall w. IsWitness a w => (v -> w) -> IntegralOf w

Instances

FromConstant Integer (EuclideanF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

fromConstant :: Integer -> EuclideanF a v

FromConstant Natural (EuclideanF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

fromConstant :: Natural -> EuclideanF a v

Scale Integer (EuclideanF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

scale :: Integer -> EuclideanF a v -> EuclideanF a v

Scale Natural (EuclideanF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

scale :: Natural -> EuclideanF a v -> EuclideanF a v

AdditiveGroup (EuclideanF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

(-) :: EuclideanF a v -> EuclideanF a v -> EuclideanF a v

negate :: EuclideanF a v -> EuclideanF a v

AdditiveMonoid (EuclideanF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

zero :: EuclideanF a v

AdditiveSemigroup (EuclideanF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

(+) :: EuclideanF a v -> EuclideanF a v -> EuclideanF a v

Euclidean (EuclideanF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

eea :: EuclideanF a v -> EuclideanF a v -> (EuclideanF a v, EuclideanF a v, EuclideanF a v)

gcd :: EuclideanF a v -> EuclideanF a v -> EuclideanF a v

bezoutL :: EuclideanF a v -> EuclideanF a v -> EuclideanF a v

bezoutR :: EuclideanF a v -> EuclideanF a v -> EuclideanF a v

MultiplicativeMonoid (EuclideanF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

one :: EuclideanF a v

MultiplicativeSemigroup (EuclideanF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

(*) :: EuclideanF a v -> EuclideanF a v -> EuclideanF a v

Ring (EuclideanF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

SemiEuclidean (EuclideanF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

divMod :: EuclideanF a v -> EuclideanF a v -> (EuclideanF a v, EuclideanF a v)

div :: EuclideanF a v -> EuclideanF a v -> EuclideanF a v

mod :: EuclideanF a v -> EuclideanF a v -> EuclideanF a v

Semiring (EuclideanF a v)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Exponent (EuclideanF a v) Natural

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Methods

(^) :: EuclideanF a v -> Natural -> EuclideanF a v