diff --git a/.github/workflows/fresh_run.yml b/.github/workflows/fresh_run.yml
index 4660f1f8a2..f733076e77 100644
--- a/.github/workflows/fresh_run.yml
+++ b/.github/workflows/fresh_run.yml
@@ -5,6 +5,9 @@ on:
   # At the end of every day
   - cron: "0 0 * * *"
 
+env:
+  PROPTEST_CASES: 10000
+
 jobs:
   fresh_run:
     strategy:
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 007caee4ee..8376576e86 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -18,6 +18,7 @@ env:
     cairo_programs/**/*.json
     !cairo_programs/manually_compiled/*
     examples/wasm-demo/src/array_sum.json
+  PROPTEST_CASES: 100
 
 jobs:
   build-programs:
diff --git a/Cargo.toml b/Cargo.toml
index 45eb8c0c67..9c23bfd625 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -88,3 +88,9 @@ lto = "fat"
 [profile.release.package.wasm-demo]
 # Tell `rustc` to optimize for small code size.
 opt-level = "s"
+
+[profile.test.package.proptest]
+opt-level = 3
+
+[profile.test.package.rand_chacha]
+opt-level = 3
diff --git a/Makefile b/Makefile
index 168be69660..bf17e6743a 100644
--- a/Makefile
+++ b/Makefile
@@ -7,6 +7,11 @@ STARKNET_SIERRA_COMPILE_CAIRO_1:=cairo1/bin/starknet-sierra-compile
 STARKNET_COMPILE_CAIRO_2:=cairo2/bin/starknet-compile
 STARKNET_SIERRA_COMPILE_CAIRO_2:=cairo2/bin/starknet-sierra-compile
 
+ifndef PROPTEST_CASES
+	PROPTEST_CASES:=10
+	export PROPTEST_CASES
+endif
+
 .PHONY: build-cairo-1-compiler build-cairo-1-compiler-macos build-cairo-2-compiler build-cairo-2-compiler-macos \
 	deps deps-macos cargo-deps build run check test clippy coverage benchmark flamegraph \
 	compare_benchmarks_deps compare_benchmarks docs clean \