diff --git a/backend/groth16/bls12-377/mpcsetup/lagrange.go b/backend/groth16/bls12-377/mpcsetup/lagrange.go index 111d1b0647..546e83a2fc 100644 --- a/backend/groth16/bls12-377/mpcsetup/lagrange.go +++ b/backend/groth16/bls12-377/mpcsetup/lagrange.go @@ -95,7 +95,6 @@ func kerDIF8G1(a []curve.G1Affine, twiddles [][]fr.Element, stage int) { butterflyG1(&a[5], &a[7]) twiddles[stage+1][1].BigInt(&twiddle) a[3].ScalarMultiplication(&a[3], &twiddle) - twiddles[stage+1][1].BigInt(&twiddle) a[7].ScalarMultiplication(&a[7], &twiddle) butterflyG1(&a[0], &a[1]) butterflyG1(&a[2], &a[3]) @@ -123,7 +122,6 @@ func kerDIF8G2(a []curve.G2Affine, twiddles [][]fr.Element, stage int) { butterflyG2(&a[5], &a[7]) twiddles[stage+1][1].BigInt(&twiddle) a[3].ScalarMultiplication(&a[3], &twiddle) - twiddles[stage+1][1].BigInt(&twiddle) a[7].ScalarMultiplication(&a[7], &twiddle) butterflyG2(&a[0], &a[1]) butterflyG2(&a[2], &a[3]) diff --git a/backend/groth16/bls12-381/mpcsetup/lagrange.go b/backend/groth16/bls12-381/mpcsetup/lagrange.go index 9c8d8e20f9..7facd90f81 100644 --- a/backend/groth16/bls12-381/mpcsetup/lagrange.go +++ b/backend/groth16/bls12-381/mpcsetup/lagrange.go @@ -95,7 +95,6 @@ func kerDIF8G1(a []curve.G1Affine, twiddles [][]fr.Element, stage int) { butterflyG1(&a[5], &a[7]) twiddles[stage+1][1].BigInt(&twiddle) a[3].ScalarMultiplication(&a[3], &twiddle) - twiddles[stage+1][1].BigInt(&twiddle) a[7].ScalarMultiplication(&a[7], &twiddle) butterflyG1(&a[0], &a[1]) butterflyG1(&a[2], &a[3]) @@ -123,7 +122,6 @@ func kerDIF8G2(a []curve.G2Affine, twiddles [][]fr.Element, stage int) { butterflyG2(&a[5], &a[7]) twiddles[stage+1][1].BigInt(&twiddle) a[3].ScalarMultiplication(&a[3], &twiddle) - twiddles[stage+1][1].BigInt(&twiddle) a[7].ScalarMultiplication(&a[7], &twiddle) butterflyG2(&a[0], &a[1]) butterflyG2(&a[2], &a[3]) diff --git a/backend/groth16/bls24-315/mpcsetup/lagrange.go b/backend/groth16/bls24-315/mpcsetup/lagrange.go index 16be4f684d..bfd48529da 100644 --- a/backend/groth16/bls24-315/mpcsetup/lagrange.go +++ b/backend/groth16/bls24-315/mpcsetup/lagrange.go @@ -95,7 +95,6 @@ func kerDIF8G1(a []curve.G1Affine, twiddles [][]fr.Element, stage int) { butterflyG1(&a[5], &a[7]) twiddles[stage+1][1].BigInt(&twiddle) a[3].ScalarMultiplication(&a[3], &twiddle) - twiddles[stage+1][1].BigInt(&twiddle) a[7].ScalarMultiplication(&a[7], &twiddle) butterflyG1(&a[0], &a[1]) butterflyG1(&a[2], &a[3]) @@ -123,7 +122,6 @@ func kerDIF8G2(a []curve.G2Affine, twiddles [][]fr.Element, stage int) { butterflyG2(&a[5], &a[7]) twiddles[stage+1][1].BigInt(&twiddle) a[3].ScalarMultiplication(&a[3], &twiddle) - twiddles[stage+1][1].BigInt(&twiddle) a[7].ScalarMultiplication(&a[7], &twiddle) butterflyG2(&a[0], &a[1]) butterflyG2(&a[2], &a[3]) diff --git a/backend/groth16/bls24-317/mpcsetup/lagrange.go b/backend/groth16/bls24-317/mpcsetup/lagrange.go index 4a3c62607b..d33f28bbfe 100644 --- a/backend/groth16/bls24-317/mpcsetup/lagrange.go +++ b/backend/groth16/bls24-317/mpcsetup/lagrange.go @@ -95,7 +95,6 @@ func kerDIF8G1(a []curve.G1Affine, twiddles [][]fr.Element, stage int) { butterflyG1(&a[5], &a[7]) twiddles[stage+1][1].BigInt(&twiddle) a[3].ScalarMultiplication(&a[3], &twiddle) - twiddles[stage+1][1].BigInt(&twiddle) a[7].ScalarMultiplication(&a[7], &twiddle) butterflyG1(&a[0], &a[1]) butterflyG1(&a[2], &a[3]) @@ -123,7 +122,6 @@ func kerDIF8G2(a []curve.G2Affine, twiddles [][]fr.Element, stage int) { butterflyG2(&a[5], &a[7]) twiddles[stage+1][1].BigInt(&twiddle) a[3].ScalarMultiplication(&a[3], &twiddle) - twiddles[stage+1][1].BigInt(&twiddle) a[7].ScalarMultiplication(&a[7], &twiddle) butterflyG2(&a[0], &a[1]) butterflyG2(&a[2], &a[3]) diff --git a/backend/groth16/bn254/mpcsetup/lagrange.go b/backend/groth16/bn254/mpcsetup/lagrange.go index 9eb5c68fb1..a750936da1 100644 --- a/backend/groth16/bn254/mpcsetup/lagrange.go +++ b/backend/groth16/bn254/mpcsetup/lagrange.go @@ -95,7 +95,6 @@ func kerDIF8G1(a []curve.G1Affine, twiddles [][]fr.Element, stage int) { butterflyG1(&a[5], &a[7]) twiddles[stage+1][1].BigInt(&twiddle) a[3].ScalarMultiplication(&a[3], &twiddle) - twiddles[stage+1][1].BigInt(&twiddle) a[7].ScalarMultiplication(&a[7], &twiddle) butterflyG1(&a[0], &a[1]) butterflyG1(&a[2], &a[3]) @@ -123,7 +122,6 @@ func kerDIF8G2(a []curve.G2Affine, twiddles [][]fr.Element, stage int) { butterflyG2(&a[5], &a[7]) twiddles[stage+1][1].BigInt(&twiddle) a[3].ScalarMultiplication(&a[3], &twiddle) - twiddles[stage+1][1].BigInt(&twiddle) a[7].ScalarMultiplication(&a[7], &twiddle) butterflyG2(&a[0], &a[1]) butterflyG2(&a[2], &a[3]) diff --git a/backend/groth16/bw6-633/mpcsetup/lagrange.go b/backend/groth16/bw6-633/mpcsetup/lagrange.go index e64a855f05..ab3889edb9 100644 --- a/backend/groth16/bw6-633/mpcsetup/lagrange.go +++ b/backend/groth16/bw6-633/mpcsetup/lagrange.go @@ -95,7 +95,6 @@ func kerDIF8G1(a []curve.G1Affine, twiddles [][]fr.Element, stage int) { butterflyG1(&a[5], &a[7]) twiddles[stage+1][1].BigInt(&twiddle) a[3].ScalarMultiplication(&a[3], &twiddle) - twiddles[stage+1][1].BigInt(&twiddle) a[7].ScalarMultiplication(&a[7], &twiddle) butterflyG1(&a[0], &a[1]) butterflyG1(&a[2], &a[3]) @@ -123,7 +122,6 @@ func kerDIF8G2(a []curve.G2Affine, twiddles [][]fr.Element, stage int) { butterflyG2(&a[5], &a[7]) twiddles[stage+1][1].BigInt(&twiddle) a[3].ScalarMultiplication(&a[3], &twiddle) - twiddles[stage+1][1].BigInt(&twiddle) a[7].ScalarMultiplication(&a[7], &twiddle) butterflyG2(&a[0], &a[1]) butterflyG2(&a[2], &a[3]) diff --git a/backend/groth16/bw6-761/mpcsetup/lagrange.go b/backend/groth16/bw6-761/mpcsetup/lagrange.go index 5e9cff074c..69661abbf5 100644 --- a/backend/groth16/bw6-761/mpcsetup/lagrange.go +++ b/backend/groth16/bw6-761/mpcsetup/lagrange.go @@ -95,7 +95,6 @@ func kerDIF8G1(a []curve.G1Affine, twiddles [][]fr.Element, stage int) { butterflyG1(&a[5], &a[7]) twiddles[stage+1][1].BigInt(&twiddle) a[3].ScalarMultiplication(&a[3], &twiddle) - twiddles[stage+1][1].BigInt(&twiddle) a[7].ScalarMultiplication(&a[7], &twiddle) butterflyG1(&a[0], &a[1]) butterflyG1(&a[2], &a[3]) @@ -123,7 +122,6 @@ func kerDIF8G2(a []curve.G2Affine, twiddles [][]fr.Element, stage int) { butterflyG2(&a[5], &a[7]) twiddles[stage+1][1].BigInt(&twiddle) a[3].ScalarMultiplication(&a[3], &twiddle) - twiddles[stage+1][1].BigInt(&twiddle) a[7].ScalarMultiplication(&a[7], &twiddle) butterflyG2(&a[0], &a[1]) butterflyG2(&a[2], &a[3]) diff --git a/internal/generator/backend/template/zkpschemes/groth16/mpcsetup/lagrange.go.tmpl b/internal/generator/backend/template/zkpschemes/groth16/mpcsetup/lagrange.go.tmpl index c0537f3b6c..e4da9c2ba7 100644 --- a/internal/generator/backend/template/zkpschemes/groth16/mpcsetup/lagrange.go.tmpl +++ b/internal/generator/backend/template/zkpschemes/groth16/mpcsetup/lagrange.go.tmpl @@ -90,7 +90,6 @@ func kerDIF8G1(a []curve.G1Affine, twiddles [][]fr.Element, stage int) { butterflyG1(&a[5], &a[7]) twiddles[stage+1][1].BigInt(&twiddle) a[3].ScalarMultiplication(&a[3], &twiddle) - twiddles[stage+1][1].BigInt(&twiddle) a[7].ScalarMultiplication(&a[7], &twiddle) butterflyG1(&a[0], &a[1]) butterflyG1(&a[2], &a[3]) @@ -118,7 +117,6 @@ func kerDIF8G2(a []curve.G2Affine, twiddles [][]fr.Element, stage int) { butterflyG2(&a[5], &a[7]) twiddles[stage+1][1].BigInt(&twiddle) a[3].ScalarMultiplication(&a[3], &twiddle) - twiddles[stage+1][1].BigInt(&twiddle) a[7].ScalarMultiplication(&a[7], &twiddle) butterflyG2(&a[0], &a[1]) butterflyG2(&a[2], &a[3])