Skip to content

Commit

Permalink
Review
Browse files Browse the repository at this point in the history
  • Loading branch information
yoichi-nexus committed Jul 10, 2024
1 parent 2222c26 commit 0d6eb66
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions docs/pages/index.mdx
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,7 @@ The Nexus zkVM (zero-knowledge virtual machine) is a modular, extensible, open-s

## Proving Computation

The Nexus zkVM can prove any computation. For a Rust program:
The Nexus zkVM can prove any computation. Here is a simple example with a Rust program:

```rust
#![cfg_attr(target_arch = "riscv32", no_std, no_main)]
Expand All @@ -68,7 +68,7 @@ fn main() {
}
```

Generating a zero-knowledge proof of its correct execution is as easy as running:
A zero-knowledge proof of its correct execution is as easy as running:

```bash
cargo nexus prove
Expand Down

0 comments on commit 0d6eb66

Please sign in to comment.