Make the first section of the README more clear (#123)

minor updates to the readme

README.md

@@ -1,15 +1,13 @@
 # RISC Zero Foundry Template
 
-Starter template for writing an application using [RISC Zero] and Ethereum.
+> Prove computation with the [RISC Zero zkVM] and verify the results in your Ethereum contract.
 
-This repository implements an application on Ethereum utilizing RISC Zero as a [coprocessor] to the smart contract application.
-It provides a starting point for building powerful new applications on Ethereum that offload computationally intensive (i.e. gas expensive), or would be difficult to implement Solidity (e.g. ed25519 signature verification, or HTML parsing).
+This repository implements an example application on Ethereum utilizing RISC Zero as a [coprocessor] to the smart contract application.
+It provides a starting point for building powerful new applications on Ethereum that offload work that is computationally intensive (i.e. gas expensive), or difficult to implement in Solidity (e.g. ed25519 signature verification, or HTML parsing).
 
 <!-- TODO(#100) Integrate support for Steel more directly into this repo -->
 Integrate with [Steel][steel-repo] to execute view calls and simulate transactions on Ethereum. Check out the [ERC-20 counter][erc20-counter] demo to see an example.
 
-Prove computation with the [RISC Zero zkVM] and verify the results in your Ethereum contract.
-
 ## Overview
 
 Here is a simplified overview of how devs can integrate RISC Zero, with [Bonsai] proving, into their Ethereum smart contracts: