Ecosystem/serai
Ecosystem/serai
1
0
Fork 0
mirror of https://github.com/serai-dex/serai.git synced 2024-11-16 17:07:35 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Add further must_uses

Browse source
This commit is contained in:
Luke Parker 2022-07-07 14:28:42 -04:00
parent 6c76458063
commit f7106f09ed
No known key found for this signature in database
GPG key ID: F9F1386DB1E119B6
4 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
coins/monero/src/ringct/bulletproofs.rs
View file

@ -76,6 +76,7 @@ impl Bulletproofs {
Ok(res)
}
#[must_use]
pub fn verify<R: RngCore + CryptoRng>(&self, rng: &mut R, commitments: &[EdwardsPoint]) -> bool {
if commitments.len() > 16 {
return false;

2
coins/monero/src/ringct/clsag/multisig.rs
View file

@ -227,6 +227,7 @@ impl Algorithm<Ed25519> for ClsagMultisig {
share
}
#[must_use]
fn verify(
&self,
_: dfg::EdwardsPoint,
@ -247,6 +248,7 @@ impl Algorithm<Ed25519> for ClsagMultisig {
return None;
}
#[must_use]
fn verify_share(
&self,
verification_share: dfg::EdwardsPoint,

4
crypto/frost/src/algorithm.rs
View file

@ -46,10 +46,12 @@ pub trait Algorithm<C: Curve>: Clone {
) -> C::F;
/// Verify a signature
#[must_use]
fn verify(&self, group_key: C::G, nonce: C::G, sum: C::F) -> Option<Self::Signature>;
/// Verify a specific share given as a response. Used to determine blame if signature
/// verification fails
#[must_use]
fn verify_share(
&self,
verification_share: C::G,
@ -145,6 +147,7 @@ impl<C: Curve, H: Hram<C>> Algorithm<C> for Schnorr<C, H> {
schnorr::sign::<C>(params.secret_share(), nonce, c).s
}
#[must_use]
fn verify(&self, group_key: C::G, nonce: C::G, sum: C::F) -> Option<Self::Signature> {
let sig = SchnorrSignature { R: nonce, s: sum };
if schnorr::verify::<C>(group_key, self.c.unwrap(), &sig) {
@ -154,6 +157,7 @@ impl<C: Curve, H: Hram<C>> Algorithm<C> for Schnorr<C, H> {
}
}
#[must_use]
fn verify_share(
&self,
verification_share: C::G,

1
crypto/frost/src/schnorr.rs
View file

@ -33,6 +33,7 @@ pub(crate) fn sign<C: Curve>(
}
}
#[must_use]
pub(crate) fn verify<C: Curve>(
public_key: C::G,
challenge: C::F,