Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Protocol.Protostar.ArithmeticCircuit

Contents

Orphan instances

Synopsis

padDecomposition :: forall f d. KnownNat d => MultiplicativeSemigroup f => Exponent f Natural => AdditiveMonoid f => f -> Vector d [f] -> [f]
degreeDecomposition :: forall n f v. KnownNat (n + 1) => [Poly f v Natural] -> Vector (n + 1) [Poly f v Natural]
deg :: Mono v Natural -> Natural

Documentation

padDecomposition :: forall f d. KnownNat d => MultiplicativeSemigroup f => Exponent f Natural => AdditiveMonoid f => f -> Vector d [f] -> [f] Source #

degreeDecomposition :: forall n f v. KnownNat (n + 1) => [Poly f v Natural] -> Vector (n + 1) [Poly f v Natural] Source #

Decomposes an algebraic map into homogenous degree-j maps for j from 0 to n

deg :: Mono v Natural -> Natural Source #

Orphan instances

(Arithmetic a, Scale a f, MultiplicativeMonoid f, Exponent f Natural, AdditiveMonoid f) => AlgebraicMap f (ArithmeticCircuit a (Vector n) o) Source #
Instance details Associated Types type MapInput f (ArithmeticCircuit a (Vector n) o) Source # type MapMessage f (ArithmeticCircuit a (Vector n) o) Source # Methods algebraicMap :: ArithmeticCircuit a (Vector n) o -> MapInput f (ArithmeticCircuit a (Vector n) o) -> [MapMessage f (ArithmeticCircuit a (Vector n) o)] -> [f] -> f -> [f] Source #
(Arithmetic a, Symbolic ctx, FromConstant a (BaseField ctx), Scale a (BaseField ctx)) => SpecialSoundProtocol (FieldElement ctx) (ArithmeticCircuit a (Vector n) o) Source #
Instance details Associated Types type Witness (FieldElement ctx) (ArithmeticCircuit a (Vector n) o) Source # type Input (FieldElement ctx) (ArithmeticCircuit a (Vector n) o) Source # type ProverMessage (FieldElement ctx) (ArithmeticCircuit a (Vector n) o) Source # type VerifierMessage (FieldElement ctx) (ArithmeticCircuit a (Vector n) o) Source # type VerifierOutput (FieldElement ctx) (ArithmeticCircuit a (Vector n) o) Source # type Degree (ArithmeticCircuit a (Vector n) o) :: Natural Source # Methods outputLength :: ArithmeticCircuit a (Vector n) o -> Natural Source # rounds :: ArithmeticCircuit a (Vector n) o -> Natural Source # prover :: ArithmeticCircuit a (Vector n) o -> Witness (FieldElement ctx) (ArithmeticCircuit a (Vector n) o) -> Input (FieldElement ctx) (ArithmeticCircuit a (Vector n) o) -> SpecialSoundTranscript (FieldElement ctx) (ArithmeticCircuit a (Vector n) o) -> ProverMessage (FieldElement ctx) (ArithmeticCircuit a (Vector n) o) Source # verifier :: ArithmeticCircuit a (Vector n) o -> Input (FieldElement ctx) (ArithmeticCircuit a (Vector n) o) -> [ProverMessage (FieldElement ctx) (ArithmeticCircuit a (Vector n) o)] -> [FieldElement ctx] -> VerifierOutput (FieldElement ctx) (ArithmeticCircuit a (Vector n) o) Source #