zkfold-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols
Safe HaskellSafe-Inferred
LanguageHaskell2010

ZkFold.Base.Protocol.ARK.Plonk

Documentation

type F = Zp BLS12_381_Scalar Source #

type G1 = Point BLS12_381_G1 Source #

type G2 = Point BLS12_381_G2 Source #

data Plonk (d :: Natural) t Source #

Constructors

Plonk F F F (Map Natural F) (ArithmeticCircuit F) F 

Instances

Instances details
Arbitrary (Plonk d t) Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Plonk

Methods

arbitrary :: Gen (Plonk d t) #

shrink :: Plonk d t -> [Plonk d t] #

Show (Plonk d t) Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Plonk

Methods

showsPrec :: Int -> Plonk d t -> ShowS #

show :: Plonk d t -> String #

showList :: [Plonk d t] -> ShowS #

(KnownNat d, KnownNat (PlonkPermutationSize d), KnownNat (PlonkMaxPolyDegree d), ToTranscript t F, ToTranscript t G1, FromTranscript t F) => NonInteractiveProof (Plonk d t) Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Plonk

Associated Types

type Transcript (Plonk d t) Source #

type Setup (Plonk d t) Source #

type Witness (Plonk d t) Source #

type Input (Plonk d t) Source #

type Proof (Plonk d t) Source #

Methods

setup :: Plonk d t -> Setup (Plonk d t) Source #

prove :: Setup (Plonk d t) -> Witness (Plonk d t) -> (Input (Plonk d t), Proof (Plonk d t)) Source #

verify :: Setup (Plonk d t) -> Input (Plonk d t) -> Proof (Plonk d t) -> Bool Source #

type Input (Plonk d t) Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Plonk

type Input (Plonk d t) = PlonkInput
type Proof (Plonk d t) Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Plonk

type Proof (Plonk d t) = PlonkProof
type Setup (Plonk d t) Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Plonk

type Setup (Plonk d t) = (PlonkSetupParams, PlonkPermutation d, PlonkCircuitPolynomials d, PlonkCircuitCommitments, PlonkInput, PlonkWitnessMap d)
type Transcript (Plonk d t) Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Plonk

type Transcript (Plonk d t) = t
type Witness (Plonk d t) Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Plonk

type Witness (Plonk d t) = (PlonkWitnessInput, PlonkProverSecret)

type PlonkPermutationSize d = 3 * d Source #

type PlonkMaxPolyDegree d = (4 * d) + 7 Source #

type PlonkPolyExtended d = PolyVec F (PlonkMaxPolyDegree d) Source #

data PlonkSetupParams Source #

Constructors

PlonkSetupParams 

Fields

Instances

Instances details
Show PlonkSetupParams Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Plonk

Methods

showsPrec :: Int -> PlonkSetupParams -> ShowS #

show :: PlonkSetupParams -> String #

showList :: [PlonkSetupParams] -> ShowS #

data PlonkCircuitPolynomials d Source #

Constructors

PlonkCircuitPolynomials 

Fields

Instances

Instances details
Show (PlonkCircuitPolynomials d) Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Plonk

Methods

showsPrec :: Int -> PlonkCircuitPolynomials d -> ShowS #

show :: PlonkCircuitPolynomials d -> String #

showList :: [PlonkCircuitPolynomials d] -> ShowS #

data PlonkCircuitCommitments Source #

Constructors

PlonkCircuitCommitments 

Fields

Instances

Instances details
Show PlonkCircuitCommitments Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Plonk

Methods

showsPrec :: Int -> PlonkCircuitCommitments -> ShowS #

show :: PlonkCircuitCommitments -> String #

showList :: [PlonkCircuitCommitments] -> ShowS #

data PlonkPermutation d Source #

Constructors

PlonkPermutation 

Fields

Instances

Instances details
Show (PlonkPermutation d) Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Plonk

Methods

showsPrec :: Int -> PlonkPermutation d -> ShowS #

show :: PlonkPermutation d -> String #

showList :: [PlonkPermutation d] -> ShowS #

newtype PlonkWitnessMap d Source #

Constructors

PlonkWitnessMap (Map Natural F -> (PolyVec F d, PolyVec F d, PolyVec F d)) 

Instances

Instances details
Show (PlonkWitnessMap d) Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Plonk

Methods

showsPrec :: Int -> PlonkWitnessMap d -> ShowS #

show :: PlonkWitnessMap d -> String #

showList :: [PlonkWitnessMap d] -> ShowS #

newtype PlonkWitnessInput Source #

Constructors

PlonkWitnessInput (Map Natural F) 

Instances

Instances details
Arbitrary PlonkWitnessInput Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Plonk

Methods

arbitrary :: Gen PlonkWitnessInput #

shrink :: PlonkWitnessInput -> [PlonkWitnessInput] #

Show PlonkWitnessInput Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Plonk

Methods

showsPrec :: Int -> PlonkWitnessInput -> ShowS #

show :: PlonkWitnessInput -> String #

showList :: [PlonkWitnessInput] -> ShowS #

data PlonkProverSecret Source #

Constructors

PlonkProverSecret F F F F F F F F F F F 

Instances

Instances details
Arbitrary PlonkProverSecret Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Plonk

Methods

arbitrary :: Gen PlonkProverSecret #

shrink :: PlonkProverSecret -> [PlonkProverSecret] #

Show PlonkProverSecret Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Plonk

Methods

showsPrec :: Int -> PlonkProverSecret -> ShowS #

show :: PlonkProverSecret -> String #

showList :: [PlonkProverSecret] -> ShowS #

newtype PlonkInput Source #

Constructors

PlonkInput (Vector F) 

Instances

Instances details
Show PlonkInput Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Plonk

Methods

showsPrec :: Int -> PlonkInput -> ShowS #

show :: PlonkInput -> String #

showList :: [PlonkInput] -> ShowS #

data PlonkProof Source #

Constructors

PlonkProof G1 G1 G1 G1 G1 G1 G1 G1 G1 F F F F F F 

Instances

Instances details
Show PlonkProof Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Plonk

Methods

showsPrec :: Int -> PlonkProof -> ShowS #

show :: PlonkProof -> String #

showList :: [PlonkProof] -> ShowS #