ed: Change SigningKey::to_scalar
back to SigningKey::to_scalar_bytes
#599
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.
As mentioned in the conversation in #565, it is currently not clear how you would use a clamped and reduced scalar from
SigningKey::to_scalar()
to build an x25519 keypair. In fact, the test code in that thread shows thatx25519_dalek::PublicKey::from(StaticScalar::from(sk.to_scalar().to_bytes()))
does not match the ed25519 public key. This is because the second public key computation does clamping again, so it's clamp -> reduce -> clamp, which is not a no-op.This PR replaces
SigningKey::to_scalar()
withSigningKey::to_scalar_bytes()
, which returns the unreduced scalar bytes determined by the ed25519 secret key. This is actually how things used to be before #545, and what the docs (currently erroneously) reflect.I've also added a regression test to the ed25519 tests.