symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols

Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Protocol.IVC.Predicate

Documentation

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

data Predicate a i p Source #

Constructors

Predicate
Fields predicateEval :: i a -> p a -> i a predicateCircuit :: PredicateCircuit a i p

type PredicateAssumptions a i p = (Arithmetic a, Binary a, FunctorAssumptions i, FunctorAssumptions p) Source #

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