Skip to content

Commit

Permalink
run cargo fmt
Browse files Browse the repository at this point in the history
  • Loading branch information
jotabulacios committed Aug 30, 2024
1 parent 36325b4 commit 93d8e51
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 12 deletions.
7 changes: 2 additions & 5 deletions fuzz/no_gpu_fuzz/fuzz_targets/deserialize_stark_proof.rs
Original file line number Diff line number Diff line change
@@ -1,12 +1,9 @@
#![no_main]
use libfuzzer_sys::fuzz_target;
use stark_platinum_prover::proof::stark::StarkProof;
use lambdaworks_math::field::fields::fft_friendly::stark_252_prime_field::Stark252PrimeField;
use lambdaworks_math::traits::Deserializable;

use libfuzzer_sys::fuzz_target;
use stark_platinum_prover::proof::stark::StarkProof;

fuzz_target!(|data: Vec<u8>| {

let _proof = StarkProof::<Stark252PrimeField>::deserialize(&data);

});
15 changes: 8 additions & 7 deletions fuzz/no_gpu_fuzz/fuzz_targets/field/stark_field_addition.rs
Original file line number Diff line number Diff line change
@@ -1,18 +1,17 @@
#![no_main]

use libfuzzer_sys::fuzz_target;
use lambdaworks_math::field::{
element::FieldElement,
fields::fft_friendly::stark_252_prime_field::Stark252PrimeField,
element::FieldElement, fields::fft_friendly::stark_252_prime_field::Stark252PrimeField,
};
use libfuzzer_sys::fuzz_target;

use lambdaworks_math::traits::ByteConversion;

type FE = FieldElement<Stark252PrimeField>;

use ibig::{modular::ModuloRing, UBig};

fuzz_target!(|bytes: ([u8;32], [u8;32])| {
fuzz_target!(|bytes: ([u8; 32], [u8; 32])| {
let (bytes_a, bytes_b) = bytes;
let a = FE::from_bytes_be(&bytes_a).unwrap();
let b = FE::from_bytes_be(&bytes_b).unwrap();
Expand All @@ -23,8 +22,11 @@ fuzz_target!(|bytes: ([u8;32], [u8;32])| {
let c = a + &b;
let c_hex = c.representative().to_string()[2..].to_string();

let prime =
UBig::from_str_radix("800000000000011000000000000000000000000000000000000000000000001", 16).unwrap();
let prime = UBig::from_str_radix(
"800000000000011000000000000000000000000000000000000000000000001",
16,
)
.unwrap();
let cairo_ring = ModuloRing::new(&prime);

let a_ring = cairo_ring.from(&UBig::from_str_radix(&a_hex, 16).unwrap());
Expand All @@ -34,4 +36,3 @@ fuzz_target!(|bytes: ([u8;32], [u8;32])| {

assert_eq!(expected_c_hex, c_hex);
});

0 comments on commit 93d8e51

Please sign in to comment.