ZkFold.Base.Protocol.Protostar.Permutation
data ProtostarPermutation (n :: Natural) Source #
Defined in ZkFold.Base.Protocol.Protostar.Permutation
Associated Types
type MapInput f (ProtostarPermutation n) Source #
type MapMessage f (ProtostarPermutation n) Source #
Methods
algebraicMap :: ProtostarPermutation n -> MapInput f (ProtostarPermutation n) -> [MapMessage f (ProtostarPermutation n)] -> [f] -> f -> [f] Source #
type Witness f (ProtostarPermutation n) Source #
type Input f (ProtostarPermutation n) Source #
type ProverMessage f (ProtostarPermutation n) Source #
type VerifierMessage f (ProtostarPermutation n) Source #
type VerifierOutput f (ProtostarPermutation n) Source #
type Degree (ProtostarPermutation n) :: Natural Source #
outputLength :: ProtostarPermutation n -> Natural Source #
rounds :: ProtostarPermutation n -> Natural Source #
prover :: ProtostarPermutation n -> Witness f (ProtostarPermutation n) -> Input f (ProtostarPermutation n) -> SpecialSoundTranscript f (ProtostarPermutation n) -> ProverMessage f (ProtostarPermutation n) Source #
verifier :: ProtostarPermutation n -> Input f (ProtostarPermutation n) -> [ProverMessage f (ProtostarPermutation n)] -> [f] -> VerifierOutput f (ProtostarPermutation n) Source #