docs(readme): rewrite prose for natural developer tone

Author: wryonik

README.md

@@ -10,7 +10,7 @@
 
 </div>
 
-ProveKit takes Noir circuits, compiles them to R1CS, and generates WHIR proofs — built for mobile and edge environments. The core includes a custom BN254 hash engine ([Skyscraper](skyscraper/)), swap-to-disk memory management, and C FFI bindings for iOS and Android. A gnark-based recursive verifier wraps WHIR proofs in Groth16 for on-chain verification.
+ProveKit takes a Noir circuit, lowers it to R1CS, and proves it with WHIR. Built for mobile and constrained environments — ships with a custom BN254 hash engine ([Skyscraper](skyscraper/)), swap-to-disk memory management, and C FFI for iOS and Android. There's also a gnark recursive verifier that wraps WHIR proofs in Groth16 for on-chain verification.
 
 ---
 
@@ -59,7 +59,7 @@ graph TD
 
 ## Example
 
-From [`noir-examples/basic`](./noir-examples/basic/) — proves knowledge of a Poseidon hash preimage:
+[`noir-examples/basic`](./noir-examples/basic/) — proves knowledge of a Poseidon hash preimage:
 
 ```rust
 use dep::poseidon2;
@@ -82,7 +82,7 @@ cargo run --release --bin provekit-cli verify verifier.pkv proof.np
 
 ## Getting Started
 
-Requires nargo `v1.0.0-beta.19` and Rust nightly. The toolchain version is pinned in `rust-toolchain.toml`.
+You need nargo `v1.0.0-beta.19` and Rust nightly. Toolchain is pinned in `rust-toolchain.toml`; rustup picks it up automatically.
 
 <details>
 <summary><strong>1. Install nargo</strong></summary><br>
@@ -134,7 +134,7 @@ go run cmd/cli/main.go \
 <details>
 <summary><strong>4. Benchmark</strong></summary><br>
 
-Compare against [Barretenberg](https://github.com/AztecProtocol/aztec-packages/blob/master/barretenberg/bbup/README.md) using [hyperfine](https://github.com/sharkdp/hyperfine):
+Benchmark against [Barretenberg](https://github.com/AztecProtocol/aztec-packages/blob/master/barretenberg/bbup/README.md) with [hyperfine](https://github.com/sharkdp/hyperfine):
 
 ```sh
 cd noir-examples/poseidon-rounds
@@ -144,7 +144,7 @@ hyperfine \
   '../../target/release/provekit-cli prove ./prover.pkp ./Prover.toml'
 ```
 
-Run the internal benchmark suite:
+Internal benchmark suite:
 ```sh
 cargo test -p provekit-bench --bench bench
 ```
@@ -161,7 +161,7 @@ cargo test -p provekit-bench --bench bench
 | [Samply](https://github.com/mstange/samply) | CPU flamegraphs | `samply record -r 10000 -- ./target/release/provekit-cli prove ...` |
 | [Instruments](https://crates.io/crates/cargo-instruments) | Allocations (macOS only) | `cargo instruments --template Allocations --release --bin provekit-cli prove ...` |
 
-Static inspection without running a proof:
+To inspect without running a proof:
 ```sh
 provekit-cli circuit_stats ./target/basic.json    # constraint count and R1CS structure
 provekit-cli analyze-pkp ./prover.pkp             # proving key size breakdown
@@ -172,10 +172,10 @@ provekit-cli show-inputs ./verifier.pkv ./proof.np  # public input names and val
 
 ## Acknowledgements
 
-- [**WHIR**](https://github.com/WizardOfMenlo/whir) — the multilinear polynomial commitment scheme and sumcheck protocol at the core of ProveKit's proof system. `WhirR1CSScheme` wraps it to prove R1CS satisfiability over BN254.
+- [**WHIR**](https://github.com/WizardOfMenlo/whir) — the polynomial commitment scheme and sumcheck protocol the proof system is built on. `WhirR1CSScheme` wraps it for R1CS satisfiability over BN254.
 
-- [**Spongefish**](https://github.com/arkworks-rs/spongefish) — a permutation-agnostic Fiat-Shamir library from arkworks. ProveKit's `TranscriptSponge` and `DuplexSponge` are built on its API, driving all challenge derivation in the proof protocol.
+- [**Spongefish**](https://github.com/arkworks-rs/spongefish) — Fiat-Shamir library from arkworks. All transcript construction and challenge derivation goes through its `DuplexSponge` API.
 
-- [**gnark-skyscraper**](https://github.com/reilabs/gnark-skyscraper) — Go implementation of the Skyscraper hash for gnark circuits. The recursive verifier uses it to reproduce the exact Merkle tree commitments generated by the Rust prover, enabling cross-language proof verification.
+- [**gnark-skyscraper**](https://github.com/reilabs/gnark-skyscraper) — Go implementation of the Skyscraper hash. The recursive verifier needs it to reproduce the same Merkle commitments as the Rust prover.
 
-- [**Noir**](https://github.com/noir-lang/noir) — the ZK domain-specific language ProveKit compiles from. Circuits are authored in Noir, compiled to ACIR via nargo, and lowered to R1CS by ProveKit's compiler.
+- [**Noir**](https://github.com/noir-lang/noir) — the ZK DSL we compile from. Write your circuit in Noir, run nargo to get ACIR, and ProveKit handles the rest.