| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ZkFold.Base.Protocol.IVC.AlgebraicMap
Synopsis
- algebraicMap :: forall d k a i p f. (KnownNat (d + 1), Representable i, Ring f, Scale a f) => Predicate a i p -> i f -> Vector k [f] -> Vector (k - 1) f -> f -> [f]
Documentation
algebraicMap :: forall d k a i p f. (KnownNat (d + 1), Representable i, Ring f, Scale a f) => Predicate a i p -> i f -> Vector k [f] -> Vector (k - 1) f -> f -> [f] Source #
Algebraic map of a.
It calculates a system of equations defining a in some way.
The inputs are polymorphic in a ring element f.
The main application is to define the verifier's algebraic map in the NARK protocol.