Skip to content

Commit

Permalink
fix rfc6979 generation
Browse files Browse the repository at this point in the history
  • Loading branch information
aumetra committed Jan 28, 2024
1 parent 9ad098f commit cad2f3e
Showing 1 changed file with 20 additions and 29 deletions.
49 changes: 20 additions & 29 deletions dsa/src/generate/secret_number.rs
Original file line number Diff line number Diff line change
Expand Up @@ -3,30 +3,14 @@
//!

use crate::{Components, SigningKey};
use alloc::{vec, vec::Vec};
use core::cmp::min;
use crypto_bigint::{BoxedUint, InvMod, NonZero, RandomBits};
use alloc::vec;
use crypto_bigint::{BoxedUint, Integer, InvMod, NonZero, RandomBits};
use digest::{core_api::BlockSizeUser, Digest, FixedOutputReset};
use rfc6979::HmacDrbg;
use signature::rand_core::CryptoRngCore;
use zeroize::Zeroize;
use zeroize::Zeroizing;

/// Reduce the hash into an RFC-6979 appropriate form
fn reduce_hash(q: &NonZero<BoxedUint>, hash: &[u8]) -> Vec<u8> {
// Reduce the hash modulo Q
let q_byte_len = q.bits() / 8;

let hash_len = min(hash.len(), q_byte_len as usize);
let hash = &hash[..hash_len];

let hash = BoxedUint::from_be_slice(hash, (hash.len() * 8) as u32).unwrap();
let mut reduced = Vec::from((hash % q).to_be_bytes());

while reduced.len() < q_byte_len as usize {
reduced.insert(0, 0);
}

reduced
fn strip_leading_zeros(buffer: &[u8], desired_size: usize) -> &[u8] {
&buffer[(buffer.len() - desired_size)..]
}

/// Generate a per-message secret number k deterministically using the method described in RFC 6979
Expand All @@ -40,20 +24,27 @@ where
D: Digest + BlockSizeUser + FixedOutputReset,
{
let q = signing_key.verifying_key().components().q();
let k_size = (q.bits() / 8) as usize;
let hash = reduce_hash(q, hash);
let size = (q.bits() / 8) as usize;

// Reduce hash mod q
let hash = BoxedUint::from_be_slice(hash, (hash.len() * 8) as u32).unwrap();
let hash = (hash % q).to_be_bytes();
let hash = strip_leading_zeros(&hash, size);

let q_bytes = q.to_be_bytes();
let q_bytes = strip_leading_zeros(&q_bytes, size);

let mut x_bytes = signing_key.x().to_be_bytes();
let mut hmac = HmacDrbg::<D>::new(&x_bytes, &hash, &[]);
x_bytes.zeroize();
let x_bytes = Zeroizing::new(signing_key.x().to_be_bytes());
let x_bytes = strip_leading_zeros(&x_bytes, size);

let mut buffer = vec![0; k_size];
let mut buffer = vec![0; size];
loop {
hmac.fill_bytes(&mut buffer);
rfc6979::generate_k_mut::<D>(x_bytes, q_bytes, hash, &[], &mut buffer);

let k = BoxedUint::from_be_slice(&buffer, (buffer.len() * 8) as u32).unwrap();
if let Some(inv_k) = k.inv_mod(q).into() {
if k > BoxedUint::zero() && k < **q {
if (bool::from(k.is_nonzero())) & (k < **q) {
debug_assert!(bool::from(k.is_odd()));
return (k, inv_k);
}
}
Expand Down

0 comments on commit cad2f3e

Please sign in to comment.