Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion repo_subpaths_for_grammar_check.md
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ Status legend: `[ ]` pending, `[~]` in progress, `[x]` complete
- [x] `src/ethereum/forks/*/vm/precompiled_contracts/modexp.py`, `alt_bn128.py` (~38 files)
- [x] `src/ethereum/forks/*/vm/precompiled_contracts/blake2f.py` (~17 files)
- [x] `src/ethereum/forks/*/vm/precompiled_contracts/point_evaluation.py`, `p256verify.py` (~16 files)
- [ ] `src/ethereum/forks/*/vm/precompiled_contracts/bls12_381/*.py` (~32 files)
- [x] `src/ethereum/forks/*/vm/precompiled_contracts/bls12_381/*.py` (~32 files)

## src/ethereum/forks - Utils & State

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ def bls12_pairing(evm: Evm) -> None:
Raises
------
InvalidParameter
If the input length is invalid or if sub-group check fails.
If the input length is invalid or if the subgroup check fails.

"""
data = evm.message.data
Expand All @@ -54,12 +54,12 @@ def bls12_pairing(evm: Evm) -> None:
g1_slice = data[g1_start : g1_start + Uint(128)]
g1_point = bytes_to_g1(bytes(g1_slice))
if not is_inf(bls12_multiply(g1_point, curve_order)):
raise InvalidParameter("Sub-group check failed for G1 point.")
raise InvalidParameter("Subgroup check failed for G1 point.")

g2_slice = data[g2_start : g2_start + Uint(256)]
g2_point = bytes_to_g2(bytes(g2_slice))
if not is_inf(bls12_multiply(g2_point, curve_order)):
raise InvalidParameter("Sub-group check failed for G2 point.")
raise InvalidParameter("Subgroup check failed for G2 point.")

result *= pairing(g2_point, g1_point)

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ def bls12_pairing(evm: Evm) -> None:
Raises
------
InvalidParameter
If the input length is invalid or if sub-group check fails.
If the input length is invalid or if the subgroup check fails.

"""
data = evm.message.data
Expand All @@ -54,12 +54,12 @@ def bls12_pairing(evm: Evm) -> None:
g1_slice = data[g1_start : g1_start + Uint(128)]
g1_point = bytes_to_g1(bytes(g1_slice))
if not is_inf(bls12_multiply(g1_point, curve_order)):
raise InvalidParameter("Sub-group check failed for G1 point.")
raise InvalidParameter("Subgroup check failed for G1 point.")

g2_slice = data[g2_start : g2_start + Uint(256)]
g2_point = bytes_to_g2(bytes(g2_slice))
if not is_inf(bls12_multiply(g2_point, curve_order)):
raise InvalidParameter("Sub-group check failed for G2 point.")
raise InvalidParameter("Subgroup check failed for G2 point.")

result *= pairing(g2_point, g1_point)

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ def bls12_pairing(evm: Evm) -> None:
Raises
------
InvalidParameter
If the input length is invalid or if sub-group check fails.
If the input length is invalid or if the subgroup check fails.

"""
data = evm.message.data
Expand All @@ -54,12 +54,12 @@ def bls12_pairing(evm: Evm) -> None:
g1_slice = data[g1_start : g1_start + Uint(128)]
g1_point = bytes_to_g1(bytes(g1_slice))
if not is_inf(bls12_multiply(g1_point, curve_order)):
raise InvalidParameter("Sub-group check failed for G1 point.")
raise InvalidParameter("Subgroup check failed for G1 point.")

g2_slice = data[g2_start : g2_start + Uint(256)]
g2_point = bytes_to_g2(bytes(g2_slice))
if not is_inf(bls12_multiply(g2_point, curve_order)):
raise InvalidParameter("Sub-group check failed for G2 point.")
raise InvalidParameter("Subgroup check failed for G2 point.")

result *= pairing(g2_point, g1_point)

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ def bls12_pairing(evm: Evm) -> None:
Raises
------
InvalidParameter
If the input length is invalid or if sub-group check fails.
If the input length is invalid or if the subgroup check fails.

"""
data = evm.message.data
Expand All @@ -54,12 +54,12 @@ def bls12_pairing(evm: Evm) -> None:
g1_slice = data[g1_start : g1_start + Uint(128)]
g1_point = bytes_to_g1(bytes(g1_slice))
if not is_inf(bls12_multiply(g1_point, curve_order)):
raise InvalidParameter("Sub-group check failed for G1 point.")
raise InvalidParameter("Subgroup check failed for G1 point.")

g2_slice = data[g2_start : g2_start + Uint(256)]
g2_point = bytes_to_g2(bytes(g2_slice))
if not is_inf(bls12_multiply(g2_point, curve_order)):
raise InvalidParameter("Sub-group check failed for G2 point.")
raise InvalidParameter("Subgroup check failed for G2 point.")

result *= pairing(g2_point, g1_point)

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ def bls12_pairing(evm: Evm) -> None:
Raises
------
InvalidParameter
If the input length is invalid or if sub-group check fails.
If the input length is invalid or if the subgroup check fails.

"""
data = evm.message.data
Expand All @@ -54,12 +54,12 @@ def bls12_pairing(evm: Evm) -> None:
g1_slice = data[g1_start : g1_start + Uint(128)]
g1_point = bytes_to_g1(bytes(g1_slice))
if not is_inf(bls12_multiply(g1_point, curve_order)):
raise InvalidParameter("Sub-group check failed for G1 point.")
raise InvalidParameter("Subgroup check failed for G1 point.")

g2_slice = data[g2_start : g2_start + Uint(256)]
g2_point = bytes_to_g2(bytes(g2_slice))
if not is_inf(bls12_multiply(g2_point, curve_order)):
raise InvalidParameter("Sub-group check failed for G2 point.")
raise InvalidParameter("Subgroup check failed for G2 point.")

result *= pairing(g2_point, g1_point)

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ def bls12_pairing(evm: Evm) -> None:
Raises
------
InvalidParameter
If the input length is invalid or if sub-group check fails.
If the input length is invalid or if the subgroup check fails.

"""
data = evm.message.data
Expand All @@ -54,12 +54,12 @@ def bls12_pairing(evm: Evm) -> None:
g1_slice = data[g1_start : g1_start + Uint(128)]
g1_point = bytes_to_g1(bytes(g1_slice))
if not is_inf(bls12_multiply(g1_point, curve_order)):
raise InvalidParameter("Sub-group check failed for G1 point.")
raise InvalidParameter("Subgroup check failed for G1 point.")

g2_slice = data[g2_start : g2_start + Uint(256)]
g2_point = bytes_to_g2(bytes(g2_slice))
if not is_inf(bls12_multiply(g2_point, curve_order)):
raise InvalidParameter("Sub-group check failed for G2 point.")
raise InvalidParameter("Subgroup check failed for G2 point.")

result *= pairing(g2_point, g1_point)

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ def bls12_pairing(evm: Evm) -> None:
Raises
------
InvalidParameter
If the input length is invalid or if sub-group check fails.
If the input length is invalid or if the subgroup check fails.

"""
data = evm.message.data
Expand All @@ -54,12 +54,12 @@ def bls12_pairing(evm: Evm) -> None:
g1_slice = data[g1_start : g1_start + Uint(128)]
g1_point = bytes_to_g1(bytes(g1_slice))
if not is_inf(bls12_multiply(g1_point, curve_order)):
raise InvalidParameter("Sub-group check failed for G1 point.")
raise InvalidParameter("Subgroup check failed for G1 point.")

g2_slice = data[g2_start : g2_start + Uint(256)]
g2_point = bytes_to_g2(bytes(g2_slice))
if not is_inf(bls12_multiply(g2_point, curve_order)):
raise InvalidParameter("Sub-group check failed for G2 point.")
raise InvalidParameter("Subgroup check failed for G2 point.")

result *= pairing(g2_point, g1_point)

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ def bls12_pairing(evm: Evm) -> None:
Raises
------
InvalidParameter
If the input length is invalid or if sub-group check fails.
If the input length is invalid or if the subgroup check fails.

"""
data = evm.message.data
Expand All @@ -54,12 +54,12 @@ def bls12_pairing(evm: Evm) -> None:
g1_slice = data[g1_start : g1_start + Uint(128)]
g1_point = bytes_to_g1(bytes(g1_slice))
if not is_inf(bls12_multiply(g1_point, curve_order)):
raise InvalidParameter("Sub-group check failed for G1 point.")
raise InvalidParameter("Subgroup check failed for G1 point.")

g2_slice = data[g2_start : g2_start + Uint(256)]
g2_point = bytes_to_g2(bytes(g2_slice))
if not is_inf(bls12_multiply(g2_point, curve_order)):
raise InvalidParameter("Sub-group check failed for G2 point.")
raise InvalidParameter("Subgroup check failed for G2 point.")

result *= pairing(g2_point, g1_point)

Expand Down
Loading