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

fixed some bugs

Browse Source
This commit is contained in:
Kevin Jue
2022-10-28 15:51:53 -07:00
parent 4262ff15fe
commit 1a1406e3b8
2 changed files with 10 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
plonky2_verifier/plonk.go
View File

@@ -104,10 +104,13 @@ func (p *PlonkChip) evalVanishingPoly() []QuadraticExtension {
for j := uint64(0); j < p.commonData.Config.NumRoutedWires; j++ { for j := uint64(0); j < p.commonData.Config.NumRoutedWires; j++ {
// The numerator is `beta * s_id + wire_value + gamma`, and the denominator is // The numerator is `beta * s_id + wire_value + gamma`, and the denominator is
// `beta * s_sigma + wire_value + gamma`. // `beta * s_sigma + wire_value + gamma`.
wire_value_plus_gamma := p.qe.AddExtension(p.openings.Wires[j], p.proofChallenges.FriChallenges.FriBetas[i]) wire_value_plus_gamma := p.qe.AddExtension(
p.openings.Wires[j],
p.qe.FieldToQE(p.proofChallenges.PlonkGammas[i]),
)
numerator := p.qe.AddExtension( numerator := p.qe.AddExtension(
p.qe.MulExtension( p.qe.MulExtension(
p.proofChallenges.FriChallenges.FriBetas[i], p.qe.FieldToQE(p.proofChallenges.PlonkBetas[i]),
s_ids[j], s_ids[j],
), ),
wire_value_plus_gamma, wire_value_plus_gamma,
@@ -115,7 +118,7 @@ func (p *PlonkChip) evalVanishingPoly() []QuadraticExtension {
denominator := p.qe.AddExtension( denominator := p.qe.AddExtension(
p.qe.MulExtension( p.qe.MulExtension(
p.proofChallenges.FriChallenges.FriBetas[i], p.qe.FieldToQE(p.proofChallenges.PlonkBetas[i]),
p.openings.PlonkSigmas[j], p.openings.PlonkSigmas[j],
), ),
wire_value_plus_gamma, wire_value_plus_gamma,

4
plonky2_verifier/quadratic_extension.go
View File

@@ -78,3 +78,7 @@ func (c *QuadraticExtensionAPI) InverseExtension(a QuadraticExtension) Quadratic
func (c *QuadraticExtensionAPI) ScalarMulExtension(a QuadraticExtension, scalar F) QuadraticExtension { func (c *QuadraticExtensionAPI) ScalarMulExtension(a QuadraticExtension, scalar F) QuadraticExtension {
return QuadraticExtension{c.field.Mul(a[0], scalar).(F), c.field.Mul(a[1], scalar).(F)} return QuadraticExtension{c.field.Mul(a[0], scalar).(F), c.field.Mul(a[1], scalar).(F)}
} }
func (c *QuadraticExtensionAPI) FieldToQE(a F) QuadraticExtension {
return QuadraticExtension{a, c.ZERO_F}
}