ZkFold.Base.Protocol.Plonkup

Documentation

module ZkFold.Base.Protocol.Plonkup.Internal

data Plonkup p (i :: Natural) (n :: Natural) (l :: Natural) curve1 curve2 transcript

Constructors

Plonkup

Fields

• omega :: ScalarField curve1
• k1 :: ScalarField curve1
• k2 :: ScalarField curve1
• ac :: ArithmeticCircuit (ScalarField curve1) p (Vector i) (Vector l)
• x :: ScalarField curve1

Instances

(KnownNat i, KnownNat n, KnownNat l, Representable p, Ord (BaseField c1), AdditiveGroup (BaseField c1), Pairing c1 c2, Arithmetic (ScalarField c1), ToTranscript ts Word8, ToTranscript ts (ScalarField c1), ToTranscript ts (PointCompressed c1), FromTranscript ts (ScalarField c1), CoreFunction c1 core) => NonInteractiveProof (Plonkup p i n l c1 c2 ts) (core :: k3)

Based on the paper https://eprint.iacr.org/2022/086.pdf

Defined in ZkFold.Base.Protocol.Plonkup

Associated Types

type Transcript (Plonkup p i n l c1 c2 ts)

type SetupProve (Plonkup p i n l c1 c2 ts)

type SetupVerify (Plonkup p i n l c1 c2 ts)

type Witness (Plonkup p i n l c1 c2 ts)

type Input (Plonkup p i n l c1 c2 ts)

type Proof (Plonkup p i n l c1 c2 ts)

Methods

setupProve :: Plonkup p i n l c1 c2 ts -> SetupProve (Plonkup p i n l c1 c2 ts)

setupVerify :: Plonkup p i n l c1 c2 ts -> SetupVerify (Plonkup p i n l c1 c2 ts)

prove :: SetupProve (Plonkup p i n l c1 c2 ts) -> Witness (Plonkup p i n l c1 c2 ts) -> (Input (Plonkup p i n l c1 c2 ts), Proof (Plonkup p i n l c1 c2 ts))

verify :: SetupVerify (Plonkup p i n l c1 c2 ts) -> Input (Plonkup p i n l c1 c2 ts) -> Proof (Plonkup p i n l c1 c2 ts) -> Bool

(KnownNat i, KnownNat n, KnownNat l, Arithmetic (ScalarField c1), Arbitrary (ScalarField c1), Binary (ScalarField c1), Binary (Rep p)) => Arbitrary (Plonkup p i n l c1 c2 t)

Defined in ZkFold.Base.Protocol.Plonkup.Internal

Methods

arbitrary :: Gen (Plonkup p i n l c1 c2 t)

shrink :: Plonkup p i n l c1 c2 t -> [Plonkup p i n l c1 c2 t]

(Show (ScalarField c1), Arithmetic (ScalarField c1), KnownNat l, KnownNat i) => Show (Plonkup p i n l c1 c2 t)

Defined in ZkFold.Base.Protocol.Plonkup.Internal

Methods

showsPrec :: Int -> Plonkup p i n l c1 c2 t -> ShowS

show :: Plonkup p i n l c1 c2 t -> String

showList :: [Plonkup p i n l c1 c2 t] -> ShowS

type Input (Plonkup p i n l c1 c2 ts)

Defined in ZkFold.Base.Protocol.Plonkup

type Input (Plonkup p i n l c1 c2 ts) = PlonkupInput l c1

type Proof (Plonkup p i n l c1 c2 ts)

Defined in ZkFold.Base.Protocol.Plonkup

type Proof (Plonkup p i n l c1 c2 ts) = PlonkupProof c1

type SetupProve (Plonkup p i n l c1 c2 ts)

Defined in ZkFold.Base.Protocol.Plonkup

type SetupProve (Plonkup p i n l c1 c2 ts) = PlonkupProverSetup p i n l c1 c2

type SetupVerify (Plonkup p i n l c1 c2 ts)

Defined in ZkFold.Base.Protocol.Plonkup

type SetupVerify (Plonkup p i n l c1 c2 ts) = PlonkupVerifierSetup p i n l c1 c2

type Transcript (Plonkup p i n l c1 c2 ts)

Defined in ZkFold.Base.Protocol.Plonkup

type Transcript (Plonkup p i n l c1 c2 ts) = ts

type Witness (Plonkup p i n l c1 c2 ts)

Defined in ZkFold.Base.Protocol.Plonkup

type Witness (Plonkup p i n l c1 c2 ts) = (PlonkupWitnessInput p i c1, PlonkupProverSecret c1)

Orphan instances

(KnownNat i, KnownNat n, KnownNat l, Representable p, Ord (BaseField c1), AdditiveGroup (BaseField c1), Pairing c1 c2, Arithmetic (ScalarField c1), ToTranscript ts Word8, ToTranscript ts (ScalarField c1), ToTranscript ts (PointCompressed c1), FromTranscript ts (ScalarField c1), CoreFunction c1 core) => NonInteractiveProof (Plonkup p i n l c1 c2 ts) (core :: k)

Based on the paper https://eprint.iacr.org/2022/086.pdf

Associated Types

type Transcript (Plonkup p i n l c1 c2 ts)

type SetupProve (Plonkup p i n l c1 c2 ts)

type SetupVerify (Plonkup p i n l c1 c2 ts)

type Witness (Plonkup p i n l c1 c2 ts)

type Input (Plonkup p i n l c1 c2 ts)

type Proof (Plonkup p i n l c1 c2 ts)

Methods

setupProve :: Plonkup p i n l c1 c2 ts -> SetupProve (Plonkup p i n l c1 c2 ts)

setupVerify :: Plonkup p i n l c1 c2 ts -> SetupVerify (Plonkup p i n l c1 c2 ts)

prove :: SetupProve (Plonkup p i n l c1 c2 ts) -> Witness (Plonkup p i n l c1 c2 ts) -> (Input (Plonkup p i n l c1 c2 ts), Proof (Plonkup p i n l c1 c2 ts))

verify :: SetupVerify (Plonkup p i n l c1 c2 ts) -> Input (Plonkup p i n l c1 c2 ts) -> Proof (Plonkup p i n l c1 c2 ts) -> Bool