Merge pull request #848 from openmina/tx_fuzzer

Tx fuzzer

Author: dkuehr

Cargo.lock

@@ -27,6 +27,7 @@ members = [
     "tools/hash-tool",
     "tools/ledger-tool",
     "tools/salsa-simple",
+    "tools/fuzzing",
     "producer-dashboard",
 
     "fuzzer",

Cargo.toml

@@ -102,7 +102,7 @@ compression = ["zstd"]
 # Add this feature to run tests in both nodejs and browser:
 # https://github.com/rustwasm/wasm-bindgen/issues/2571
 in_nodejs = []
-
+fuzzing = []
 
 [profile.release]
 debug = true

ledger/Cargo.toml

@@ -5,10 +5,10 @@ use mina_p2p_messages::v2::PicklesProofProofsVerifiedMaxStableV2;
 
 pub use openmina_core::dummy::*;
 
-#[cfg(test)]
+#[cfg(any(test, feature = "fuzzing"))]
 use crate::VerificationKey;
 
-#[cfg(test)]
+#[cfg(any(test, feature = "fuzzing"))]
 pub mod for_tests;
 
 /// Value of `vk` when we run `dune runtest src/lib/staged_ledger -f`
@@ -24,7 +24,7 @@ pub mod for_tests;
 ///
 /// Core.Printf.eprintf !"vk=%{sexp: (Side_loaded_verification_key.t, Frozen_ledger_hash.t) With_hash.t}\n%!" vk;
 /// Core.Printf.eprintf !"vk_binprot=[%s]\n%!" s;
-#[cfg(test)] // Used for tests only
+#[cfg(any(test, feature = "fuzzing"))] // Used for tests/fuzzing only
 pub fn trivial_verification_key() -> VerificationKey {
     use mina_p2p_messages::v2::MinaBaseVerificationKeyWireStableV1;
 

ledger/src/dummy/mod.rs

@@ -3,6 +3,6 @@ mod database;
 mod mask;
 mod ondisk;
 // mod transaction_fuzzer;
-mod util;
+//mod util;
 
 use database::*;