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

ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal

Synopsis

Documentation

data ArithmeticCircuit a Source #

Arithmetic circuit in the form of a system of polynomial constraints.

Constructors

ArithmeticCircuit 

Fields

Instances

Instances details
Arithmetic a => MonadBlueprint Natural a (State (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint

Methods

input :: State (ArithmeticCircuit a) Natural Source #

output :: Natural -> State (ArithmeticCircuit a) (ArithmeticCircuit a) Source #

runCircuit :: ArithmeticCircuit a -> State (ArithmeticCircuit a) Natural Source #

newConstrained :: NewConstraint Natural a -> Witness Natural a -> State (ArithmeticCircuit a) Natural Source #

constraint :: ClosedPoly Natural a -> State (ArithmeticCircuit a) () Source #

newAssigned :: ClosedPoly Natural a -> State (ArithmeticCircuit a) Natural Source #

(Arithmetic a, FromConstant b a) => FromConstant b (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

fromConstant :: b -> ArithmeticCircuit a Source #

(Arithmetic a, Scale c a) => Scale c (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

scale :: c -> ArithmeticCircuit a -> ArithmeticCircuit a Source #

Arithmetic a => SymbolicData a (Address (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Cardano.Types

Methods

pieces :: Address (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source #

restore :: [ArithmeticCircuit a] -> Address (ArithmeticCircuit a) Source #

typeSize :: Natural Source #

Arithmetic a => SymbolicData a (OutputRef (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Cardano.Types

Methods

pieces :: OutputRef (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source #

restore :: [ArithmeticCircuit a] -> OutputRef (ArithmeticCircuit a) Source #

typeSize :: Natural Source #

Arithmetic a => SymbolicData a (TxId (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Cardano.Types

Methods

pieces :: TxId (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source #

restore :: [ArithmeticCircuit a] -> TxId (ArithmeticCircuit a) Source #

typeSize :: Natural Source #

Arithmetic a => SymbolicData a (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

pieces :: ArithmeticCircuit a -> [ArithmeticCircuit a] Source #

restore :: [ArithmeticCircuit a] -> ArithmeticCircuit a Source #

typeSize :: Natural Source #

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

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

pieces :: Bool (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source #

restore :: [ArithmeticCircuit a] -> Bool (ArithmeticCircuit a) Source #

typeSize :: Natural Source #

Arithmetic a => SymbolicData a (UTCTime (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.UTCTime

Methods

pieces :: UTCTime (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source #

restore :: [ArithmeticCircuit a] -> UTCTime (ArithmeticCircuit a) Source #

typeSize :: Natural Source #

(Arithmetic a, SymbolicData a (UInt 256 (ArithmeticCircuit a)), FromConstant Natural (UInt 512 (ArithmeticCircuit a)), EuclideanDomain (UInt 512 (ArithmeticCircuit a)), BinaryExpansion (UInt 256 (ArithmeticCircuit a))) => EllipticCurve (Ed25519 (ArithmeticCircuit a) :: Type) Source #

Ed25519 with UInt 256 (ArithmeticCircuit a) as computational backend

Instance details

Defined in ZkFold.Symbolic.Data.Ed25519

Associated Types

type BaseField (Ed25519 (ArithmeticCircuit a)) Source #

type ScalarField (Ed25519 (ArithmeticCircuit a)) Source #

Methods

inf :: Point (Ed25519 (ArithmeticCircuit a)) Source #

gen :: Point (Ed25519 (ArithmeticCircuit a)) Source #

add :: Point (Ed25519 (ArithmeticCircuit a)) -> Point (Ed25519 (ArithmeticCircuit a)) -> Point (Ed25519 (ArithmeticCircuit a)) Source #

mul :: ScalarField (Ed25519 (ArithmeticCircuit a)) -> Point (Ed25519 (ArithmeticCircuit a)) -> Point (Ed25519 (ArithmeticCircuit a)) Source #

SymbolicData a (UInt 256 (ArithmeticCircuit a)) => SymbolicData a (Point (Ed25519 (ArithmeticCircuit a))) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.Ed25519

Methods

pieces :: Point (Ed25519 (ArithmeticCircuit a)) -> [ArithmeticCircuit a] Source #

restore :: [ArithmeticCircuit a] -> Point (Ed25519 (ArithmeticCircuit a)) Source #

typeSize :: Natural Source #

(Arithmetic a, KnownNat n) => SymbolicData a (Value n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Cardano.Types

Methods

pieces :: Value n (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source #

restore :: [ArithmeticCircuit a] -> Value n (ArithmeticCircuit a) Source #

typeSize :: Natural Source #

(Arithmetic a, KnownNat n) => SymbolicData a (ByteString n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.ByteString

Methods

pieces :: ByteString n (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source #

restore :: [ArithmeticCircuit a] -> ByteString n (ArithmeticCircuit a) Source #

typeSize :: Natural Source #

(Arithmetic a, KnownNat n) => SymbolicData a (UInt n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.UInt

Methods

pieces :: UInt n (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source #

restore :: [ArithmeticCircuit a] -> UInt n (ArithmeticCircuit a) Source #

typeSize :: Natural Source #

(Arithmetic a, KnownNat tokens) => SymbolicData a (Input tokens datum (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Cardano.Types

Methods

pieces :: Input tokens datum (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source #

restore :: [ArithmeticCircuit a] -> Input tokens datum (ArithmeticCircuit a) Source #

typeSize :: Natural Source #

(Arithmetic a, KnownNat tokens) => SymbolicData a (Output tokens datum (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Cardano.Types

Methods

pieces :: Output tokens datum (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source #

restore :: [ArithmeticCircuit a] -> Output tokens datum (ArithmeticCircuit a) Source #

typeSize :: Natural Source #

(Arithmetic a, KnownNat inputs, KnownNat rinputs, KnownNat outputs, KnownNat tokens) => SymbolicData a (Transaction inputs rinputs outputs tokens datum (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Cardano.Types

Methods

pieces :: Transaction inputs rinputs outputs tokens datum (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source #

restore :: [ArithmeticCircuit a] -> Transaction inputs rinputs outputs tokens datum (ArithmeticCircuit a) Source #

typeSize :: Natural Source #

Arithmetic a => Arbitrary (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

arbitrary :: Gen (ArithmeticCircuit a) #

shrink :: ArithmeticCircuit a -> [ArithmeticCircuit a] #

FromJSON a => FromJSON (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

parseJSON :: Value -> Parser (ArithmeticCircuit a) #

parseJSONList :: Value -> Parser [ArithmeticCircuit a] #

omittedField :: Maybe (ArithmeticCircuit a) #

ToJSON a => ToJSON (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

toJSON :: ArithmeticCircuit a -> Value #

toEncoding :: ArithmeticCircuit a -> Encoding #

toJSONList :: [ArithmeticCircuit a] -> Value #

toEncodingList :: [ArithmeticCircuit a] -> Encoding #

omitField :: ArithmeticCircuit a -> Bool #

(FiniteField a, Eq a) => Monoid (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal

Methods

mempty :: ArithmeticCircuit a #

mappend :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a #

mconcat :: [ArithmeticCircuit a] -> ArithmeticCircuit a #

Eq a => Semigroup (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal

Methods

(<>) :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a #

sconcat :: NonEmpty (ArithmeticCircuit a) -> ArithmeticCircuit a #

stimes :: Integral b => b -> ArithmeticCircuit a -> ArithmeticCircuit a #

Generic (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal

Associated Types

type Rep (ArithmeticCircuit a) :: Type -> Type #

Methods

from :: ArithmeticCircuit a -> Rep (ArithmeticCircuit a) x #

to :: Rep (ArithmeticCircuit a) x -> ArithmeticCircuit a #

(FiniteField a, Eq a, Show a) => Show (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

showsPrec :: Int -> ArithmeticCircuit a -> ShowS #

show :: ArithmeticCircuit a -> String #

showList :: [ArithmeticCircuit a] -> ShowS #

NFData a => NFData (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal

Methods

rnf :: ArithmeticCircuit a -> () #

Arithmetic a => AdditiveGroup (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

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

negate :: ArithmeticCircuit a -> ArithmeticCircuit a Source #

Arithmetic a => AdditiveMonoid (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

zero :: ArithmeticCircuit a Source #

Arithmetic a => AdditiveSemigroup (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

(+) :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a Source #

Arithmetic a => BinaryExpansion (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

binaryExpansion :: ArithmeticCircuit a -> [ArithmeticCircuit a] Source #

fromBinary :: [ArithmeticCircuit a] -> ArithmeticCircuit a Source #

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

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

equal :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a Source #

Arithmetic a => Field (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

(//) :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a Source #

finv :: ArithmeticCircuit a -> ArithmeticCircuit a Source #

rootOfUnity :: Natural -> Maybe (ArithmeticCircuit a) Source #

FiniteField a => Finite (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Associated Types

type Order (ArithmeticCircuit a) :: Natural Source #

Arithmetic a => MultiplicativeMonoid (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

one :: ArithmeticCircuit a Source #

Arithmetic a => MultiplicativeSemigroup (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

(*) :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a Source #

Arithmetic a => Ring (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Arithmetic a => Semiring (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Arithmetic a => TrichotomyField (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

trichotomy :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a Source #

Arithmetic a => Exponent (ArithmeticCircuit a) Integer Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

(^) :: ArithmeticCircuit a -> Integer -> ArithmeticCircuit a Source #

Arithmetic a => Exponent (ArithmeticCircuit a) Natural Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

(^) :: ArithmeticCircuit a -> Natural -> ArithmeticCircuit a Source #

SymbolicData a x => Hash (ArithmeticCircuit a) x Source # 
Instance details

Defined in ZkFold.Symbolic.Cardano.Contracts.BatchTransfer

Methods

hash :: x -> ArithmeticCircuit a Source #

SymbolicData a x => Conditional (Bool (ArithmeticCircuit a)) x Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

bool :: x -> x -> Bool (ArithmeticCircuit a) -> x Source #

gif :: Bool (ArithmeticCircuit a) -> x -> x -> x Source #

(?) :: Bool (ArithmeticCircuit a) -> x -> x -> x 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 #

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

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

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

(/=) :: ArithmeticCircuit a -> ArithmeticCircuit a -> Bool (ArithmeticCircuit a) Source #

SymbolicData a x => Eq (Bool (ArithmeticCircuit a)) (Structural x) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.Eq.Structural

Methods

(==) :: Structural x -> Structural x -> Bool (ArithmeticCircuit a) Source #

(/=) :: Structural x -> Structural x -> Bool (ArithmeticCircuit a) Source #

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

Defined in ZkFold.Symbolic.Data.Ord

Methods

(<=) :: ArithmeticCircuit a -> ArithmeticCircuit a -> Bool (ArithmeticCircuit a) Source #

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

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

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

max :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a Source #

min :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a Source #

SymbolicData a x => Ord (Bool (ArithmeticCircuit a)) (Lexicographical x) Source #

Every SymbolicData type can be compared lexicographically.

Instance details

Defined in ZkFold.Symbolic.Data.Ord

Methods

(<=) :: Lexicographical x -> Lexicographical x -> Bool (ArithmeticCircuit a) Source #

(<) :: Lexicographical x -> Lexicographical x -> Bool (ArithmeticCircuit a) Source #

(>=) :: Lexicographical x -> Lexicographical x -> Bool (ArithmeticCircuit a) Source #

(>) :: Lexicographical x -> Lexicographical x -> Bool (ArithmeticCircuit a) Source #

max :: Lexicographical x -> Lexicographical x -> Lexicographical x Source #

min :: Lexicographical x -> Lexicographical x -> Lexicographical x Source #

(Arithmetic a, KnownNat n) => Eq (Bool (ArithmeticCircuit a)) (UInt n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.UInt

Methods

(==) :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> Bool (ArithmeticCircuit a) Source #

(/=) :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> Bool (ArithmeticCircuit a) Source #

(Arithmetic a, KnownNat n) => Ord (Bool (ArithmeticCircuit a)) (UInt n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.UInt

Methods

(<=) :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> Bool (ArithmeticCircuit a) Source #

(<) :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> Bool (ArithmeticCircuit a) Source #

(>=) :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> Bool (ArithmeticCircuit a) Source #

(>) :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> Bool (ArithmeticCircuit a) Source #

max :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) Source #

min :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) Source #

(Arithmetic a, KnownNat n, KnownNat (NumberOfBits a), NumberOfBits a <= n) => StrictConv (ArithmeticCircuit a) (UInt n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.UInt

Methods

strictConv :: ArithmeticCircuit a -> UInt n (ArithmeticCircuit a) Source #

(Arithmetic a, KnownNat tokens) => Eq (Bool (ArithmeticCircuit a)) (Output tokens datum (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Cardano.Types

Methods

(==) :: Output tokens datum (ArithmeticCircuit a) -> Output tokens datum (ArithmeticCircuit a) -> Bool (ArithmeticCircuit a) Source #

(/=) :: Output tokens datum (ArithmeticCircuit a) -> Output tokens datum (ArithmeticCircuit a) -> Bool (ArithmeticCircuit a) Source #

(Arithmetic a, KnownNat n) => Arbitrary (UInt n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.UInt

Methods

arbitrary :: Gen (UInt n (ArithmeticCircuit a)) #

shrink :: UInt n (ArithmeticCircuit a) -> [UInt n (ArithmeticCircuit a)] #

(Arithmetic a, KnownNat n) => AdditiveGroup (UInt n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.UInt

Methods

(-) :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) Source #

negate :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) Source #

(Arithmetic a, KnownNat n) => AdditiveMonoid (UInt n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.UInt

Methods

zero :: UInt n (ArithmeticCircuit a) Source #

(Arithmetic a, KnownNat n) => AdditiveSemigroup (UInt n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.UInt

Methods

(+) :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) Source #

(Arithmetic a, KnownNat n) => EuclideanDomain (UInt n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.UInt

Methods

divMod :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> (UInt n (ArithmeticCircuit a), UInt n (ArithmeticCircuit a)) Source #

div :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) Source #

mod :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) Source #

(Arithmetic a, KnownNat n) => MultiplicativeMonoid (UInt n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.UInt

Methods

one :: UInt n (ArithmeticCircuit a) Source #

(Arithmetic a, KnownNat n) => MultiplicativeSemigroup (UInt n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.UInt

Methods

(*) :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) Source #

(Arithmetic a, KnownNat n) => Ring (UInt n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.UInt

(Arithmetic a, KnownNat n) => Semiring (UInt n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.UInt

(Arithmetic a, KnownNat n) => BoolType (ByteString n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.ByteString

Methods

true :: ByteString n (ArithmeticCircuit a) Source #

false :: ByteString n (ArithmeticCircuit a) Source #

not :: ByteString n (ArithmeticCircuit a) -> ByteString n (ArithmeticCircuit a) Source #

(&&) :: ByteString n (ArithmeticCircuit a) -> ByteString n (ArithmeticCircuit a) -> ByteString n (ArithmeticCircuit a) Source #

(||) :: ByteString n (ArithmeticCircuit a) -> ByteString n (ArithmeticCircuit a) -> ByteString n (ArithmeticCircuit a) Source #

xor :: ByteString n (ArithmeticCircuit a) -> ByteString n (ArithmeticCircuit a) -> ByteString n (ArithmeticCircuit a) Source #

(Arithmetic a, KnownNat n) => ShiftBits (ByteString n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.ByteString

Methods

shiftBits :: ByteString n (ArithmeticCircuit a) -> Integer -> ByteString n (ArithmeticCircuit a) Source #

shiftBitsL :: ByteString n (ArithmeticCircuit a) -> Natural -> ByteString n (ArithmeticCircuit a) Source #

shiftBitsR :: ByteString n (ArithmeticCircuit a) -> Natural -> ByteString n (ArithmeticCircuit a) Source #

rotateBits :: ByteString n (ArithmeticCircuit a) -> Integer -> ByteString n (ArithmeticCircuit a) Source #

rotateBitsL :: ByteString n (ArithmeticCircuit a) -> Natural -> ByteString n (ArithmeticCircuit a) Source #

rotateBitsR :: ByteString n (ArithmeticCircuit a) -> Natural -> ByteString n (ArithmeticCircuit a) Source #

(Arithmetic a, KnownNat n) => StrictNum (UInt n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.UInt

Methods

strictAdd :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) Source #

strictSub :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) Source #

strictMul :: UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) Source #

Mod n m ~ 0 => Concat (ByteString m (ArithmeticCircuit a)) (ByteString n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.ByteString

Methods

concat :: [ByteString m (ArithmeticCircuit a)] -> ByteString n (ArithmeticCircuit a) Source #

(KnownNat wordSize, 1 <= wordSize, 1 <= n, Mod n wordSize ~ 0) => ToWords (ByteString n (ArithmeticCircuit a)) (ByteString wordSize (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.ByteString

Methods

toWords :: ByteString n (ArithmeticCircuit a) -> [ByteString wordSize (ArithmeticCircuit a)] Source #

(KnownNat n, n <= m) => Truncate (ByteString m (ArithmeticCircuit a)) (ByteString n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.ByteString

Methods

truncate :: ByteString m (ArithmeticCircuit a) -> ByteString n (ArithmeticCircuit a) Source #

(KnownNat m, KnownNat n, m <= n, Arithmetic a) => Extend (ByteString m (ArithmeticCircuit a)) (ByteString n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.ByteString

Methods

extend :: ByteString m (ArithmeticCircuit a) -> ByteString n (ArithmeticCircuit a) Source #

(Arithmetic a, KnownNat n, KnownNat m, n <= m) => Extend (UInt n (ArithmeticCircuit a)) (UInt m (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.UInt

Methods

extend :: UInt n (ArithmeticCircuit a) -> UInt m (ArithmeticCircuit a) Source #

(Arithmetic a, KnownNat n) => Iso (ByteString n (ArithmeticCircuit a)) (UInt n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.ByteString

Methods

from :: ByteString n (ArithmeticCircuit a) -> UInt n (ArithmeticCircuit a) Source #

(Arithmetic a, KnownNat n) => Iso (UInt n (ArithmeticCircuit a)) (ByteString n (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.ByteString

Methods

from :: UInt n (ArithmeticCircuit a) -> ByteString n (ArithmeticCircuit a) Source #

(Arithmetic a, KnownNat n, KnownNat k, k <= n) => Shrink (UInt n (ArithmeticCircuit a)) (UInt k (ArithmeticCircuit a)) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.UInt

Methods

shrink :: UInt n (ArithmeticCircuit a) -> UInt k (ArithmeticCircuit a) Source #

type BaseField (Ed25519 (ArithmeticCircuit a) :: Type) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.Ed25519

type BaseField (Ed25519 (ArithmeticCircuit a) :: Type) = UInt 256 (ArithmeticCircuit a)
type ScalarField (Ed25519 (ArithmeticCircuit a) :: Type) Source # 
Instance details

Defined in ZkFold.Symbolic.Data.Ed25519

type ScalarField (Ed25519 (ArithmeticCircuit a) :: Type) = UInt 256 (ArithmeticCircuit a)
type Rep (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal

type Rep (ArithmeticCircuit a) = D1 ('MetaData "ArithmeticCircuit" "ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal" "zkfold-base-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ArithmeticCircuit" 'PrefixI 'True) ((S1 ('MetaSel ('Just "acSystem") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Natural (Constraint a))) :*: (S1 ('MetaSel ('Just "acInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Natural]) :*: S1 ('MetaSel ('Just "acWitness") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Natural a -> Map Natural a)))) :*: (S1 ('MetaSel ('Just "acOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: (S1 ('MetaSel ('Just "acVarOrder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Natural, Natural) Natural)) :*: S1 ('MetaSel ('Just "acRNG") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StdGen)))))
type Order (ArithmeticCircuit a) Source # 
Instance details

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

type Order (ArithmeticCircuit a) = Order a

type Arithmetic a = (FiniteField a, Eq a, BinaryExpansion a) Source #

type ConstraintMonomial = Monomial' Source #

type Constraint c = Polynomial' c Source #

The type that represents a constraint in the arithmetic circuit.

constraint :: Arithmetic a => Constraint a -> State (ArithmeticCircuit a) () Source #

Adds a constraint to the arithmetic circuit.

assignment :: (Map Natural a -> a) -> State (ArithmeticCircuit a) () Source #

Adds a new variable assignment to the arithmetic circuit. TODO: forbid reassignment of variables

addVariable :: Natural -> State (ArithmeticCircuit a) Natural Source #

newVariableWithSource :: Arithmetic a => [Natural] -> (Natural -> Constraint a) -> State (ArithmeticCircuit a) Natural Source #

input :: forall a. State (ArithmeticCircuit a) (ArithmeticCircuit a) Source #

Adds a new input variable to the arithmetic circuit. Returns a copy of the arithmetic circuit with this variable as output.

eval :: ArithmeticCircuit a -> Map Natural a -> a Source #

Evaluates the arithmetic circuit using the supplied input map.

apply :: [a] -> State (ArithmeticCircuit a) () Source #

Applies the values of the first n inputs to the arithmetic circuit. TODO: make this safe

forceZero :: forall a. Arithmetic a => State (ArithmeticCircuit a) () Source #

Forces the current variable to be zero.