arnaucube
arnaucube/miden-cryptoPublic Self-hosted repository
MmrPeaks::hash_peaks() returns Digest (#230)

Philippe Laferrière plafer@protonmail.com
Tue, 28 Nov 2023 16:45:45 -0500
commit

29e0d071295d5a3dd588e29e8252b1accd654984

parent

81a94ecbe781a222c8ab6240a2dbcf3a990e3cf4

2 files changed, 5 insertions(+), 8 deletions(-)

jump to
M src/merkle/mmr/peaks.rs → src/merkle/mmr/peaks.rs

@@ -64,8 +64,8 @@ ///

/// The procedure will: /// - Flatten and pad the peaks to a vector of Felts. /// - Hash the vector of Felts. - pub fn hash_peaks(&self) -> Word { - Rpo256::hash_elements(&self.flatten_and_pad_peaks()).into() + pub fn hash_peaks(&self) -> RpoDigest { + Rpo256::hash_elements(&self.flatten_and_pad_peaks()) } pub fn verify(&self, value: RpoDigest, opening: MmrProof) -> bool {
M src/merkle/mmr/tests.rs → src/merkle/mmr/tests.rs

@@ -613,10 +613,7 @@

// minimum length is 16 let mut expected_peaks = [first_peak, second_peak, third_peak].to_vec(); expected_peaks.resize(16, RpoDigest::default()); - assert_eq!( - peaks.hash_peaks(), - *Rpo256::hash_elements(&digests_to_elements(&expected_peaks)) - ); + assert_eq!(peaks.hash_peaks(), Rpo256::hash_elements(&digests_to_elements(&expected_peaks))); } #[test]

@@ -634,7 +631,7 @@ let mut expected_peaks = peaks.clone();

expected_peaks.resize(16, RpoDigest::default()); assert_eq!( accumulator.hash_peaks(), - *Rpo256::hash_elements(&digests_to_elements(&expected_peaks)) + Rpo256::hash_elements(&digests_to_elements(&expected_peaks)) ); } }

@@ -651,7 +648,7 @@ let mut expected_peaks = peaks;

expected_peaks.resize(18, RpoDigest::default()); assert_eq!( accumulator.hash_peaks(), - *Rpo256::hash_elements(&digests_to_elements(&expected_peaks)) + Rpo256::hash_elements(&digests_to_elements(&expected_peaks)) ); }