Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Protocol.Protostar.Permutation

Documentation

data ProtostarPermutation (n :: Natural) Source #

Instances

Instances details

(Arithmetic f, KnownNat n) => AlgebraicMap f (ProtostarPermutation n) Source #
Instance details 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 #
(Arithmetic f, KnownNat n) => SpecialSoundProtocol f (ProtostarPermutation n) Source #
Instance details Defined in ZkFold.Base.Protocol.Protostar.Permutation Associated Types 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 # Methods 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 #
type Input f (ProtostarPermutation n) Source #
Instance details Defined in ZkFold.Base.Protocol.Protostar.Permutation type Input f (ProtostarPermutation n) = Permutation n
type MapInput f (ProtostarPermutation n) Source #
Instance details Defined in ZkFold.Base.Protocol.Protostar.Permutation type MapInput f (ProtostarPermutation n) = Permutation n
type MapMessage f (ProtostarPermutation n) Source #
Instance details Defined in ZkFold.Base.Protocol.Protostar.Permutation type MapMessage f (ProtostarPermutation n) = Vector n f
type ProverMessage f (ProtostarPermutation n) Source #
Instance details Defined in ZkFold.Base.Protocol.Protostar.Permutation type ProverMessage f (ProtostarPermutation n) = Vector n f
type VerifierMessage f (ProtostarPermutation n) Source #
Instance details Defined in ZkFold.Base.Protocol.Protostar.Permutation type VerifierMessage f (ProtostarPermutation n) = ()
type VerifierOutput f (ProtostarPermutation n) Source #
Instance details Defined in ZkFold.Base.Protocol.Protostar.Permutation type VerifierOutput f (ProtostarPermutation n) = Bool
type Witness f (ProtostarPermutation n) Source #
Instance details Defined in ZkFold.Base.Protocol.Protostar.Permutation type Witness f (ProtostarPermutation n) = Vector n f
type Degree (ProtostarPermutation n) Source #
Instance details Defined in ZkFold.Base.Protocol.Protostar.Permutation type Degree (ProtostarPermutation n) = 1