ZkFold.Base.Protocol.Plonkup.Internal

Documentation

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

Constructors

Plonkup

Fields

• omega :: ScalarFieldOf g1
• k1 :: ScalarFieldOf g1
• k2 :: ScalarFieldOf g1
• ac :: ArithmeticCircuit (ScalarFieldOf g1) p i l
• x :: ScalarFieldOf g1

Instances

(KnownNat n, Representable p, Representable i, Representable l, Foldable l, Ord (Rep i), Pairing g1 g2 gt, Compressible Bool g1, Eq gt, Arithmetic (ScalarFieldOf g1), Binary (ScalarFieldOf g2), ToTranscript ts Word8, ToTranscript ts (ScalarFieldOf g1), ToTranscript ts (Compressed g1), FromTranscript ts (ScalarFieldOf g1), CoreFunction g1 core) => NonInteractiveProof (Plonkup p i n l g1 g2 ts) (core :: k)

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 g1 g2 ts)

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

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

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

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

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

Methods

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

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

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

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

(KnownNat n, Arithmetic (ScalarFieldOf g1), Arbitrary (ScalarFieldOf g1), Arbitrary (ArithmeticCircuit (ScalarFieldOf g1) p i l)) => Arbitrary (Plonkup p i n l g1 g2 t)

Defined in ZkFold.Base.Protocol.Plonkup.Internal

Methods

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

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

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

Defined in ZkFold.Base.Protocol.Plonkup.Internal

Methods

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

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

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

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

Defined in ZkFold.Base.Protocol.Plonkup

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

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

Defined in ZkFold.Base.Protocol.Plonkup

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

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

Defined in ZkFold.Base.Protocol.Plonkup

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

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

Defined in ZkFold.Base.Protocol.Plonkup

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

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

Defined in ZkFold.Base.Protocol.Plonkup

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

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

Defined in ZkFold.Base.Protocol.Plonkup

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

type PlonkupPermutationSize n = 3 * n

type PlonkupPolyExtendedLength n = (4 * n) + 6

with4n6 :: forall n {r}. KnownNat n => (KnownNat ((4 * n) + 6) => r) -> r

type PlonkupPolyExtended n g = PolyVec (ScalarFieldOf g) (PlonkupPolyExtendedLength n)