Skip to content

Commit

Permalink
Merge pull request #716 from Chia-Network/gen-corpus-solution-generator
Browse files Browse the repository at this point in the history
update gen-corpus to generate coin spends for solution-generator fuzzer
  • Loading branch information
arvidn authored Sep 24, 2024
2 parents 1b23017 + bf1d911 commit 08f39d1
Show file tree
Hide file tree
Showing 2 changed files with 45 additions and 12 deletions.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -137,7 +137,7 @@ To list and run fuzzers:

```bash
cargo fuzz list
cargo fuzz run <name-of-fuzzer>
cargo +nightly fuzz run <name-of-fuzzer> --jobs=10
```

## Bumping Version Number
Expand Down
55 changes: 44 additions & 11 deletions crates/chia-tools/src/bin/gen-corpus.rs
Original file line number Diff line number Diff line change
Expand Up @@ -15,9 +15,11 @@ use clvm_traits::FromClvm;
use clvm_utils::{tree_hash, CurriedProgram};
use clvmr::allocator::NodePtr;
use clvmr::Allocator;
use core::sync::atomic::Ordering;
use std::collections::HashSet;
use std::fs::write;
use std::fs::{write, File};
use std::io::Write;
use std::sync::atomic::AtomicUsize;
use std::sync::{Arc, Mutex};
use std::thread::available_parallelism;
use std::time::{Duration, Instant};
Expand All @@ -37,6 +39,14 @@ struct Args {
#[arg(long, default_value_t = false)]
spend_bundles: bool,

/// generate corpus for solution-generator
#[arg(long, default_value_t = false)]
coin_spends: bool,

/// generate corpus for run-puzzle
#[arg(long, default_value_t = false)]
puzzles: bool,

/// stop running block generators when reaching this height
#[arg(short, long)]
max_height: Option<u32>,
Expand All @@ -62,6 +72,7 @@ fn main() {

let mut last_height = 0;
let mut last_time = Instant::now();
let corpus_counter = Arc::new(AtomicUsize::new(0));
iterate_tx_blocks(
&args.file,
args.start_height,
Expand All @@ -73,6 +84,7 @@ fn main() {

let seen_puzzles = seen_puzzles.clone();
let seen_singletons = seen_singletons.clone();
let cnt = corpus_counter.clone();
pool.execute(move || {
let mut a = Allocator::new_limited(500_000_000);

Expand All @@ -93,11 +105,13 @@ fn main() {
_ => puzzle_hash,
};

let run_puzzle = seen_puzzles.lock().unwrap().insert(mod_hash);
let seen_puzzle = seen_puzzles.lock().unwrap().insert(mod_hash);
let run_puzzle = args.puzzles && seen_puzzle;
let fast_forward = (mod_hash == SINGLETON_TOP_LAYER_PUZZLE_HASH.into())
&& seen_singletons.lock().unwrap().insert(puzzle_hash);

if !run_puzzle && !fast_forward && !args.spend_bundles {
if !run_puzzle && !fast_forward && !args.spend_bundles && !args.coin_spends
{
return;
}
let puzzle_reveal = Program::from_clvm(a, puzzle).expect("puzzle reveal");
Expand All @@ -113,49 +127,68 @@ fn main() {
solution,
};

if args.spend_bundles {
if (args.spend_bundles || args.coin_spends) && !seen_puzzle {
bundle.coin_spends.push(spend.clone());
}

if !run_puzzle && !fast_forward {
return;
}
let mut bytes = Vec::<u8>::new();
spend.stream(&mut bytes).expect("stream CoinSpend");
let bytes = spend.to_bytes().expect("stream CoinSpend");
if run_puzzle {
let directory = "../chia-consensus/fuzz/corpus/run-puzzle";
let _ = std::fs::create_dir_all(directory);
write(format!("{directory}/{mod_hash}.spend"), &bytes).expect("write");
println!("{height}: {mod_hash}");
cnt.fetch_add(1, Ordering::Relaxed);
}

if fast_forward {
let directory = "../chia-consensus/fuzz/corpus/fast-forward";
let _ = std::fs::create_dir_all(directory);
write(format!("{directory}/{puzzle_hash}.spend"), bytes)
write(format!("{directory}/{puzzle_hash}.spend"), &bytes)
.expect("write");
println!("{height}: {puzzle_hash}");
cnt.fetch_add(1, Ordering::Relaxed);
}
},
)
.expect("failed to run block generator");

if args.spend_bundles {
if args.spend_bundles && !bundle.coin_spends.is_empty() {
let directory = "../chia-protocol/fuzz/corpus/spend-bundle";
let _ = std::fs::create_dir_all(directory);
let bytes = bundle.to_bytes().expect("to_bytes");
write(format!("{directory}/{height}.bundle"), bytes).expect("write");
cnt.fetch_add(1, Ordering::Relaxed);
}

if args.coin_spends && !bundle.coin_spends.is_empty() {
let directory = "../chia-consensus/fuzz/corpus/solution-generator";
let _ = std::fs::create_dir_all(directory);
let mut f =
File::create(format!("{directory}/{height}.spends")).expect("open file");
for cs in &bundle.coin_spends {
f.write_all(&cs.to_bytes().expect("CoinSpend serialize"))
.expect("file write");
}
cnt.fetch_add(1, Ordering::Relaxed);
}
});
if last_time.elapsed() > Duration::new(4, 0) {
let rate = f64::from(height - last_height) / last_time.elapsed().as_secs_f64();
print!("\rheight: {height} ({rate:0.1} blocks/s) ");
print!(
"\rheight: {height} ({rate:0.1} blocks/s) corpus: {} ",
corpus_counter.load(Ordering::Relaxed)
);
let _ = std::io::stdout().flush();
last_height = height;
last_time = Instant::now();
}
},
);
print!(
"\nwrote {} examples to the fuzzing corpus",
corpus_counter.load(Ordering::Relaxed)
);

assert_eq!(pool.panic_count(), 0);

Expand Down

0 comments on commit 08f39d1

Please sign in to comment.