Feat/kzg extended transcript

[ThomasPiellard]

Description

In the kzg packages, the functions BatchOpenSinglePoint, FoldProof and BatchOpenSinglePoint now accepts optional parameters dataTranscript ...[]byte .

Those functions require to fold some data using a challenge derived using Fiat Shamir (the protocol is normally interactive). The data in the signature of those functions are part of transcript, but in some situations the transcript might contain other arguments, which are now passed in dataTranscript.

Type of change

Please delete options that are not relevant.

• New feature (non-breaking change which adds functionality)

How has this been tested?

tested in TestBatchVerifySinglePoint for each curve

Checklist:

• I have performed a self-review of my code
• I have added tests that prove my fix is effective or that my feature works
• I did not modify files generated from templates
• New and existing unit tests pass locally with my changes
• Any dependent changes have been merged and published in downstream modules

[github-actions]

Summary

✅ Passed: 5903
❌ Failed: 0
🚧 Skipped: 5

🚧 Skipped

• TestReference (github.com/consensys/gnark-crypto/ecc/bn254/fr/sis)
• TestLimbDecomposition (github.com/consensys/gnark-crypto/ecc/bn254/fr/sis)
• TestAppend (github.com/consensys/gnark-crypto/ecc/bn254/fr/tensor-commitment)
• TestAppendSis (github.com/consensys/gnark-crypto/ecc/bn254/fr/tensor-commitment)
• TestCommitmentSis (github.com/consensys/gnark-crypto/ecc/bn254/fr/tensor-commitment)

[github-actions]

Summary

✅ Passed: 5903
❌ Failed: 0
🚧 Skipped: 5

🚧 Skipped

• TestReference (github.com/consensys/gnark-crypto/ecc/bn254/fr/sis)
• TestLimbDecomposition (github.com/consensys/gnark-crypto/ecc/bn254/fr/sis)
• TestAppend (github.com/consensys/gnark-crypto/ecc/bn254/fr/tensor-commitment)
• TestAppendSis (github.com/consensys/gnark-crypto/ecc/bn254/fr/tensor-commitment)
• TestCommitmentSis (github.com/consensys/gnark-crypto/ecc/bn254/fr/tensor-commitment)