diff --git a/fuzz/.gitignore b/fuzz/.gitignore deleted file mode 100644 index 572e03b..0000000 --- a/fuzz/.gitignore +++ /dev/null @@ -1,4 +0,0 @@ - -target -corpus -artifacts diff --git a/fuzz/Cargo.toml b/fuzz/Cargo.toml deleted file mode 100644 index ceb067b..0000000 --- a/fuzz/Cargo.toml +++ /dev/null @@ -1,32 +0,0 @@ - -[package] -name = "curve25519-dalek-fuzz" -version = "0.0.1" -authors = ["Automatically generated"] -publish = false - -[package.metadata] -cargo-fuzz = true - -[dependencies.curve25519-dalek] -path = ".." - -[features] -yolocrypto = ["curve25519-dalek/yolocrypto"] -nightly = ["curve25519-dalek/nightly"] -radix_51 = ["curve25519-dalek/radix_51"] - -[dependencies.libfuzzer-sys] -git = "https://github.com/rust-fuzz/libfuzzer-sys.git" - -# Prevent this from interfering with workspaces -[workspace] -members = ["."] - -[[bin]] -name = "decaf" -path = "fuzz_targets/decaf.rs" - -[[bin]] -name = "scalar_constructor_accepts_256bit_values" -path = "fuzz_targets/scalar_constructor_accepts_256bit_values.rs" diff --git a/fuzz/fuzz_targets/decaf.rs b/fuzz/fuzz_targets/decaf.rs deleted file mode 100644 index 5199183..0000000 --- a/fuzz/fuzz_targets/decaf.rs +++ /dev/null @@ -1,21 +0,0 @@ -#![no_main] -#[macro_use] extern crate libfuzzer_sys; -extern crate curve25519_dalek; - -use curve25519_dalek::curve::ValidityCheck; -use curve25519_dalek::decaf::DecafPoint; -use curve25519_dalek::field::FieldElement; - -fuzz_target!(|data: &[u8]| { - if data.len() != 32 { - return; - } - let mut field_bytes = [0u8; 32]; - for (by, data) in field_bytes.iter_mut().zip(data.iter()) { - *by = *data; - } - let fe = FieldElement::from_bytes(&field_bytes); - let p = DecafPoint::elligator_decaf_flavour(&fe); - assert!(p.0.is_valid()); - p.compress(); -}); diff --git a/fuzz/fuzz_targets/scalar_constructor_accepts_256bit_values.rs b/fuzz/fuzz_targets/scalar_constructor_accepts_256bit_values.rs deleted file mode 100644 index 38bba88..0000000 --- a/fuzz/fuzz_targets/scalar_constructor_accepts_256bit_values.rs +++ /dev/null @@ -1,36 +0,0 @@ -#![no_main] -#[macro_use] extern crate libfuzzer_sys; -extern crate curve25519_dalek; - -use curve25519_dalek::scalar::Scalar; - -/// Check that the Scalar constructor accepts 256-bit input values and -/// behaves correctly on them. -/// -/// Specifically, we take 256-bit values `a` and `b` from the fuzzer -/// input data and check that `(a mod l) * (b mod l) == (a * b) mod l`. -fuzz_target!(|data: &[u8]| { - if data.len() != 64 { - return; - } - let mut a_bytes = [0u8; 32]; - let mut b_bytes = [0u8; 32]; - - // Set a, b to be random 256-bit integers - a_bytes.copy_from_slice(&data[ 0..32]); - b_bytes.copy_from_slice(&data[32..64]); - - // Compute c = a*b (mod l) - let c1 = &Scalar(a_bytes) * &Scalar(b_bytes); - - // Compute c = (a mod l) * (b mod l) - let mut tmp = [0u8; 64]; - tmp[0..32].copy_from_slice(&a_bytes[..]); - let a_mod_l = Scalar::reduce(&tmp); - tmp[0..32].copy_from_slice(&b_bytes[..]); - let b_mod_l = Scalar::reduce(&tmp); - - let c2 = &a_mod_l * &b_mod_l; - - assert_eq!(c1, c2); -});