Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Protocol.Protostar.ArithmetizableFunction

Documentation

Constructors

ArithmetizableFunction
Fields afEval :: i a -> p a -> i a afCircuit :: ArithmeticCircuit a (i :*: p) i U1

Instances details

(Arithmetic a, Representable i, Representable p, KnownNat (d + 1)) => SpecialSoundProtocol a i p [a] (c :: k) (d :: Natural) 1 (ArithmetizableFunction a i p) Source #
Instance details Defined in ZkFold.Base.Protocol.Protostar.SpecialSound Associated Types type VerifierOutput a i p [a] c d 1 (ArithmetizableFunction a i p) Source # Methods input :: ArithmetizableFunction a i p -> i a -> p a -> i a Source # prover :: ArithmetizableFunction a i p -> i a -> p a -> a -> Natural -> [a] Source # verifier :: ArithmetizableFunction a i p -> i a -> Vector 1 [a] -> Vector (1 - 1) a -> VerifierOutput a i p [a] c d 1 (ArithmetizableFunction a i p) Source #
(Ring f, Representable i, KnownNat (d + 1), Arithmetic a, Scale a f) => AlgebraicMap f i d (ArithmetizableFunction a i p) Source #
Instance details Defined in ZkFold.Base.Protocol.Protostar.AlgebraicMap Methods algebraicMap :: forall (k :: Natural). ArithmetizableFunction a i p -> i f -> Vector k [f] -> Vector (k - 1) f -> f -> [f] Source #
type VerifierOutput a i p [a] (c :: k) (d :: Natural) 1 (ArithmetizableFunction a i p) Source #
Instance details Defined in ZkFold.Base.Protocol.Protostar.SpecialSound type VerifierOutput a i p [a] (c :: k) (d :: Natural) 1 (ArithmetizableFunction a i p) = [a]