symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols
Quick Jump
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
Haskell2010
ZkFold.Base.Protocol.Plonkup.Testing
Documentation
data
PlonkupProverTestInfo
n c1
Source
#
Constructors
PlonkupProverTestInfo
Fields
omega
::
ScalarField
c1
k1
::
ScalarField
c1
k2
::
ScalarField
c1
qlX
::
PlonkupPolyExtended
n c1
qrX
::
PlonkupPolyExtended
n c1
qoX
::
PlonkupPolyExtended
n c1
qmX
::
PlonkupPolyExtended
n c1
qcX
::
PlonkupPolyExtended
n c1
aX
::
PlonkupPolyExtended
n c1
bX
::
PlonkupPolyExtended
n c1
cX
::
PlonkupPolyExtended
n c1
piX
::
PlonkupPolyExtended
n c1
s1X
::
PlonkupPolyExtended
n c1
s2X
::
PlonkupPolyExtended
n c1
s3X
::
PlonkupPolyExtended
n c1
qkX
::
PlonkupPolyExtended
n c1
tX
::
PlonkupPolyExtended
n c1
z1X
::
PlonkupPolyExtended
n c1
z2X
::
PlonkupPolyExtended
n c1
fX
::
PlonkupPolyExtended
n c1
h1X
::
PlonkupPolyExtended
n c1
h2X
::
PlonkupPolyExtended
n c1
zhX
::
PlonkupPolyExtended
n c1
qX
::
PlonkupPolyExtended
n c1
qlowX
::
PlonkupPolyExtended
n c1
qmidX
::
PlonkupPolyExtended
n c1
qhighX
::
PlonkupPolyExtended
n c1
rX
::
PlonkupPolyExtended
n c1
alpha
::
ScalarField
c1
beta
::
ScalarField
c1
gamma
::
ScalarField
c1
delta
::
ScalarField
c1
epsilon
::
ScalarField
c1
xi
::
ScalarField
c1
omegas
::
PolyVec
(
ScalarField
c1) n
omegas'
::
PlonkupPolyExtended
n c1
grandProduct1
::
PolyVec
(
ScalarField
c1) n
w1
::
PolyVec
(
ScalarField
c1) n
w2
::
PolyVec
(
ScalarField
c1) n
w3
::
PolyVec
(
ScalarField
c1) n