1use super::{
 2    math::{FalconFelt, Polynomial},
 3    ByteReader, ByteWriter, Deserializable, DeserializationError, Felt, Serializable, Signature,
 4    Word,
 5};
 6
 7mod public_key;
 8pub use public_key::{PubKeyPoly, PublicKey};
 9
10mod secret_key;
11pub use secret_key::SecretKey;
12
13// TESTS
14// ================================================================================================
15
16#[cfg(test)]
17mod tests {
18    use crate::{dsa::rpo_falcon512::SecretKey, Word, ONE};
19    use rand::SeedableRng;
20    use rand_chacha::ChaCha20Rng;
21    use winter_math::FieldElement;
22    use winter_utils::{Deserializable, Serializable};
23
24    #[test]
25    fn test_falcon_verification() {
26        let mut rng = ChaCha20Rng::from_entropy();
27
28        // generate random keys
29        let sk = SecretKey::new();
30        let pk = sk.public_key();
31
32        // test secret key serialization/deserialization
33        let mut buffer = vec![];
34        sk.write_into(&mut buffer);
35        let sk_deserialized = SecretKey::read_from_bytes(&buffer).unwrap();
36        assert_eq!(sk.short_lattice_basis(), sk_deserialized.short_lattice_basis());
37
38        // sign a random message
39        let message: Word = [ONE; 4];
40        let signature = sk.sign_with_rng(message, &mut rng);
41
42        // make sure the signature verifies correctly
43        assert!(pk.verify(message, &signature));
44
45        // a signature should not verify against a wrong message
46        let message2: Word = [ONE.double(); 4];
47        assert!(!pk.verify(message2, &signature));
48
49        // a signature should not verify against a wrong public key
50        let sk2 = SecretKey::with_rng(&mut rng);
51        assert!(!sk2.public_key().verify(message, &signature))
52    }
53}