xxx: fix conversion

ivokub · ivokub · commit ce97497397a6 · 2025-06-11T23:38:28.000Z
diff --git a/prover/zkevm/prover/bls/circuits_element.go b/prover/zkevm/prover/bls/circuits_element.go
@@ -78,10 +78,10 @@ func (c g2ElementWizard) ToElement(api frontend.API, fp *emulated.Field[sw_bls12
 	}
 
 	for i := range nbFpLimbs - 1 {
-		QXAlimbs[len(QXAlimbs)-(2*i+2)], QXAlimbs[len(QXAlimbs)-(2*i+1)] = bitslice.Partition(api, c.Q[i+1], 64, bitslice.WithNbDigits(128))
-		QYAlimbs[len(QYAlimbs)-(2*i+2)], QYAlimbs[len(QYAlimbs)-(2*i+1)] = bitslice.Partition(api, c.Q[nbFpLimbs+i+1], 64, bitslice.WithNbDigits(128))
-		QXBlimbs[len(QXBlimbs)-(2*i+2)], QXBlimbs[len(QXBlimbs)-(2*i+1)] = bitslice.Partition(api, c.Q[2*nbFpLimbs+i+1], 64, bitslice.WithNbDigits(128))
-		QYBlimbs[len(QYBlimbs)-(2*i+2)], QYBlimbs[len(QYBlimbs)-(2*i+1)] = bitslice.Partition(api, c.Q[3*nbFpLimbs+i+1], 64, bitslice.WithNbDigits(128))
+		QXBlimbs[len(QXBlimbs)-(2*i+2)], QXBlimbs[len(QXBlimbs)-(2*i+1)] = bitslice.Partition(api, c.Q[i+1], 64, bitslice.WithNbDigits(128))
+		QXAlimbs[len(QXAlimbs)-(2*i+2)], QXAlimbs[len(QXAlimbs)-(2*i+1)] = bitslice.Partition(api, c.Q[nbFpLimbs+i+1], 64, bitslice.WithNbDigits(128))
+		QYBlimbs[len(QYBlimbs)-(2*i+2)], QYBlimbs[len(QYBlimbs)-(2*i+1)] = bitslice.Partition(api, c.Q[2*nbFpLimbs+i+1], 64, bitslice.WithNbDigits(128))
+		QYAlimbs[len(QYAlimbs)-(2*i+2)], QYAlimbs[len(QYAlimbs)-(2*i+1)] = bitslice.Partition(api, c.Q[3*nbFpLimbs+i+1], 64, bitslice.WithNbDigits(128))
 	}
 	QXA := fp.NewElement(QXAlimbs)
 	QXB := fp.NewElement(QXBlimbs)

Original file line number	Diff line number	Diff line change
`@@ -78,10 +78,10 @@ func (c g2ElementWizard) ToElement(api frontend.API, fp *emulated.Field[sw_bls12`
`78`	`78`	`}`
`79`	`79`
`80`	`80`	`for i := range nbFpLimbs - 1 {`
`81`		`- QXAlimbs[len(QXAlimbs)-(2i+2)], QXAlimbs[len(QXAlimbs)-(2i+1)] = bitslice.Partition(api, c.Q[i+1], 64, bitslice.WithNbDigits(128))`
`82`		`- QYAlimbs[len(QYAlimbs)-(2i+2)], QYAlimbs[len(QYAlimbs)-(2i+1)] = bitslice.Partition(api, c.Q[nbFpLimbs+i+1], 64, bitslice.WithNbDigits(128))`
`83`		`- QXBlimbs[len(QXBlimbs)-(2i+2)], QXBlimbs[len(QXBlimbs)-(2i+1)] = bitslice.Partition(api, c.Q[2*nbFpLimbs+i+1], 64, bitslice.WithNbDigits(128))`
`84`		`- QYBlimbs[len(QYBlimbs)-(2i+2)], QYBlimbs[len(QYBlimbs)-(2i+1)] = bitslice.Partition(api, c.Q[3*nbFpLimbs+i+1], 64, bitslice.WithNbDigits(128))`
	`81`	`+ QXBlimbs[len(QXBlimbs)-(2i+2)], QXBlimbs[len(QXBlimbs)-(2i+1)] = bitslice.Partition(api, c.Q[i+1], 64, bitslice.WithNbDigits(128))`
	`82`	`+ QXAlimbs[len(QXAlimbs)-(2i+2)], QXAlimbs[len(QXAlimbs)-(2i+1)] = bitslice.Partition(api, c.Q[nbFpLimbs+i+1], 64, bitslice.WithNbDigits(128))`
	`83`	`+ QYBlimbs[len(QYBlimbs)-(2i+2)], QYBlimbs[len(QYBlimbs)-(2i+1)] = bitslice.Partition(api, c.Q[2*nbFpLimbs+i+1], 64, bitslice.WithNbDigits(128))`
	`84`	`+ QYAlimbs[len(QYAlimbs)-(2i+2)], QYAlimbs[len(QYAlimbs)-(2i+1)] = bitslice.Partition(api, c.Q[3*nbFpLimbs+i+1], 64, bitslice.WithNbDigits(128))`
`85`	`85`	`}`
`86`	`86`	`QXA := fp.NewElement(QXAlimbs)`
`87`	`87`	`QXB := fp.NewElement(QXBlimbs)`