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

ZkFold.Base.Protocol.Protostar.ArithmeticCircuit

Synopsis

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

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