add eqality test for the shk in the DummyKem

This commit is contained in:
David Niehues
2024-12-12 15:42:56 +01:00
parent f6d9da4a18
commit cacbf8535c

View File

@@ -122,6 +122,8 @@
//! # //! #
//! # let mut alice_shk: Secret<{ MyKem::SHK_LEN }> = Secret::zero(); //! # let mut alice_shk: Secret<{ MyKem::SHK_LEN }> = Secret::zero();
//! # MyKem::decaps(alice_shk.secret_mut(), alice_sk.secret_mut(), &mut bob_ct)?; //! # MyKem::decaps(alice_shk.secret_mut(), alice_sk.secret_mut(), &mut bob_ct)?;
//! #
//! # assert_eq!(alice_shk.secret(), bob_shk.secret());
//! # Ok(()) //! # Ok(())
//! # } //! # }
//!``` //!```