Skip to content

Initial proptests#326

Merged
tarcieri merged 1 commit intomasterfrom
proptests
May 4, 2023
Merged

Initial proptests#326
tarcieri merged 1 commit intomasterfrom
proptests

Conversation

@tarcieri
Copy link
Copy Markdown
Member

@tarcieri tarcieri commented May 4, 2023

Adds proptests for RSASSA-PKCS1-v1_5 and RSA-PSS.

NOTE: these are currently expected to fail, and to be resolved by #325

Adds proptests for RSASSA-PKCS1-v1_5.

Includes a commented-out test for RSASSA-PSS which is currently failing.
@tarcieri tarcieri changed the title [WIP] Initial proptests Initial proptests May 4, 2023
@tarcieri tarcieri marked this pull request as ready for review May 4, 2023 00:38
Comment thread tests/proptests.rs
Comment on lines +32 to +41
// TODO(tarcieri): debug why these are failing
// #[test]
// fn pss_sign_roundtrip(private_key in private_key(), msg in any::<Vec<u8>>()) {
// let signing_key = pss::SigningKey::<Sha256>::new(private_key);
// let signature_bytes = signing_key.sign(&msg).to_bytes();
//
// let verifying_key = signing_key.verifying_key();
// let signature = pss::Signature::try_from(&*signature_bytes).unwrap();
// prop_assert!(verifying_key.verify(&msg, &signature).is_ok());
// }
Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

These are at least blowing up inside of sign, so it's not producing a signature that fails to verify at least.

Somewhat concerning though. Hopefully related to the small key size?

@tarcieri tarcieri merged commit 1d1037b into master May 4, 2023
@tarcieri tarcieri deleted the proptests branch May 4, 2023 00:50
takumi-earth pushed a commit to earthlings-dev/RSA that referenced this pull request Jan 27, 2026
Adds proptests for RSASSA-PKCS1-v1_5.

Includes a commented-out test for RSASSA-PSS which is currently failing.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant