ZkFold.Base.Protocol.NonInteractiveProof.Internal

Documentation

class Monoid ts => ToTranscript ts a where

Methods

toTranscript :: a -> ts

Instances

Binary a => ToTranscript ByteString a

Defined in ZkFold.Base.Protocol.NonInteractiveProof.Internal

Methods

toTranscript :: a -> ByteString

transcript :: ToTranscript ts a => ts -> a -> ts

class Monoid ts => FromTranscript ts a where

Methods

fromTranscript :: ts -> a

Instances

Binary a => FromTranscript ByteString a

Defined in ZkFold.Base.Protocol.NonInteractiveProof.Internal

Methods

fromTranscript :: ByteString -> a

challenge :: forall ts a. FromTranscript ts a => ts -> a

challenges :: (ToTranscript ts Word8, FromTranscript ts a) => ts -> Natural -> ([a], ts)

class NonInteractiveProof a core where

Associated Types

type Transcript a

type SetupProve a

type SetupVerify a

type Witness a

type Input a

type Proof a

Methods

setupProve :: a -> SetupProve a

setupVerify :: a -> SetupVerify a

prove :: SetupProve a -> Witness a -> (Input a, Proof a)

verify :: SetupVerify a -> Input a -> Proof a -> Bool

Instances

(KZG g1 g2 d ~ kzg, KnownNat d, Ord f, Binary f, FiniteField f, AdditiveGroup f, f ~ ScalarFieldOf g1, Binary g1, Pairing g1 g2 gt, Eq gt, CoreFunction g1 core) => NonInteractiveProof (KZG g1 g2 d) (core :: k)

Defined in ZkFold.Base.Protocol.KZG

Associated Types

type Transcript (KZG g1 g2 d)

type SetupProve (KZG g1 g2 d)

type SetupVerify (KZG g1 g2 d)

type Witness (KZG g1 g2 d)

type Input (KZG g1 g2 d)

type Proof (KZG g1 g2 d)

Methods

setupProve :: KZG g1 g2 d -> SetupProve (KZG g1 g2 d)

setupVerify :: KZG g1 g2 d -> SetupVerify (KZG g1 g2 d)

prove :: SetupProve (KZG g1 g2 d) -> Witness (KZG g1 g2 d) -> (Input (KZG g1 g2 d), Proof (KZG g1 g2 d))

verify :: SetupVerify (KZG g1 g2 d) -> Input (KZG g1 g2 d) -> Proof (KZG g1 g2 d) -> Bool

(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

(KnownNat n, Representable p, Representable i, Representable l, Foldable l, Ord (Rep i), Pairing g1 g2 gt, Compressible 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

class CyclicGroup g => CoreFunction g core where

Methods

msm :: f ~ ScalarFieldOf g => Vector g -> PolyVec f size -> g

polyMul :: (f ~ ScalarFieldOf g, Field f, Eq f) => Poly f -> Poly f -> Poly f

Instances

(CyclicGroup g, f ~ ScalarFieldOf g) => CoreFunction g HaskellCore

Defined in ZkFold.Base.Protocol.NonInteractiveProof.Internal

Methods

msm :: forall f (size :: Natural). f ~ ScalarFieldOf g => Vector g -> PolyVec f size -> g

polyMul :: (f ~ ScalarFieldOf g, Field f, Eq f) => Poly f -> Poly f -> Poly f

data HaskellCore

Instances

(CyclicGroup g, f ~ ScalarFieldOf g) => CoreFunction g HaskellCore

Defined in ZkFold.Base.Protocol.NonInteractiveProof.Internal

Methods

msm :: forall f (size :: Natural). f ~ ScalarFieldOf g => Vector g -> PolyVec f size -> g

polyMul :: (f ~ ScalarFieldOf g, Field f, Eq f) => Poly f -> Poly f -> Poly f