ZkFold.Base.Protocol.ARK.Protostar.Permutation
data ProtostarPermutation (n :: Natural) Source #
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 #