Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Protocol.Plonkup.Internal

Documentation

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

Constructors

Plonkup
Fields omega :: ScalarField curve1 k1 :: ScalarField curve1 k2 :: ScalarField curve1 ac :: ArithmeticCircuit (ScalarField curve1) (Vector i) (Vector l) x :: ScalarField curve1

Instances

Instances details

(KnownNat i, KnownNat n, KnownNat l, 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 i n l c1 c2 ts) (core :: k3) Source #	Based on the paper https://eprint.iacr.org/2022/086.pdf
Instance details Defined in ZkFold.Base.Protocol.Plonkup Associated Types type Transcript (Plonkup i n l c1 c2 ts) Source # type SetupProve (Plonkup i n l c1 c2 ts) Source # type SetupVerify (Plonkup i n l c1 c2 ts) Source # type Witness (Plonkup i n l c1 c2 ts) Source # type Input (Plonkup i n l c1 c2 ts) Source # type Proof (Plonkup i n l c1 c2 ts) Source # Methods setupProve :: Plonkup i n l c1 c2 ts -> SetupProve (Plonkup i n l c1 c2 ts) Source # setupVerify :: Plonkup i n l c1 c2 ts -> SetupVerify (Plonkup i n l c1 c2 ts) Source # prove :: SetupProve (Plonkup i n l c1 c2 ts) -> Witness (Plonkup i n l c1 c2 ts) -> (Input (Plonkup i n l c1 c2 ts), Proof (Plonkup i n l c1 c2 ts)) Source # verify :: SetupVerify (Plonkup i n l c1 c2 ts) -> Input (Plonkup i n l c1 c2 ts) -> Proof (Plonkup i n l c1 c2 ts) -> Bool Source #
(KnownNat i, KnownNat n, KnownNat l, Arithmetic (ScalarField c1), Arbitrary (ScalarField c1), Binary (ScalarField c1)) => Arbitrary (Plonkup i n l c1 c2 t) Source #
Instance details Defined in ZkFold.Base.Protocol.Plonkup.Internal Methods arbitrary :: Gen (Plonkup i n l c1 c2 t) # shrink :: Plonkup i n l c1 c2 t -> [Plonkup i n l c1 c2 t] #
(Show (ScalarField c1), Arithmetic (ScalarField c1), KnownNat l, KnownNat i) => Show (Plonkup i n l c1 c2 t) Source #
Instance details Defined in ZkFold.Base.Protocol.Plonkup.Internal Methods showsPrec :: Int -> Plonkup i n l c1 c2 t -> ShowS # show :: Plonkup i n l c1 c2 t -> String # showList :: [Plonkup i n l c1 c2 t] -> ShowS #
type Input (Plonkup i n l c1 c2 ts) Source #
Instance details Defined in ZkFold.Base.Protocol.Plonkup type Input (Plonkup i n l c1 c2 ts) = PlonkupInput l c1
type Proof (Plonkup i n l c1 c2 ts) Source #
Instance details Defined in ZkFold.Base.Protocol.Plonkup type Proof (Plonkup i n l c1 c2 ts) = PlonkupProof c1
type SetupProve (Plonkup i n l c1 c2 ts) Source #
Instance details Defined in ZkFold.Base.Protocol.Plonkup type SetupProve (Plonkup i n l c1 c2 ts) = PlonkupProverSetup i n l c1 c2
type SetupVerify (Plonkup i n l c1 c2 ts) Source #
Instance details Defined in ZkFold.Base.Protocol.Plonkup type SetupVerify (Plonkup i n l c1 c2 ts) = PlonkupVerifierSetup i n l c1 c2
type Transcript (Plonkup i n l c1 c2 ts) Source #
Instance details Defined in ZkFold.Base.Protocol.Plonkup type Transcript (Plonkup i n l c1 c2 ts) = ts
type Witness (Plonkup i n l c1 c2 ts) Source #
Instance details Defined in ZkFold.Base.Protocol.Plonkup type Witness (Plonkup i n l c1 c2 ts) = (PlonkupWitnessInput i c1, PlonkupProverSecret c1)

type PlonkupPermutationSize n = 3 * n Source #

type PlonkupPolyExtendedLength n = (4 * n) + 6 Source #

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

type PlonkupPolyExtended n c = PolyVec (ScalarField c) (PlonkupPolyExtendedLength n) Source #