Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Protocol.KZG

Synopsis

newtype KZG c1 c2 (d :: Natural) = KZG (ScalarField c1)
newtype WitnessKZG c1 c2 d = WitnessKZG {
- runWitness :: Map (ScalarField c1) (Vector (PolyVec (ScalarField c1) d))
}
provePolyVecEval :: forall size f. (KnownNat size, FiniteField f, Eq f) => PolyVec f size -> f -> PolyVec f size

Documentation

newtype KZG c1 c2 (d :: Natural) Source #

d is the degree of polynomials in the protocol

Constructors

KZG (ScalarField c1)

Instances

Instances details

(KZG c1 c2 d ~ kzg, ScalarField c1 ~ f, Point c1 ~ g1, KnownNat d, Ord (ScalarField c1), Binary (ScalarField c1), FiniteField (ScalarField c1), AdditiveGroup (BaseField c1), Binary (Point c1), Pairing c1 c2, CoreFunction c1 core) => NonInteractiveProof (KZG c1 c2 d) (core :: k) Source #
Instance details Defined in ZkFold.Base.Protocol.KZG Associated Types type Transcript (KZG c1 c2 d) Source # type SetupProve (KZG c1 c2 d) Source # type SetupVerify (KZG c1 c2 d) Source # type Witness (KZG c1 c2 d) Source # type Input (KZG c1 c2 d) Source # type Proof (KZG c1 c2 d) Source # Methods setupProve :: KZG c1 c2 d -> SetupProve (KZG c1 c2 d) Source # setupVerify :: KZG c1 c2 d -> SetupVerify (KZG c1 c2 d) Source # prove :: SetupProve (KZG c1 c2 d) -> Witness (KZG c1 c2 d) -> (Input (KZG c1 c2 d), Proof (KZG c1 c2 d)) Source # verify :: SetupVerify (KZG c1 c2 d) -> Input (KZG c1 c2 d) -> Proof (KZG c1 c2 d) -> Bool Source #
Arbitrary (ScalarField c1) => Arbitrary (KZG c1 c2 d) Source #
Instance details Defined in ZkFold.Base.Protocol.KZG Methods arbitrary :: Gen (KZG c1 c2 d) # shrink :: KZG c1 c2 d -> [KZG c1 c2 d] #
Show (ScalarField c1) => Show (KZG c1 c2 d) Source #
Instance details Defined in ZkFold.Base.Protocol.KZG Methods showsPrec :: Int -> KZG c1 c2 d -> ShowS # show :: KZG c1 c2 d -> String # showList :: [KZG c1 c2 d] -> ShowS #
Eq (ScalarField c1) => Eq (KZG c1 c2 d) Source #
Instance details Defined in ZkFold.Base.Protocol.KZG Methods (==) :: KZG c1 c2 d -> KZG c1 c2 d -> Bool # (/=) :: KZG c1 c2 d -> KZG c1 c2 d -> Bool #
type Input (KZG c1 c2 d) Source #
Instance details Defined in ZkFold.Base.Protocol.KZG type Input (KZG c1 c2 d) = Map (ScalarField c1) (Vector (Point c1), Vector (ScalarField c1))
type Proof (KZG c1 c2 d) Source #
Instance details Defined in ZkFold.Base.Protocol.KZG type Proof (KZG c1 c2 d) = Map (ScalarField c1) (Point c1)
type SetupProve (KZG c1 c2 d) Source #
Instance details Defined in ZkFold.Base.Protocol.KZG type SetupProve (KZG c1 c2 d) = Vector (Point c1)
type SetupVerify (KZG c1 c2 d) Source #
Instance details Defined in ZkFold.Base.Protocol.KZG type SetupVerify (KZG c1 c2 d) = (Vector (Point c1), Point c2, Point c2)
type Transcript (KZG c1 c2 d) Source #
Instance details Defined in ZkFold.Base.Protocol.KZG type Transcript (KZG c1 c2 d) = ByteString
type Witness (KZG c1 c2 d) Source #
Instance details Defined in ZkFold.Base.Protocol.KZG type Witness (KZG c1 c2 d) = WitnessKZG c1 c2 d

newtype WitnessKZG c1 c2 d Source #

Constructors

WitnessKZG
Fields runWitness :: Map (ScalarField c1) (Vector (PolyVec (ScalarField c1) d))

Instances

Instances details

(EllipticCurve c1, f ~ ScalarField c1, KnownNat d, Ring f, Arbitrary f, Ord f) => Arbitrary (WitnessKZG c1 c2 d) Source #
Instance details Defined in ZkFold.Base.Protocol.KZG Methods arbitrary :: Gen (WitnessKZG c1 c2 d) # shrink :: WitnessKZG c1 c2 d -> [WitnessKZG c1 c2 d] #
Show (ScalarField c1) => Show (WitnessKZG c1 c2 d) Source #
Instance details Defined in ZkFold.Base.Protocol.KZG Methods showsPrec :: Int -> WitnessKZG c1 c2 d -> ShowS # show :: WitnessKZG c1 c2 d -> String # showList :: [WitnessKZG c1 c2 d] -> ShowS #

provePolyVecEval :: forall size f. (KnownNat size, FiniteField f, Eq f) => PolyVec f size -> f -> PolyVec f size Source #