Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Protocol.ARK.Protostar.Gate

Documentation

data ProtostarGate (m :: Natural) (n :: Natural) (c :: Natural) (d :: Natural) Source #

Instances

Instances details

(Arithmetic f, KnownNat m, KnownNat n, KnownNat c) => SpecialSoundProtocol f (ProtostarGate m n c d) Source #
Instance details Defined in ZkFold.Base.Protocol.ARK.Protostar.Gate Associated Types type Witness f (ProtostarGate m n c d) Source # type Input f (ProtostarGate m n c d) Source # type ProverMessage t (ProtostarGate m n c d) Source # type VerifierMessage t (ProtostarGate m n c d) Source # type Dimension (ProtostarGate m n c d) :: Natural Source # type Degree (ProtostarGate m n c d) :: Natural Source # Methods rounds :: ProtostarGate m n c d -> Natural Source # prover :: ProtostarGate m n c d -> Witness f (ProtostarGate m n c d) -> Input f (ProtostarGate m n c d) -> SpecialSoundTranscript f (ProtostarGate m n c d) -> ProverMessage f (ProtostarGate m n c d) Source # verifier' :: ProtostarGate m n c d -> Input f (ProtostarGate m n c d) -> SpecialSoundTranscript Natural (ProtostarGate m n c d) -> Vector (Dimension (ProtostarGate m n c d)) (Polynomial' f) Source # verifier :: ProtostarGate m n c d -> Input f (ProtostarGate m n c d) -> SpecialSoundTranscript f (ProtostarGate m n c d) -> Bool Source #
type Input f (ProtostarGate m n c d) Source #
Instance details Defined in ZkFold.Base.Protocol.ARK.Protostar.Gate type Input f (ProtostarGate m n c d) = (Matrix m n f, Vector m (PolynomialProtostar f c d))
type ProverMessage t (ProtostarGate m n c d) Source #
Instance details Defined in ZkFold.Base.Protocol.ARK.Protostar.Gate type ProverMessage t (ProtostarGate m n c d) = Vector n (Vector c t)
type VerifierMessage t (ProtostarGate m n c d) Source #
Instance details Defined in ZkFold.Base.Protocol.ARK.Protostar.Gate type VerifierMessage t (ProtostarGate m n c d) = ()
type Witness f (ProtostarGate m n c d) Source #
Instance details Defined in ZkFold.Base.Protocol.ARK.Protostar.Gate type Witness f (ProtostarGate m n c d) = Vector n (Vector c f)
type Degree (ProtostarGate m n c d) Source #
Instance details Defined in ZkFold.Base.Protocol.ARK.Protostar.Gate type Degree (ProtostarGate m n c d) = d
type Dimension (ProtostarGate m n c d) Source #
Instance details Defined in ZkFold.Base.Protocol.ARK.Protostar.Gate type Dimension (ProtostarGate m n c d) = n