-
Notifications
You must be signed in to change notification settings - Fork 125
Comparing changes
Open a pull request
base repository: aws/aws-lc
base: v1.31.0
head repository: aws/aws-lc
compare: main
Commits on Sep 15, 2023
-
Add bignum_copy_row_from_table and its Neon-variants for AArch64
This patch adds constant-time table-lookup functions (`bignum_copy_row_from_table*`) and their proofs. This patch only contains its AArch64 version, and the x86 version will follow later. The failure of proving its x86 version seems to be related to handling negative offsets, and (if this is right) this can be avoided by simply proving positive offsets. I will record this as a Github issue with a promise that the x86 scalar version will be provided after the RSA related things are finished. This patch contains four table-lookup functions: 1. `bignum_copy_row_from_table`: a lookup for a generic table size 2. `bignum_copy_row_from_table_8n_neon`: a Neon version for a table whose width is a multiple of 8 3. `bignum_copy_row_from_table_16_neon`: Neon implementation of a table whose width is 16*64=1024 bits 4. `bignum_copy_row_from_table_32_neon`: Neon implementation of a table whose width is 32*64=2048 bits The last two versions are initially written by Hanno Becker. To successfully compile and run `test` and `benchmark` in x86, the scalar `bignum_copy_row_from_table` function is processed as a way similar to Neon functions. s2n-bignum original commit: awslabs/s2n-bignum@f1ad23c
Configuration menu - View commit details
-
Copy full SHA for 4b9db24 - Browse repository at this point
Copy the full SHA 4b9db24View commit details -
Add bignum_copy_row_from_table and its Neon-variants for AArch64
This patch adds constant-time table-lookup functions (`bignum_copy_row_from_table*`) and their proofs. This patch only contains its AArch64 version, and the x86 version will follow later. The failure of proving its x86 version seems to be related to handling negative offsets, and (if this is right) this can be avoided by simply proving positive offsets. I will record this as a Github issue with a promise that the x86 scalar version will be provided after the RSA related things are finished. This patch contains four table-lookup functions: 1. `bignum_copy_row_from_table`: a lookup for a generic table size 2. `bignum_copy_row_from_table_8n_neon`: a Neon version for a table whose width is a multiple of 8 3. `bignum_copy_row_from_table_16_neon`: Neon implementation of a table whose width is 16*64=1024 bits 4. `bignum_copy_row_from_table_32_neon`: Neon implementation of a table whose width is 32*64=2048 bits The last two versions are initially written by Hanno Becker. To successfully compile and run `test` and `benchmark` in x86, the scalar `bignum_copy_row_from_table` function is processed as a way similar to Neon functions. s2n-bignum original commit: awslabs/s2n-bignum@f1ad23c
Configuration menu - View commit details
-
Copy full SHA for 11b105a - Browse repository at this point
Copy the full SHA 11b105aView commit details
Commits on Sep 16, 2023
-
Merge pull request #81 from aqjune-aws/tablelookup
Add bignum_copy_row_from_table and its Neon-variants for AArch64 s2n-bignum original commit: awslabs/s2n-bignum@50aa85b
Configuration menu - View commit details
-
Copy full SHA for 4b07e28 - Browse repository at this point
Copy the full SHA 4b07e28View commit details -
Merge pull request #81 from aqjune-aws/tablelookup
Add bignum_copy_row_from_table and its Neon-variants for AArch64 s2n-bignum original commit: awslabs/s2n-bignum@50aa85b
Configuration menu - View commit details
-
Copy full SHA for 0b39dc3 - Browse repository at this point
Copy the full SHA 0b39dc3View commit details -
Merge branch 'awslabs:main' into main
s2n-bignum original commit: awslabs/s2n-bignum@74d34c3
Configuration menu - View commit details
-
Copy full SHA for da70cb3 - Browse repository at this point
Copy the full SHA da70cb3View commit details -
Merge branch 'awslabs:main' into main
s2n-bignum original commit: awslabs/s2n-bignum@74d34c3
Configuration menu - View commit details
-
Copy full SHA for a45a78f - Browse repository at this point
Copy the full SHA a45a78fView commit details
Commits on Oct 5, 2023
-
Add Ed25519 point compression encoding
This implements the point compression encoding to a byte array from https://datatracker.ietf.org/doc/html/rfc8032#section-5.1.2 as function "edwards25519_encode". It assumes the input is a point (x,y) on the edwards25519 curve, with coordinates reduced mod p_25519 = 2^255 - 19, and does not check any of that. s2n-bignum original commit: awslabs/s2n-bignum@67430be
Configuration menu - View commit details
-
Copy full SHA for 8b4a9fd - Browse repository at this point
Copy the full SHA 8b4a9fdView commit details -
Add Ed25519 point compression encoding
This implements the point compression encoding to a byte array from https://datatracker.ietf.org/doc/html/rfc8032#section-5.1.2 as function "edwards25519_encode". It assumes the input is a point (x,y) on the edwards25519 curve, with coordinates reduced mod p_25519 = 2^255 - 19, and does not check any of that. s2n-bignum original commit: awslabs/s2n-bignum@67430be
Configuration menu - View commit details
-
Copy full SHA for bb3baa5 - Browse repository at this point
Copy the full SHA bb3baa5View commit details
Commits on Oct 11, 2023
-
Merge branch 'awslabs:main' into main
s2n-bignum original commit: awslabs/s2n-bignum@b49b4f9
Configuration menu - View commit details
-
Copy full SHA for c66db90 - Browse repository at this point
Copy the full SHA c66db90View commit details -
Merge branch 'awslabs:main' into main
s2n-bignum original commit: awslabs/s2n-bignum@b49b4f9
Configuration menu - View commit details
-
Copy full SHA for 342a2ba - Browse repository at this point
Copy the full SHA 342a2baView commit details
Commits on Oct 14, 2023
-
Add Ed25519 point decoding function
This implements point decoding from a 256-bit little-endian byte sequence to a point (x,y) on the edwards25519 curve as specified in https://datatracker.ietf.org/doc/html/rfc8032#section-5.1.3 The function returns 0 for success and 1 for failure, the latter meaning that the input is not the encoding of any edwards25519 point. s2n-bignum original commit: awslabs/s2n-bignum@97f7493
Configuration menu - View commit details
-
Copy full SHA for 0ddf04b - Browse repository at this point
Copy the full SHA 0ddf04bView commit details -
Add Ed25519 point decoding function
This implements point decoding from a 256-bit little-endian byte sequence to a point (x,y) on the edwards25519 curve as specified in https://datatracker.ietf.org/doc/html/rfc8032#section-5.1.3 The function returns 0 for success and 1 for failure, the latter meaning that the input is not the encoding of any edwards25519 point. s2n-bignum original commit: awslabs/s2n-bignum@97f7493
Configuration menu - View commit details
-
Copy full SHA for 755bc0b - Browse repository at this point
Copy the full SHA 755bc0bView commit details
Commits on Oct 18, 2023
-
Add generic size curve25519/edwards25519 basepoint modulus
The function bignum_mod_n25519 performs reduction of an input of any size (k digits) modulo the order of the curve25519/edwards25519 basepoint, n_25519 = 2^252 + 27742317777372353535851937790883648493. It generalizes bignum_mod_n25519_4, which is the special case of 4-digit (256-bit) inputs. s2n-bignum original commit: awslabs/s2n-bignum@e23fd30
Configuration menu - View commit details
-
Copy full SHA for c193556 - Browse repository at this point
Copy the full SHA c193556View commit details -
Add generic size curve25519/edwards25519 basepoint modulus
The function bignum_mod_n25519 performs reduction of an input of any size (k digits) modulo the order of the curve25519/edwards25519 basepoint, n_25519 = 2^252 + 27742317777372353535851937790883648493. It generalizes bignum_mod_n25519_4, which is the special case of 4-digit (256-bit) inputs. s2n-bignum original commit: awslabs/s2n-bignum@e23fd30
Configuration menu - View commit details
-
Copy full SHA for d9d1d38 - Browse repository at this point
Copy the full SHA d9d1d38View commit details
Commits on Oct 20, 2023
-
Add multiply-add modulo the curve25519/edwards25519 basepoint order
The functions bignum_madd_n25519 and bignum_madd_n25519_alt perform multiply-add modulo the order of the curve25519/edwards25519 basepoint, n_25519 = 2^252 + 27742317777372353535851937790883648493, i.e. z := (x * y + c) mod n_25519 where all variables are 256 bits. s2n-bignum original commit: awslabs/s2n-bignum@7fc5883
Configuration menu - View commit details
-
Copy full SHA for fdd2d5e - Browse repository at this point
Copy the full SHA fdd2d5eView commit details -
Merge branch 'awslabs:main' into main
s2n-bignum original commit: awslabs/s2n-bignum@2c8e273
Configuration menu - View commit details
-
Copy full SHA for fc4c0cb - Browse repository at this point
Copy the full SHA fc4c0cbView commit details -
Merge branch 'awslabs:main' into main
s2n-bignum original commit: awslabs/s2n-bignum@2c8e273
Configuration menu - View commit details
-
Copy full SHA for 1549707 - Browse repository at this point
Copy the full SHA 1549707View commit details
Commits on Oct 28, 2023
-
Switch curve25519 operations to divstep-based modular inverse
This replaces the inlined variant of "bignum_modinv" with code from "bignum_inv_p25519" in all "curve25519_" functions returning an affine point and hence using modular inverse. There are also a few consequential changes related to the slightly different amount of temporary storage needed by this function. s2n-bignum original commit: awslabs/s2n-bignum@777d574
Configuration menu - View commit details
-
Copy full SHA for 01370f3 - Browse repository at this point
Copy the full SHA 01370f3View commit details -
Switch curve25519 operations to divstep-based modular inverse
This replaces the inlined variant of "bignum_modinv" with code from "bignum_inv_p25519" in all "curve25519_" functions returning an affine point and hence using modular inverse. There are also a few consequential changes related to the slightly different amount of temporary storage needed by this function. s2n-bignum original commit: awslabs/s2n-bignum@777d574
Configuration menu - View commit details
-
Copy full SHA for ee9dd97 - Browse repository at this point
Copy the full SHA ee9dd97View commit details
Commits on Nov 1, 2023
-
Merge pull request #88 from torben-hansen/document_x25519_zero_check_no
Document that x25519 function does not implement zero-check s2n-bignum original commit: awslabs/s2n-bignum@5c4b15a
Configuration menu - View commit details
-
Copy full SHA for cc0e9f6 - Browse repository at this point
Copy the full SHA cc0e9f6View commit details -
Merge pull request #88 from torben-hansen/document_x25519_zero_check_no
Document that x25519 function does not implement zero-check s2n-bignum original commit: awslabs/s2n-bignum@5c4b15a
Configuration menu - View commit details
-
Copy full SHA for f5d2c1f - Browse repository at this point
Copy the full SHA f5d2c1fView commit details -
Merge branch 'awslabs:main' into main
s2n-bignum original commit: awslabs/s2n-bignum@73ec55a
Configuration menu - View commit details
-
Copy full SHA for d25a459 - Browse repository at this point
Copy the full SHA d25a459View commit details -
Merge branch 'awslabs:main' into main
s2n-bignum original commit: awslabs/s2n-bignum@73ec55a
Configuration menu - View commit details
-
Copy full SHA for 0698b40 - Browse repository at this point
Copy the full SHA 0698b40View commit details
Commits on Nov 2, 2023
-
Switch edwards25519 operations to divstep-based modular inverse
This replaces the inlined variant of "bignum_modinv" with code from "bignum_inv_p25519" in all "edwards25519_scalarmul*" functions. Again, there are consequential changes related to the slightly different amount of temporary storage needed by bignum_inv_p25519. s2n-bignum original commit: awslabs/s2n-bignum@7e7b18e
Configuration menu - View commit details
-
Copy full SHA for 2dda6ab - Browse repository at this point
Copy the full SHA 2dda6abView commit details -
Switch edwards25519 operations to divstep-based modular inverse
This replaces the inlined variant of "bignum_modinv" with code from "bignum_inv_p25519" in all "edwards25519_scalarmul*" functions. Again, there are consequential changes related to the slightly different amount of temporary storage needed by bignum_inv_p25519. s2n-bignum original commit: awslabs/s2n-bignum@7e7b18e
Configuration menu - View commit details
-
Copy full SHA for 8fd6e1a - Browse repository at this point
Copy the full SHA 8fd6e1aView commit details
Commits on Nov 3, 2023
-
Merge pull request #87 from jargh/main
Ed25519 support and related updates s2n-bignum original commit: awslabs/s2n-bignum@db8409d
Configuration menu - View commit details
-
Copy full SHA for ca6fb90 - Browse repository at this point
Copy the full SHA ca6fb90View commit details -
Merge pull request #87 from jargh/main
Ed25519 support and related updates s2n-bignum original commit: awslabs/s2n-bignum@db8409d
Configuration menu - View commit details
-
Copy full SHA for f1227a0 - Browse repository at this point
Copy the full SHA f1227a0View commit details
Commits on Nov 4, 2023
-
Merge branch 'awslabs:main' into main
s2n-bignum original commit: awslabs/s2n-bignum@58a6bdf
Configuration menu - View commit details
-
Copy full SHA for 1c275ac - Browse repository at this point
Copy the full SHA 1c275acView commit details -
Merge branch 'awslabs:main' into main
s2n-bignum original commit: awslabs/s2n-bignum@58a6bdf
Configuration menu - View commit details
-
Copy full SHA for 1b9b66a - Browse repository at this point
Copy the full SHA 1b9b66aView commit details
Commits on Nov 6, 2023
-
Merge pull request #90 from jargh/main
Add BFM, BIC, FCSEL, INS, SUB, TRN1, TRN2, USHR, ZIP2 to ARM model s2n-bignum original commit: awslabs/s2n-bignum@f1caaf1
Configuration menu - View commit details
-
Copy full SHA for 7bcf96a - Browse repository at this point
Copy the full SHA 7bcf96aView commit details -
Merge pull request #90 from jargh/main
Add BFM, BIC, FCSEL, INS, SUB, TRN1, TRN2, USHR, ZIP2 to ARM model s2n-bignum original commit: awslabs/s2n-bignum@f1caaf1
Configuration menu - View commit details
-
Copy full SHA for 51ffa10 - Browse repository at this point
Copy the full SHA 51ffa10View commit details
Commits on Nov 14, 2023
-
Improve integer operation support in BOUNDER_RULE and BOUNDER_TAC
In general, BOUNDER_RULE now directly handles operations over Z and N, assuming an outer real_of_int / real_of_num cast into R (this is also automated in the tactic form BOUNDER_TAC). In particular, this change can greatly improve bounds for terms involving integer or natural number division and remainder (DIV, div, MOD and rem) as well as cutoff subtraction over N. There is also now support for conditionals, though the condition is not used as extra context, simply being the basis for a case split. This update rolls in various trivial typographic fixes in comments. s2n-bignum original commit: awslabs/s2n-bignum@ccefa2a
Configuration menu - View commit details
-
Copy full SHA for bc0ecf2 - Browse repository at this point
Copy the full SHA bc0ecf2View commit details -
Improve integer operation support in BOUNDER_RULE and BOUNDER_TAC
In general, BOUNDER_RULE now directly handles operations over Z and N, assuming an outer real_of_int / real_of_num cast into R (this is also automated in the tactic form BOUNDER_TAC). In particular, this change can greatly improve bounds for terms involving integer or natural number division and remainder (DIV, div, MOD and rem) as well as cutoff subtraction over N. There is also now support for conditionals, though the condition is not used as extra context, simply being the basis for a case split. This update rolls in various trivial typographic fixes in comments. s2n-bignum original commit: awslabs/s2n-bignum@ccefa2a
Configuration menu - View commit details
-
Copy full SHA for b5e5b8c - Browse repository at this point
Copy the full SHA b5e5b8cView commit details
Commits on Nov 15, 2023
-
Avoid duplicate labels in ed25519 x86 implementation
s2n-bignum original commit: awslabs/s2n-bignum@e6ef86f
Configuration menu - View commit details
-
Copy full SHA for 41b7e15 - Browse repository at this point
Copy the full SHA 41b7e15View commit details -
Avoid duplicate labels in ed25519 x86 implementation
s2n-bignum original commit: awslabs/s2n-bignum@e6ef86f
Configuration menu - View commit details
-
Copy full SHA for 16015b4 - Browse repository at this point
Copy the full SHA 16015b4View commit details
Commits on Nov 16, 2023
-
Merge pull request #92 from torben-hansen/fix_duplicate_labels_ed25519
Avoid duplicate labels in ed25519 x86 implementation s2n-bignum original commit: awslabs/s2n-bignum@f629458
Configuration menu - View commit details
-
Copy full SHA for 59a6357 - Browse repository at this point
Copy the full SHA 59a6357View commit details -
Merge pull request #92 from torben-hansen/fix_duplicate_labels_ed25519
Avoid duplicate labels in ed25519 x86 implementation s2n-bignum original commit: awslabs/s2n-bignum@f629458
Configuration menu - View commit details
-
Copy full SHA for 917bd14 - Browse repository at this point
Copy the full SHA 917bd14View commit details -
Merge branch 'awslabs:main' into main
s2n-bignum original commit: awslabs/s2n-bignum@c1fbdb5
Configuration menu - View commit details
-
Copy full SHA for 2fd7384 - Browse repository at this point
Copy the full SHA 2fd7384View commit details -
Merge branch 'awslabs:main' into main
s2n-bignum original commit: awslabs/s2n-bignum@c1fbdb5
Configuration menu - View commit details
-
Copy full SHA for e62d5c7 - Browse repository at this point
Copy the full SHA e62d5c7View commit details
Commits on Nov 17, 2023
-
Merge pull request #94 from jargh/main
64-bit SIMD regs in ARM model, better BOUNDER_RULE, slow-ARM field optimizations s2n-bignum original commit: awslabs/s2n-bignum@06781d2
Configuration menu - View commit details
-
Copy full SHA for 159ad31 - Browse repository at this point
Copy the full SHA 159ad31View commit details -
Merge pull request #94 from jargh/main
64-bit SIMD regs in ARM model, better BOUNDER_RULE, slow-ARM field optimizations s2n-bignum original commit: awslabs/s2n-bignum@06781d2
Configuration menu - View commit details
-
Copy full SHA for 9f82fda - Browse repository at this point
Copy the full SHA 9f82fdaView commit details
Commits on Nov 21, 2023
-
s2n-bignum original commit: awslabs/s2n-bignum@286d596
Configuration menu - View commit details
-
Copy full SHA for 919f88e - Browse repository at this point
Copy the full SHA 919f88eView commit details
Commits on Nov 22, 2023
-
Merge pull request #95 from torben-hansen/fix_stacz_typy
Fix GNU-stacz typo s2n-bignum original commit: awslabs/s2n-bignum@e57af82
Configuration menu - View commit details
-
Copy full SHA for 9fe40dd - Browse repository at this point
Copy the full SHA 9fe40ddView commit details -
Merge pull request #98 from torben-hansen/fix_static_array_qualifier_…
…mscv Replace static array qualifier with macro that maps to nothing if it detects an msvc compiler s2n-bignum original commit: awslabs/s2n-bignum@9e60dfc
Configuration menu - View commit details
-
Copy full SHA for 0308bfc - Browse repository at this point
Copy the full SHA 0308bfcView commit details
Commits on Nov 27, 2023
-
Make parameter to ed25519 decode function const
s2n-bignum original commit: awslabs/s2n-bignum@d93670d
Configuration menu - View commit details
-
Copy full SHA for 0694a87 - Browse repository at this point
Copy the full SHA 0694a87View commit details -
Make parameter to ed25519 decode function const
s2n-bignum original commit: awslabs/s2n-bignum@d93670d
Configuration menu - View commit details
-
Copy full SHA for 937220a - Browse repository at this point
Copy the full SHA 937220aView commit details
Commits on Nov 28, 2023
-
Merge pull request #99 from torben-hansen/ed25519_decode_signature_in…
…put_const Make _input_ parameter to ed25519 decode function const s2n-bignum original commit: awslabs/s2n-bignum@4097178
Configuration menu - View commit details
-
Copy full SHA for 9985a1b - Browse repository at this point
Copy the full SHA 9985a1bView commit details -
Merge pull request #99 from torben-hansen/ed25519_decode_signature_in…
…put_const Make _input_ parameter to ed25519 decode function const s2n-bignum original commit: awslabs/s2n-bignum@4097178
Configuration menu - View commit details
-
Copy full SHA for dc716ed - Browse repository at this point
Copy the full SHA dc716edView commit details
Commits on Jan 23, 2024
-
Allow MIT-0 license as well as Apache-2.0 and ISC (#104)
* Allow MIT-0 license as well as Apache-2.0 and ISC * Add appropriate year range to MIT-0 license s2n-bignum original commit: awslabs/s2n-bignum@48fb153
Configuration menu - View commit details
-
Copy full SHA for ce316eb - Browse repository at this point
Copy the full SHA ce316ebView commit details -
Allow MIT-0 license as well as Apache-2.0 and ISC (#104)
* Allow MIT-0 license as well as Apache-2.0 and ISC * Add appropriate year range to MIT-0 license s2n-bignum original commit: awslabs/s2n-bignum@48fb153
Configuration menu - View commit details
-
Copy full SHA for f133bad - Browse repository at this point
Copy the full SHA f133badView commit details
There are no files selected for viewing