Merge branch 'fresh-run-ci' of github.com:lambdaclass/cairo-vm into f…

…resh-run-ci

CHANGELOG.md

@@ -2,6 +2,8 @@
 
 #### Upcoming Changes
 
+* feat: Added a differential fuzzer for programs with whitelisted hints [#1358](https://github.com/lambdaclass/cairo-vm/pull/1358)
+
 * fix: Change return type of `get_execution_resources` to `RunnerError` [#1398](https://github.com/lambdaclass/cairo-vm/pull/1398)
 
 * Don't build wasm-demo in `build` target + add ci job to run the wasm demo [#1393](https://github.com/lambdaclass/cairo-vm/pull/1393)

Makefile

@@ -14,6 +14,7 @@ STARKNET_SIERRA_COMPILE_CAIRO_2:=cairo2/bin/starknet-sierra-compile
 	compare_trace_memory_proof  compare_all_proof compare_trace_proof compare_memory_proof compare_air_public_input \
 	cairo_bench_programs cairo_proof_programs cairo_test_programs cairo_1_test_contracts cairo_2_test_contracts \
 	cairo_trace cairo-vm_trace cairo_proof_trace cairo-vm_proof_trace \
+	fuzzer-deps fuzzer-run-cairo-compiled fuzzer-run-hint-diff \
 	$(RELBIN) $(DBGBIN)
 
 # Proof mode consumes too much memory with cairo-lang to execute
@@ -309,9 +310,18 @@ clean:
 	rm -rf cairo1
 	rm -rf cairo2
 
-fuzzer-deps: 
+fuzzer-deps: build
 	cargo +nightly install cargo-fuzz
+	. cairo-vm-env/bin/activate; \
+		pip install atheris==2.2.2 maturin==1.2.3; \
+		cd fuzzer/; \
+		maturin develop
 
-run-cairo-compiled-fuzzer:
+fuzzer-run-cairo-compiled:
 	cd fuzzer
 	cargo +nightly fuzz run --fuzz-dir . cairo_compiled_programs_fuzzer
+
+fuzzer-run-hint-diff:
+	. cairo-vm-env/bin/activate ; \
+	cd fuzzer/diff_fuzzer/; \
+	../../cairo-vm-env/bin/python random_hint_fuzzer.py -len_control=0