Skip to content

Commit

Permalink
build generify refac
Browse files Browse the repository at this point in the history
  • Loading branch information
Tabaie committed Jul 30, 2024
1 parent e133688 commit a5017f4
Show file tree
Hide file tree
Showing 18 changed files with 27 additions and 27 deletions.
4 changes: 2 additions & 2 deletions ecc/bls12-377/fr/pedersen/pedersen.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion ecc/bls12-377/fr/pedersen/pedersen_test.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 2 additions & 2 deletions ecc/bls12-378/fr/pedersen/pedersen.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion ecc/bls12-378/fr/pedersen/pedersen_test.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 2 additions & 2 deletions ecc/bls12-381/fr/pedersen/pedersen.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion ecc/bls12-381/fr/pedersen/pedersen_test.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 2 additions & 2 deletions ecc/bls24-315/fr/pedersen/pedersen.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion ecc/bls24-315/fr/pedersen/pedersen_test.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 2 additions & 2 deletions ecc/bls24-317/fr/pedersen/pedersen.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion ecc/bls24-317/fr/pedersen/pedersen_test.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 2 additions & 2 deletions ecc/bw6-633/fr/pedersen/pedersen.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion ecc/bw6-633/fr/pedersen/pedersen_test.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 2 additions & 2 deletions ecc/bw6-756/fr/pedersen/pedersen.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion ecc/bw6-756/fr/pedersen/pedersen_test.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 2 additions & 2 deletions ecc/bw6-761/fr/pedersen/pedersen.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion ecc/bw6-761/fr/pedersen/pedersen_test.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 2 additions & 2 deletions internal/generator/pedersen/template/pedersen.go.tmpl
Original file line number Diff line number Diff line change
Expand Up @@ -218,12 +218,12 @@ func (vk *VerifyingKey) Verify(commitment curve.G1Affine, knowledgeProof curve.G
}
return nil
}
// BatchVerify verifies n separately generated proofs of knowledge from different setup ceremonies, using n+1 pairings rather than 2n.
// BatchVerifyMultiVk verifies n separately generated proofs of knowledge from different setup ceremonies, using n+1 pairings rather than 2n.
// vk[i].G must be the same for all.
// combinationCoeff is used as a linear combination coefficient to fold separate proofs into one.
// In an interactive setting, it must be randomized by the verifier and sent over to the prover.
// Otherwise, it must be generated via Fiat-Shamir.
func BatchVerify(vk []VerifyingKey, commitments []curve.G1Affine, pok []curve.G1Affine, combinationCoeff fr.Element) error {
func BatchVerifyMultiVk(vk []VerifyingKey, commitments []curve.G1Affine, pok []curve.G1Affine, combinationCoeff fr.Element) error {
if len(commitments) != len(vk) || len(pok) != len(vk) {
return errors.New("length mismatch")
}
Expand Down
2 changes: 1 addition & 1 deletion internal/generator/pedersen/template/pedersen.test.go.tmpl
Original file line number Diff line number Diff line change
Expand Up @@ -210,5 +210,5 @@ func TestSemiFoldProofs(t *testing.T) {
_, err = challenge.SetRandom()
assert.NoError(t, err)

assert.NoError(t, BatchVerify(vk, commitments, proofs, challenge))
assert.NoError(t, BatchVerifyMultiVk(vk, commitments, proofs, challenge))
}

0 comments on commit a5017f4

Please sign in to comment.