Skip to content
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

Jump to bottom

Add invariant checking for scalars #1373

Merged
merged 3 commits into from
Aug 18, 2023
Merged

Add invariant checking for scalars #1373

merged 3 commits into from
Aug 18, 2023
+241 −24

Commits on Jul 27, 2023

  1. update max scalar in scalar_cmov_test and fix schnorrsig_verify exhau… 

    …stive test

- `secp256k1_scalar_set_int` in scalar_low uses input mod EXHAUSTIVE_TEST_ORDER
- directly store s in sig64 without reducing it mod the group order for testing
    @stratospher
    stratospher committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    ad15215 View commit details
    Browse the repository at this point in the history

  2. add verification for scalars 

    secp256k1_scalar_verify checks that scalars are reduced mod the
group order
    @stratospher
    stratospher committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    c7d0454 View commit details
    Browse the repository at this point in the history

  3. use secp256k1_scalar_verify checks

    @stratospher
    stratospher committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    d23da6d View commit details
    Browse the repository at this point in the history