ZkFold.Base.Protocol.Plonk

Documentation

data Plonk p i (n :: Natural) l g1 g2 transcript

Based on the paper https://eprint.iacr.org/2019/953.pdf

Constructors

Plonk

Fields

• omega :: ScalarFieldOf g1
• k1 :: ScalarFieldOf g1
• k2 :: ScalarFieldOf g1
• ac :: ArithmeticCircuit (ScalarFieldOf g1) p i l
• h1 :: g2
• gs' :: Vector (n + 5) g1

Instances

(NonInteractiveProof (Plonkup p i n l g1 g2 ts) core, SetupProve (Plonkup p i n l g1 g2 ts) ~ PlonkupProverSetup p i n l g1 g2, SetupVerify (Plonkup p i n l g1 g2 ts) ~ PlonkupVerifierSetup p i n l g1 g2, Witness (Plonkup p i n l g1 g2 ts) ~ (PlonkupWitnessInput p i g1, PlonkupProverSecret g1), Input (Plonkup p i n l g1 g2 ts) ~ PlonkupInput l g1, Proof (Plonkup p i n l g1 g2 ts) ~ PlonkupProof g1, KnownNat n, Foldable l, Compressible g1, Pairing g1 g2 gt, Eq gt, Arithmetic (ScalarFieldOf g1), ToTranscript ts Word8, ToTranscript ts (ScalarFieldOf g1), ToTranscript ts (Compressed g1), FromTranscript ts (ScalarFieldOf g1), CoreFunction g1 core) => NonInteractiveProof (Plonk p i n l g1 g2 ts) (core :: k)

Defined in ZkFold.Base.Protocol.Plonk

Associated Types

type Transcript (Plonk p i n l g1 g2 ts)

type SetupProve (Plonk p i n l g1 g2 ts)

type SetupVerify (Plonk p i n l g1 g2 ts)

type Witness (Plonk p i n l g1 g2 ts)

type Input (Plonk p i n l g1 g2 ts)

type Proof (Plonk p i n l g1 g2 ts)

Methods

setupProve :: Plonk p i n l g1 g2 ts -> SetupProve (Plonk p i n l g1 g2 ts)

setupVerify :: Plonk p i n l g1 g2 ts -> SetupVerify (Plonk p i n l g1 g2 ts)

prove :: SetupProve (Plonk p i n l g1 g2 ts) -> Witness (Plonk p i n l g1 g2 ts) -> (Input (Plonk p i n l g1 g2 ts), Proof (Plonk p i n l g1 g2 ts))

verify :: SetupVerify (Plonk p i n l g1 g2 ts) -> Input (Plonk p i n l g1 g2 ts) -> Proof (Plonk p i n l g1 g2 ts) -> Bool

(Arithmetic (ScalarFieldOf g1), Binary (ScalarFieldOf g1), Binary (Rep p), Binary (Rep i), Ord (Rep i), Arbitrary (Plonkup p i n l g1 g2 t)) => Arbitrary (Plonk p i n l g1 g2 t)

Defined in ZkFold.Base.Protocol.Plonk

Methods

arbitrary :: Gen (Plonk p i n l g1 g2 t)

shrink :: Plonk p i n l g1 g2 t -> [Plonk p i n l g1 g2 t]

(Show1 l, Show (Rep i), Show (ScalarFieldOf g1), Ord (Rep i), Show g1, Show g2) => Show (Plonk p i n l g1 g2 t)

Defined in ZkFold.Base.Protocol.Plonk

Methods

showsPrec :: Int -> Plonk p i n l g1 g2 t -> ShowS

show :: Plonk p i n l g1 g2 t -> String

showList :: [Plonk p i n l g1 g2 t] -> ShowS

type Input (Plonk p i n l g1 g2 ts)

Defined in ZkFold.Base.Protocol.Plonk

type Input (Plonk p i n l g1 g2 ts) = PlonkupInput l g1

type Proof (Plonk p i n l g1 g2 ts)

Defined in ZkFold.Base.Protocol.Plonk

type Proof (Plonk p i n l g1 g2 ts) = PlonkupProof g1

type SetupProve (Plonk p i n l g1 g2 ts)

Defined in ZkFold.Base.Protocol.Plonk

type SetupProve (Plonk p i n l g1 g2 ts) = PlonkupProverSetup p i n l g1 g2

type SetupVerify (Plonk p i n l g1 g2 ts)

Defined in ZkFold.Base.Protocol.Plonk

type SetupVerify (Plonk p i n l g1 g2 ts) = PlonkupVerifierSetup p i n l g1 g2

type Transcript (Plonk p i n l g1 g2 ts)

Defined in ZkFold.Base.Protocol.Plonk

type Transcript (Plonk p i n l g1 g2 ts) = ts

type Witness (Plonk p i n l g1 g2 ts)

Defined in ZkFold.Base.Protocol.Plonk

type Witness (Plonk p i n l g1 g2 ts) = (PlonkupWitnessInput p i g1, PlonkupProverSecret g1)