{-# LANGUAGE TypeOperators        #-}
{-# LANGUAGE UndecidableInstances #-}

module ZkFold.Base.Protocol.Plonkup.Verifier.Commitments where

import           Prelude hiding (Num (..), drop, length, sum, take, (!!), (/), (^))

data PlonkupCircuitCommitments g = PlonkupCircuitCommitments {
        forall g. PlonkupCircuitCommitments g -> g
cmQl :: g,
        forall g. PlonkupCircuitCommitments g -> g
cmQr :: g,
        forall g. PlonkupCircuitCommitments g -> g
cmQo :: g,
        forall g. PlonkupCircuitCommitments g -> g
cmQm :: g,
        forall g. PlonkupCircuitCommitments g -> g
cmQc :: g,
        forall g. PlonkupCircuitCommitments g -> g
cmQk :: g,
        forall g. PlonkupCircuitCommitments g -> g
cmS1 :: g,
        forall g. PlonkupCircuitCommitments g -> g
cmS2 :: g,
        forall g. PlonkupCircuitCommitments g -> g
cmS3 :: g,
        forall g. PlonkupCircuitCommitments g -> g
cmT1 :: g
    }
instance (Show g) => Show (PlonkupCircuitCommitments g) where
    show :: PlonkupCircuitCommitments g -> String
show PlonkupCircuitCommitments {g
cmQl :: forall g. PlonkupCircuitCommitments g -> g
cmQr :: forall g. PlonkupCircuitCommitments g -> g
cmQo :: forall g. PlonkupCircuitCommitments g -> g
cmQm :: forall g. PlonkupCircuitCommitments g -> g
cmQc :: forall g. PlonkupCircuitCommitments g -> g
cmQk :: forall g. PlonkupCircuitCommitments g -> g
cmS1 :: forall g. PlonkupCircuitCommitments g -> g
cmS2 :: forall g. PlonkupCircuitCommitments g -> g
cmS3 :: forall g. PlonkupCircuitCommitments g -> g
cmT1 :: forall g. PlonkupCircuitCommitments g -> g
cmQl :: g
cmQr :: g
cmQo :: g
cmQm :: g
cmQc :: g
cmQk :: g
cmS1 :: g
cmS2 :: g
cmS3 :: g
cmT1 :: g
..} =
        String
"Plonkup Circuit Commitments: "
        String -> ShowS
forall a. [a] -> [a] -> [a]
++ g -> String
forall a. Show a => a -> String
show g
cmQl String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" "
        String -> ShowS
forall a. [a] -> [a] -> [a]
++ g -> String
forall a. Show a => a -> String
show g
cmQr String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" "
        String -> ShowS
forall a. [a] -> [a] -> [a]
++ g -> String
forall a. Show a => a -> String
show g
cmQo String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" "
        String -> ShowS
forall a. [a] -> [a] -> [a]
++ g -> String
forall a. Show a => a -> String
show g
cmQm String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" "
        String -> ShowS
forall a. [a] -> [a] -> [a]
++ g -> String
forall a. Show a => a -> String
show g
cmQc String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" "
        String -> ShowS
forall a. [a] -> [a] -> [a]
++ g -> String
forall a. Show a => a -> String
show g
cmQk String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" "
        String -> ShowS
forall a. [a] -> [a] -> [a]
++ g -> String
forall a. Show a => a -> String
show g
cmS1 String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" "
        String -> ShowS
forall a. [a] -> [a] -> [a]
++ g -> String
forall a. Show a => a -> String
show g
cmS2 String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" "
        String -> ShowS
forall a. [a] -> [a] -> [a]
++ g -> String
forall a. Show a => a -> String
show g
cmS3 String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" "
        String -> ShowS
forall a. [a] -> [a] -> [a]
++ g -> String
forall a. Show a => a -> String
show g
cmT1