ZkFold.Base.Protocol.Plonkup.Proof

Documentation

data PlonkupProof c

Constructors

PlonkupProof

Fields

• cmA :: Point c
• cmB :: Point c
• cmC :: Point c
• cmF :: Point c
• cmH1 :: Point c
• cmH2 :: Point c
• cmZ1 :: Point c
• cmZ2 :: Point c
• cmQlow :: Point c
• cmQmid :: Point c
• cmQhigh :: Point c
• proof1 :: Point c
• proof2 :: Point c
• a_xi :: ScalarField c
• b_xi :: ScalarField c
• c_xi :: ScalarField c
• s1_xi :: ScalarField c
• s2_xi :: ScalarField c
• f_xi :: ScalarField c
• t_xi :: ScalarField c
• t_xi' :: ScalarField c
• z1_xi' :: ScalarField c
• z2_xi' :: ScalarField c
• h1_xi' :: ScalarField c
• h2_xi :: ScalarField c
• l1_xi :: ScalarField c

  The denominator in the L_1 polynomial evaluation

Instances

(Show (ScalarField c), Show (BaseField c), EllipticCurve c) => Show (PlonkupProof c)

Defined in ZkFold.Base.Protocol.Plonkup.Proof

Methods

showsPrec :: Int -> PlonkupProof c -> ShowS

show :: PlonkupProof c -> String

showList :: [PlonkupProof c] -> ShowS