ZkFold.Base.Protocol.IVC.Predicate

Documentation

type PredicateCircuit a i p = ArithmeticCircuit a (i :*: p) i U1

data Predicate a i p

Constructors

Predicate

Fields

• predicateEval :: i a -> p a -> i a
• predicateCircuit :: PredicateCircuit a i p

type PredicateAssumptions a i p = (Arithmetic a, Binary a, LayoutFunctor i, LayoutFunctor p)

predicate :: forall a i p. PredicateAssumptions a i p => StepFunction a i p -> Predicate a i p