ZkFold.Base.Protocol.IVC.StepFunction

Documentation

type StepFunctionAssumptions a f ctx = (Symbolic ctx, BaseField ctx ~ a, FieldElement ctx ~ f)

type StepFunction a i p = forall f ctx. StepFunctionAssumptions a f ctx => i f -> p f -> i f