docs: README

Author: Ratan Kaliani

README.md

@@ -9,9 +9,10 @@ that can generate a proof of any RISC-V program and verify the proof onchain.
 - [SP1](https://succinctlabs.github.io/sp1/getting-started/install.html)
 - [Foundry](https://book.getfoundry.sh/getting-started/installation)
 
-## Generate Proof
+## Standard Proof Generation
 
-**Standard Proof Generation.**
+> [!WARNING]
+> You will need at least 16GB RAM to generate the default proof.
 
 Generate the proof for your program using the standard prover.
 
@@ -20,9 +21,10 @@ cd script
 RUST_LOG=info cargo run --bin prove --release
 ```
 
-**EVM-Compatible Proof Generation.**
+## EVM-Compatible Proof Generation & Verification
 
-*WARNING: You will need at least 128GB of RAM to generate the proof.*
+> [!WARNING]
+> You will need at least 128GB RAM to generate the PLONK proof.
 
 Generate the proof that is small enough to be verified on-chain and verifiable by the EVM. This command also generates a fixture that can be used to test the verification of SP1 zkVM proofs inside Solidity.
 
@@ -31,9 +33,9 @@ cd script
 RUST_LOG=info cargo run --bin prove --release -- --evm
 ```
 
-## Solidity Proof Verification
+### Solidity Proof Verification
 
-After generating the Verify the proof with the SP1 EVM verifier.
+After generating the verify the proof with the SP1 EVM verifier.
 
 ```
 cd ../contracts