ZkFold.Base.Protocol.Plonkup.Verifier.Commitments

Documentation

data PlonkupCircuitCommitments c

Constructors

PlonkupCircuitCommitments

Fields

• cmQl :: Point c
• cmQr :: Point c
• cmQo :: Point c
• cmQm :: Point c
• cmQc :: Point c
• cmQk :: Point c
• cmS1 :: Point c
• cmS2 :: Point c
• cmS3 :: Point c
• cmT1 :: Point c

Instances

(Show (BaseField c), EllipticCurve c) => Show (PlonkupCircuitCommitments c)

Defined in ZkFold.Base.Protocol.Plonkup.Verifier.Commitments

Methods

showsPrec :: Int -> PlonkupCircuitCommitments c -> ShowS

show :: PlonkupCircuitCommitments c -> String

showList :: [PlonkupCircuitCommitments c] -> ShowS