From f3c061f39f0820b828e0c54875dee4fa4ac3e005 Mon Sep 17 00:00:00 2001 From: Ratan Kaliani Date: Wed, 2 Apr 2025 18:09:12 -0700 Subject: [PATCH] chore: README --- README.md | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) diff --git a/README.md b/README.md index 4c240ab..ff61d06 100644 --- a/README.md +++ b/README.md @@ -10,17 +10,12 @@ that can generate a proof of any RISC-V program. ## Running the Project -There are four main ways to run this project: build a program, execute a program, generate a core proof, and +There are 3 main ways to run this project: execute a program, generate a core proof, and generate an EVM-compatible proof. ### Build the Program -To build the program, run the following command: - -```sh -cd program -cargo prove build -``` +The program is automatically built through `script/build.rs` when the script is built. ### Execute the Program