diff --git a/Cargo.toml b/Cargo.toml
index 3915b20..fccaffd 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -7,4 +7,10 @@ members = [
 resolver = "2"
 
 [workspace.dependencies]
-alloy-sol-types = "0.7.7"
\ No newline at end of file
+alloy-sol-types = "0.7.7"
+
+## Uncomment to minimize the size of produced RISC-V binary
+#[profile.release]
+#lto = "fat"
+#opt-level = "s"
+#strip = "symbols"
diff --git a/README.md b/README.md
index c662baf..d1b0a33 100644
--- a/README.md
+++ b/README.md
@@ -22,6 +22,16 @@ cd program
 cargo prove build
 ```
 
+The produced binary can be found in `target/elf-compilation/riscv32im-succinct-zkvm-elf/release`. 
+To reduce the size of the binary, uncomment the following lines in `Cargo.toml` (in the project root):
+
+```toml
+[profile.release]
+lto = "fat"
+opt-level = "s"
+strip = "symbols"
+```
+
 ### Execute the Program
 
 To run the program without generating a proof: