-
Notifications
You must be signed in to change notification settings - Fork 60
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.
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
impl ConditionallyNegatable
for BoxedUint
#795
impl ConditionallyNegatable
for BoxedUint
#795
Conversation
I'm not seeing a https://docs.rs/subtle/latest/subtle/trait.ConditionallyNegatable.html |
The Copy bound comes from T having to be ConditionallySelectable. On 14 Mar 2025, at 16:14, Tony Arcieri ***@***.***> wrote:
I'm not seeing a Copy bound on subtle::ConditionallyNegatable?
https://docs.rs/subtle/latest/subtle/trait.ConditionallyNegatable.html—Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because you authored the thread.Message ID: ***@***.***>
tarcieri left a comment (RustCrypto/crypto-bigint#795)
I'm not seeing a Copy bound on subtle::ConditionallyNegatable?
https://docs.rs/subtle/latest/subtle/trait.ConditionallyNegatable.html
—Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because you authored the thread.Message ID: ***@***.***>
|
@dvdplm that's to leverage the blanket impl though. You should still be able to impl |
Ah, I see what you mean now! Better now? |
@@ -926,7 +926,7 @@ pub trait Monty: | |||
/// Allows one to perform inplace multiplication without allocations | |||
/// (important for the `BoxedUint` case). | |||
/// | |||
/// NOTE: You will be operating with Montgomery represntations directly, | |||
/// NOTE: You will be operating with Montgomery representations directly, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Bleh, we should set up typos-action
ConditionallyNegatable
for BoxedUint
Add an equivalent to
subtle
'sConditionallyNegate
trait without theCopy
requirement.