Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 #
Instances
Arbitrary (Plonk d t) Source # | |
Show (Plonk d t) Source # | |
(KnownNat d, KnownNat (PlonkPermutationSize d), KnownNat (PlonkMaxPolyDegree d), ToTranscript t F, ToTranscript t G1, FromTranscript t F) => NonInteractiveProof (Plonk d t) Source # | |
type Input (Plonk d t) Source # | |
Defined in ZkFold.Base.Protocol.ARK.Plonk | |
type Proof (Plonk d t) Source # | |
Defined in ZkFold.Base.Protocol.ARK.Plonk | |
type Setup (Plonk d t) Source # | |
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 # | |
Defined in ZkFold.Base.Protocol.ARK.Plonk | |
type Witness (Plonk d t) Source # | |
Defined in ZkFold.Base.Protocol.ARK.Plonk |
type PlonkPermutationSize d = 3 * d Source #
type PlonkMaxPolyDegree d = (4 * d) + 7 Source #
type PlonkPolyExtended d = PolyVec F (PlonkMaxPolyDegree d) Source #
data PlonkSetupParams Source #
Instances
Show PlonkSetupParams Source # | |
Defined in ZkFold.Base.Protocol.ARK.Plonk showsPrec :: Int -> PlonkSetupParams -> ShowS # show :: PlonkSetupParams -> String # showList :: [PlonkSetupParams] -> ShowS # |
data PlonkCircuitPolynomials d Source #
PlonkCircuitPolynomials | |
|
Instances
Show (PlonkCircuitPolynomials d) Source # | |
Defined in ZkFold.Base.Protocol.ARK.Plonk showsPrec :: Int -> PlonkCircuitPolynomials d -> ShowS # show :: PlonkCircuitPolynomials d -> String # showList :: [PlonkCircuitPolynomials d] -> ShowS # |
data PlonkCircuitCommitments Source #
Instances
Show PlonkCircuitCommitments Source # | |
Defined in ZkFold.Base.Protocol.ARK.Plonk showsPrec :: Int -> PlonkCircuitCommitments -> ShowS # show :: PlonkCircuitCommitments -> String # showList :: [PlonkCircuitCommitments] -> ShowS # |
data PlonkPermutation d Source #
Instances
Show (PlonkPermutation d) Source # | |
Defined in ZkFold.Base.Protocol.ARK.Plonk showsPrec :: Int -> PlonkPermutation d -> ShowS # show :: PlonkPermutation d -> String # showList :: [PlonkPermutation d] -> ShowS # |
newtype PlonkWitnessMap d Source #
Instances
Show (PlonkWitnessMap d) Source # | |
Defined in ZkFold.Base.Protocol.ARK.Plonk showsPrec :: Int -> PlonkWitnessMap d -> ShowS # show :: PlonkWitnessMap d -> String # showList :: [PlonkWitnessMap d] -> ShowS # |
newtype PlonkWitnessInput Source #
Instances
Arbitrary PlonkWitnessInput Source # | |
Defined in ZkFold.Base.Protocol.ARK.Plonk | |
Show PlonkWitnessInput Source # | |
Defined in ZkFold.Base.Protocol.ARK.Plonk showsPrec :: Int -> PlonkWitnessInput -> ShowS # show :: PlonkWitnessInput -> String # showList :: [PlonkWitnessInput] -> ShowS # |
data PlonkProverSecret Source #
Instances
Arbitrary PlonkProverSecret Source # | |
Defined in ZkFold.Base.Protocol.ARK.Plonk | |
Show PlonkProverSecret Source # | |
Defined in ZkFold.Base.Protocol.ARK.Plonk showsPrec :: Int -> PlonkProverSecret -> ShowS # show :: PlonkProverSecret -> String # showList :: [PlonkProverSecret] -> ShowS # |
newtype PlonkInput Source #
Instances
Show PlonkInput Source # | |
Defined in ZkFold.Base.Protocol.ARK.Plonk showsPrec :: Int -> PlonkInput -> ShowS # show :: PlonkInput -> String # showList :: [PlonkInput] -> ShowS # |