docs: verify binaries elf-name

succinctlabs · Dec 10, 2024 · a98ce28 · a98ce28
1 parent 6369e96
commit a98ce28
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/book/advanced/verify-binaries.md b/book/advanced/verify-binaries.md
@@ -37,11 +37,11 @@ Then build the binaries:
 ```bash
 cd programs/range
 # Build the range-elf
-cargo prove build --elf range-elf --docker
+cargo prove build --elf-name range-elf --docker
 
 cd ../aggregation
 # Build the aggregation-elf
-cargo prove build --elf aggregation-elf --docker
+cargo prove build --elf-name aggregation-elf --docker
 ```
 
 Now, verify the binaries by confirming the output of `vkey` matches the vkeys on the contract. The `vkey` program outputs the verification keys