Skip to content

Update EIP-3026: fix input size specification in G2 multiexponentiation ABI #9711

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
mdqst wants to merge 1 commit into from
Closed

Update EIP-3026: fix input size specification in G2 multiexponentiation ABI #9711

Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
13 changes: 6 additions & 7 deletions EIPS/eip-3026.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -159,15 +159,14 @@
- Field elements encoding rules apply (obviously)
- Input has invalid length

#### ABI for G2 multiexponentiation
#### ABI for G2 multiexponentiation

G2 multiplication call expects `240*k` bytes as an input that is interpreted as byte concatenation of `k` slices each of them being a byte concatenation of encoding of G2 point (`192` bytes) and encoding of a scalar value (`48` bytes). Output is an encoding of multiexponentiation operation result.
G2 multiexponentiation call expects `256*k` bytes as an input that is interpreted as byte concatenation of `k` slices, each of them being a byte concatenation of encoding of G2 point (`192` bytes) and encoding of a scalar value (`64` bytes). Output is an encoding of multiexponentiation operation result.

Error cases:

- Any of G2 points being not on the curve must result in error
- Field elements encoding rules apply (obviously)
- Input has invalid length
Error cases:
- Any of G2 points being not on the curve must result in error

Check failure on line 167 in EIPS/eip-3026.md

View workflow job for this annotation

GitHub Actions / Markdown Linter

Lists should be surrounded by blank lines [Context: "- Any of G2 points being not o..."] 

EIPS/eip-3026.md:167 MD032/blanks-around-lists Lists should be surrounded by blank lines [Context: "- Any of G2 points being not o..."]

Check failure on line 167 in EIPS/eip-3026.md

View workflow job for this annotation

GitHub Actions / Markdown Linter

Lists should be surrounded by blank lines [Context: "- Any of G2 points being not o..."] 

EIPS/eip-3026.md:167 MD032/blanks-around-lists Lists should be surrounded by blank lines [Context: "- Any of G2 points being not o..."]
- Field elements encoding rules apply (obviously)
- Input length must be a multiple of `256`

#### ABI for pairing

Expand Down
Loading