Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Protocol.ARK.Protostar.Permutation

Documentation

data ProtostarPermutation (n :: Natural) Source #

Instances

Instances details

Arithmetic f => SpecialSoundProtocol f (ProtostarPermutation n) Source #
Instance details Defined in ZkFold.Base.Protocol.ARK.Protostar.Permutation Associated Types type Witness f (ProtostarPermutation n) Source # type Input f (ProtostarPermutation n) Source # type ProverMessage t (ProtostarPermutation n) Source # type VerifierMessage t (ProtostarPermutation n) Source # type Dimension (ProtostarPermutation n) :: Natural Source # type Degree (ProtostarPermutation n) :: Natural Source # Methods 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) -> SpecialSoundTranscript Natural (ProtostarPermutation n) -> Vector (Dimension (ProtostarPermutation n)) (Polynomial' f) Source # verifier :: ProtostarPermutation n -> Input f (ProtostarPermutation n) -> SpecialSoundTranscript f (ProtostarPermutation n) -> Bool Source #
type Input f (ProtostarPermutation n) Source #
Instance details Defined in ZkFold.Base.Protocol.ARK.Protostar.Permutation type Input f (ProtostarPermutation n) = Permutation n
type ProverMessage t (ProtostarPermutation n) Source #
Instance details Defined in ZkFold.Base.Protocol.ARK.Protostar.Permutation type ProverMessage t (ProtostarPermutation n) = Vector n t
type VerifierMessage t (ProtostarPermutation n) Source #
Instance details Defined in ZkFold.Base.Protocol.ARK.Protostar.Permutation type VerifierMessage t (ProtostarPermutation n) = ()
type Witness f (ProtostarPermutation n) Source #
Instance details Defined in ZkFold.Base.Protocol.ARK.Protostar.Permutation type Witness f (ProtostarPermutation n) = Vector n f
type Degree (ProtostarPermutation n) Source #
Instance details Defined in ZkFold.Base.Protocol.ARK.Protostar.Permutation type Degree (ProtostarPermutation n) = 1
type Dimension (ProtostarPermutation n) Source #
Instance details Defined in ZkFold.Base.Protocol.ARK.Protostar.Permutation type Dimension (ProtostarPermutation n) = n