status-im
/
eth2.0-specs
mirror of https://github.com/status-im/eth2.0-specs.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

modify g1_lincomb and g2_lincomb

This commit is contained in:
Kevaundray Wedderburn 2024-04-23 14:21:54 +01:00
parent d55da1bdb1
commit 5eb19b3cef
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
specs/_features/eip7594/polynomial-commitments-sampling.md
View File

@ -130,13 +130,13 @@ def coset_evals_to_cell(coset_evals: CosetEvals) -> Cell:
```python ```python
def g2_lincomb(points: Sequence[G2Point], scalars: Sequence[BLSFieldElement]) -> Bytes96: def g2_lincomb(points: Sequence[G2Point], scalars: Sequence[BLSFieldElement]) -> Bytes96:
""" """
BLS multiscalar multiplication in G2. This function can be optimized using Pippenger's algorithm and variants. BLS multiscalar multiplication in G2. This can be naively implemented using double-and-add.
""" """
assert len(points) == len(scalars) assert len(points) == len(scalars)
points_g2 = [] points_g2 = []
for point in points: for point in points:
points_g2.append(bls.bytes96_to_G2(point)) points_g2.append(bls.bytes96_to_G2(point))
result = bls.g2_multi_exp(points_g2, scalars) result = bls.multi_exp(points_g2, scalars)
return Bytes96(bls.G2_to_bytes96(result)) return Bytes96(bls.G2_to_bytes96(result))
``` ```

4
specs/deneb/polynomial-commitments.md
View File

@ -274,13 +274,13 @@ def div(x: BLSFieldElement, y: BLSFieldElement) -> BLSFieldElement:
```python ```python
def g1_lincomb(points: Sequence[KZGCommitment], scalars: Sequence[BLSFieldElement]) -> KZGCommitment: def g1_lincomb(points: Sequence[KZGCommitment], scalars: Sequence[BLSFieldElement]) -> KZGCommitment:
""" """
BLS multiscalar multiplication. This function can be optimized using Pippenger's algorithm and variants. BLS multiscalar multiplication in G1. This can be naively implemented using double-and-add.
""" """
assert len(points) == len(scalars) assert len(points) == len(scalars)
points_g1 = [] points_g1 = []
for point in points: for point in points:
points_g1.append(bls.bytes48_to_G1(point)) points_g1.append(bls.bytes48_to_G1(point))
result = bls.g1_multi_exp(points_g1, scalars) result = bls.multi_exp(points_g1, scalars)
return KZGCommitment(bls.G1_to_bytes48(result)) return KZGCommitment(bls.G1_to_bytes48(result))
``` ```