precompilles: Implement mapping of field elements to BLS12-381 curve points #1012
+151 −37
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
rodiazet added precompiles rodiazet force-pushed the bls-map-to-point branch from 47abe37 to c56fca8 Compare 
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@ ## master #1012 +/- ## ========================================== + Coverage 94.08% 94.15% +0.06% ========================================== Files 147 147 Lines 15748 15796 +48 ========================================== + Hits 14816 14872 +56 + Misses 932 924 -8
Flags with carried forward coverage won't be shown. Click here to find out more.
|
rodiazet changed the title BLS12-381 curve pointsBLS12-381 curve points rodiazet force-pushed the bls-map-to-point branch 2 times, most recently from 3f5cc8e to d4f5e81 Compare rodiazet force-pushed the bls-map-to-point branch 2 times, most recently from 51421d0 to de4c167 Compare 
chfast requested changes Sep 18, 2024
rodiazet force-pushed the bls-map-to-point branch 3 times, most recently from b53e3f2 to 06af5a5 Compare 
rodiazet force-pushed the bls-map-to-point branch from 06af5a5 to dac8d4d Compare chfast approved these changes Sep 18, 2024
chfast added a commit that referenced this pull request Sep 18, 2024
Implementation of the `bls12_pairing_check` precompile: According to spec https://eips.ethereum.org/EIPS/eip-2537#abi-for-pairing-check Depends on: #1012 Co-authored-by: Paweł Bylica <pawel@ethereum.org>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Add this suggestion to a batch that can be applied as a single commit. This suggestion is invalid because no changes were made to the code. Suggestions cannot be applied while the pull request is closed. Suggestions cannot be applied while viewing a subset of changes. Only one suggestion per line can be applied in a batch. Add this suggestion to a batch that can be applied as a single commit. Applying suggestions on deleted lines is not supported. You must change the existing code in this line in order to create a valid suggestion. Outdated suggestions cannot be applied. This suggestion has been applied or marked resolved. Suggestions cannot be applied from pending reviews. Suggestions cannot be applied on multi-line comments. Suggestions cannot be applied while the pull request is queued to merge. Suggestion cannot be applied right now. Please check back later.
Implementation of the
bls12_map_fp_to_g1andbls12_map_fp2_to_g2precompiles: mapping offpfield element to a point onE1curve (BLS12-381) and mappingfp2extension field element to a point onE2curve (BLS12-381) according to the EIP-2537 spec https://eips.ethereum.org/EIPS/eip-2537#abi-for-mapping-fp-element-to-g1-point and https://eips.ethereum.org/EIPS/eip-2537#abi-for-mapping-fp2-element-to-g2-point.Depends on: #1010