Skip to content

Commit

Permalink
fsb: Implement SerializableState for FSB-based cores
Browse files Browse the repository at this point in the history
  • Loading branch information
Ruslan Piasetskyi authored and baloo committed Mar 18, 2024
1 parent dffb726 commit fce1d94
Show file tree
Hide file tree
Showing 3 changed files with 163 additions and 7 deletions.
10 changes: 8 additions & 2 deletions fsb/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
#[macro_use]
mod macros;

use core::fmt;
use core::{fmt, ops::Add};
pub use digest::{self, Digest};

// Double check this contains all values in the reference implementation
Expand All @@ -24,7 +24,8 @@ use digest::{
AlgorithmName, Block, BlockSizeUser, Buffer, BufferKindUser, CoreWrapper, FixedOutputCore,
OutputSizeUser, Reset, UpdateCore,
},
typenum::Unsigned,
crypto_common::hazmat::{DeserializeStateError, SerializableState, SerializedState},
typenum::{Unsigned, U8},
HashMarker, Output,
};

Expand All @@ -38,6 +39,7 @@ fsb_impl!(
160,
U60,
U20,
U80,
5 << 18,
80,
640,
Expand All @@ -54,6 +56,7 @@ fsb_impl!(
224,
U84,
U28,
U112,
7 << 18,
112,
896,
Expand All @@ -70,6 +73,7 @@ fsb_impl!(
256,
U96,
U32,
U128,
1 << 21,
128,
1024,
Expand All @@ -86,6 +90,7 @@ fsb_impl!(
384,
U115,
U48,
U184,
23 << 16,
184,
1472,
Expand All @@ -102,6 +107,7 @@ fsb_impl!(
512,
U155,
U64,
U248,
31 << 16,
248,
1984,
Expand Down
31 changes: 28 additions & 3 deletions fsb/src/macros.rs
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
macro_rules! fsb_impl {
(
$full_state:ident, $state:ident, $state_num:expr, $blocksize:ident, $outputsize:ident, $n:expr, $w:expr,
$r:expr, $p:expr, $s:expr, $full_doc:expr, $doc:expr,
$full_state:ident, $state:ident, $state_num:expr, $blocksize:ident, $outputsize:ident, $statesize:ident,
$n:expr, $w:expr, $r:expr, $p:expr, $s:expr, $full_doc:expr, $doc:expr,
) => {
use digest::consts::{$blocksize, $outputsize};
use digest::consts::{$blocksize, $outputsize, $statesize};

#[derive(Clone)]
#[doc=$doc]
Expand Down Expand Up @@ -95,6 +95,31 @@ macro_rules! fsb_impl {
#[cfg(feature = "zeroize")]
impl ZeroizeOnDrop for $state {}

impl SerializableState for $state {
type SerializedStateSize = <$statesize as Add<U8>>::Output;

fn serialize(&self) -> SerializedState<Self> {
let mut serialized_state = SerializedState::<Self>::default();

serialized_state[..8].copy_from_slice(&self.blocks_len.to_le_bytes());
serialized_state[8..].copy_from_slice(&self.state[..]);

serialized_state
}

fn deserialize(
serialized_state: &SerializedState<Self>,
) -> Result<Self, DeserializeStateError> {
let (serialized_block_len, serialized_state) = serialized_state.split::<U8>();

let mut state = [0; $r / 8];
state.copy_from_slice(serialized_state.as_ref());

let blocks_len = u64::from_le_bytes(*serialized_block_len.as_ref());
Ok(Self { state, blocks_len })
}
}

impl $state {
const SIZE_OUTPUT_COMPRESS: usize = $r / 8;
const SIZE_INPUT_COMPRESS: usize = $s / 8;
Expand Down
129 changes: 127 additions & 2 deletions fsb/tests/mod.rs
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
use digest::dev::{feed_rand_16mib, fixed_reset_test};
use digest::new_test;
use digest::{
dev::{feed_rand_16mib, fixed_reset_test},
hash_serialization_test, new_test,
};
use fsb::{Digest, Fsb160, Fsb224, Fsb256, Fsb384, Fsb512};
use hex_literal::hex;

Expand All @@ -9,6 +11,129 @@ new_test!(fsb256_main, "fsb256", Fsb256, fixed_reset_test);
new_test!(fsb384_main, "fsb384", Fsb384, fixed_reset_test);
new_test!(fsb512_main, "fsb512", Fsb512, fixed_reset_test);

#[rustfmt::skip]
hash_serialization_test!(
fsb160_serialization,
Fsb160,
hex!("
0100000000000000e269a086505e9493
fa92ed509f6cdce851dd58654160a8c8
a499a953a479c169d46c0576d8e7b262
341087f58eb3dc9d3002451f8f0d484c
bdc8b342afef13e54f2fce12e400eca0
a6bc0b8837f999c30113000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
0000000000
")
);
#[rustfmt::skip]
hash_serialization_test!(
fsb224_serialization,
Fsb224,
hex!("
0100000000000000bfba3bbd79050b44
28d239ec4eb25277b228898bd26c04cc
f11e052944e72b61aae3f1a0a6cdb862
d87fac21fefb1dc14074cfc45d899408
7dc70d1d5308b6b1f68f6eea5d886904
dfcab198e62f6c9767ae365fc648b1bb
7d00f65ff276373a7a1b4d80efdd7af5
fce3b0e93371172a0113000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000
")
);

#[rustfmt::skip]
hash_serialization_test!(
fsb256_serialization,
Fsb256,
hex!("
01000000000000006c4fef5401baa182
5e74fe2a150dd74655ba10d8fa2db4ee
3e6925de2cf4a83a5121e2ded528f926
13ec858045c1bdd15a11ce8bd4df1a3f
409dfc9d1025d333360f30a342f41701
8fcf0ff1c5dddb042a18453d707d2772
1e57fd182d93294589a1c3ef007e6bb3
b59f2a361094e21d6c72d213545a6612
a2adc547968a03e90113000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
000000000000000000
")
);

#[rustfmt::skip]
hash_serialization_test!(
fsb384_serialization,
Fsb384,
hex!("
010000000000000041825b73ae6b5cdc
91b8b70723dc1f9297fec62f09c17c75
a2326e3d7664efb5df1104db5c711016
d161187f3174ef77f5e0545c917d0137
5537d15cf90c838d2f5fd5a294c7012d
80a0f6a6240f90f9a6976812ec60fdd3
5bbc1a064287308e1d916cb4d59c02b1
9ab2d20e1b9b2acbe826c4d0022db322
e3314fe0cf232cdd75b61c653bf30569
ca76dd11bd032d03bc83a0e59964eb5d
d77a22d0a459de63ab5ff6ce1207a9da
ed690c36399f730643a1628e0f33650a
01130000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000
")
);

#[rustfmt::skip]
hash_serialization_test!(
fsb512_serialization,
Fsb512,
hex!("
01000000000000004feff733b532b076
7d0bbe8804f60ebcbbf33aa6796e608d
37e6e24dcf21663631312286c6efa794
b237f05df2838526cb5120291a53566b
b784ff32d2ea5464693cd68fc52a3737
5160c0a4f4b8dae806703a98720180c4
abaa2c195a6ede59ed68fc5caae61720
03ad9195d7ae774710d7a0c46772a721
6e553a39dbeac282fa2848e7038eec7c
78f7da35db4cf8ead35f2f140ec49203
f1d3afe24fe4100a9d0cc5fdb1e964ed
48fe786e2bfdabe470c148f65c67c21c
c6794b8e1eb90e6a39800334a2016e20
81f5a458fcd348d8778dc4090066f390
6b835a1283c975694e1dc38fef18dd35
d2d4f283d0bc1502db72a91871a23bc4
01130000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
000000000000000000000000
")
);

#[test]
fn fsb160_rand() {
let mut h = Fsb160::new();
Expand Down

0 comments on commit fce1d94

Please sign in to comment.