arnaucube/gnark-plonky2-verifier
1
0
Fork 0
mirror of https://github.com/arnaucube/gnark-plonky2-verifier.git synced 2026-01-12 09:01:32 +01:00
Code Issues Projects Releases Wiki Activity

finished evaluateGateConstraints

Browse Source
This commit is contained in:
Nicholas Ward
2023-04-04 13:26:30 -07:00
parent 098cb42410
commit 4914844edb
1 changed files with 17 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

29
plonky2_verifier/plonk.go
View File

@@ -116,17 +116,6 @@ func (p *PlonkChip) checkPartialProducts(
return partialProductChecks return partialProductChecks
} }
func (p *PlonkChip) evalFiltered(
g gate,
vars EvaluationVars,
row int,
selectorIndex int,
groupRange Range,
numSelectors int
) []QuadraticExtension {
}
func (p *PlonkChip) evaluateGateConstraints( func (p *PlonkChip) evaluateGateConstraints(
commonData CommonCircuitData, commonData CommonCircuitData,
x QuadraticExtension, x QuadraticExtension,
@@ -142,8 +131,24 @@ func (p *PlonkChip) evaluateGateConstraints(
constraints := make([]QuadraticExtension, commonData.NumGateConstraints) constraints := make([]QuadraticExtension, commonData.NumGateConstraints)
for i, gate := range commonData.Gates { for i, gate := range commonData.Gates {
selectorIndex := commonData.selector selectorIndex := commonData.SelectorsInfo.selectorIndices[i]
gateConstraints := p.evalFiltered(
gate,
vars,
i,
int(selectorIndex),
commonData.SelectorsInfo.groups[selectorIndex],
commonData.SelectorsInfo.NumSelectors(),
)
for _, constraint := range gateConstraints {
// assert j < commonData.NumGateConstraints
constraints[i] = p.qeAPI.AddExtension(constraints[i], constraint)
}
} }
return constraints
} }
func (p *PlonkChip) evalVanishingPoly(proofChallenges ProofChallenges, openings OpeningSet, zetaPowN QuadraticExtension) []QuadraticExtension { func (p *PlonkChip) evalVanishingPoly(proofChallenges ProofChallenges, openings OpeningSet, zetaPowN QuadraticExtension) []QuadraticExtension {