Skip to content

Commit

Permalink
Fix relative paths
Browse files Browse the repository at this point in the history
  • Loading branch information
Savio-Sou committed Oct 9, 2024
1 parent ebaeea5 commit 5b0aff2
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 5 deletions.
6 changes: 3 additions & 3 deletions docs/docs/how_to/how-to-solidity-verifier.md
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ This allows for a powerful feature set, as one can make use of the conciseness a
This guide shows you how to generate a Solidity Verifier and deploy it on the [Remix IDE](https://remix.ethereum.org/). It is assumed that:

- You are comfortable with the Solidity programming language and understand how contracts are deployed on the Ethereum network
- You have Noir installed and you have a Noir program. If you don't, [get started](../getting_started.md) with Nargo and the example Hello Noir circuit
- You have Noir installed and you have a Noir program. If you don't, [get started](../getting_started/quick_start.md) with Nargo and the example Hello Noir circuit
- You are comfortable navigating RemixIDE. If you aren't or you need a refresher, you can find some video tutorials [here](https://www.youtube.com/channel/UCjTUPyFEr2xDGN6Cg8nKDaA) that could help you.

## Rundown
Expand Down Expand Up @@ -131,9 +131,9 @@ To verify a proof using the Solidity verifier contract, we call the `verify` fun
function verify(bytes calldata _proof, bytes32[] calldata _publicInputs) external view returns (bool)
```

When using the default example in the [Hello Noir](../getting_started.md) guide, the easiest way to confirm that the verifier contract is doing its job is by calling the `verify` function via remix with the required parameters. Note that the public inputs must be passed in separately to the rest of the proof so we must split the proof as returned from `bb`.
When using the default example in the [Hello Noir](../getting_started/quick_start.md) guide, the easiest way to confirm that the verifier contract is doing its job is by calling the `verify` function via remix with the required parameters. Note that the public inputs must be passed in separately to the rest of the proof so we must split the proof as returned from `bb`.

First generate a proof with `bb` at the location `./proof` using the steps in [get started](../getting_started.md), this proof is in a binary format but we want to convert it into a hex string to pass into Remix, this can be done with the
First generate a proof with `bb` at the location `./proof` using the steps in [get started](../getting_started/quick_start.md), this proof is in a binary format but we want to convert it into a hex string to pass into Remix, this can be done with the

```bash
# This value must be changed to match the number of public inputs (including return values!) in your program.
Expand Down
4 changes: 2 additions & 2 deletions docs/docs/tutorials/noirjs_app.md
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ Before we start, we want to make sure we have Node, Nargo and the Barretenberg p

We start by opening a terminal and executing `node --version`. If we don't get an output like `v20.10.0`, that means node is not installed. Let's do that by following the handy [nvm guide](https://github.com/nvm-sh/nvm?tab=readme-ov-file#install--update-script).

As for `Nargo`, we can follow the [Nargo guide](../getting_started.md) to install it. If you're lazy, just paste this on a terminal and run `noirup`:
As for `Nargo`, we can follow the [Nargo guide](../getting_started/quick_start.md) to install it. If you're lazy, just paste this on a terminal and run `noirup`:

```sh
curl -L https://raw.githubusercontent.com/noir-lang/noirup/main/install | bash
Expand Down Expand Up @@ -78,7 +78,7 @@ At this point in the tutorial, your folder structure should look like this:
### Node and Vite

If you want to explore Nargo, feel free to go on a side-quest now and follow the steps in the
[getting started](../getting_started.md) guide. However, we want our app to run on the browser, so we need Vite.
[getting started](../getting_started/quick_start.md) guide. However, we want our app to run on the browser, so we need Vite.

Vite is a powerful tool to generate static websites. While it provides all kinds of features, let's just go barebones with some good old vanilla JS.

Expand Down

0 comments on commit 5b0aff2

Please sign in to comment.