Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
dmirgaleev authored Aug 5, 2024
1 parent ec2a6ee commit cfd128b
Showing 1 changed file with 15 additions and 32 deletions.
47 changes: 15 additions & 32 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -24,18 +24,9 @@ Follow-up work:

## Download binaries for x86_64

1) Find the latest release version.
2) Download the necessary binaries. For example:

```bash
wget https://github.com/dipdup-io/stone-packaging/releases/download/v2.0.1/cpu_air_prover
wget https://github.com/dipdup-io/stone-packaging/releases/download/v2.0.1/cpu_air_verifier
```

Make the downloaded file executable.

```bash
chmod +x cpu_air_prover
sudo wget https://github.com/dipdup-io/stone-packaging/releases/latest/download/cpu_air_prover -O /usr/bin/cpu_air_prover && sudo chmod +x /usr/bin/cpu_air_prover
sudo wget https://github.com/dipdup-io/stone-packaging/releases/latest/download/cpu_air_verifier -O /usr/bin/cpu_air_verifier && sudo chmod +x /usr/bin/cpu_air_verifier
```

### Creating and verifying a test proof using binaries
Expand All @@ -46,7 +37,7 @@ Clone the repository:
git clone https://github.com/dipdup-io/stone-packaging.git /tmp/stone-packaging
```

Navigate to the example test directory (`stone-packaging/test_files/`):
Navigate to the example test directory (`/tmp/stone-packaging/test_files/`):

```bash
cd /tmp/stone-packaging/test_files/
Expand All @@ -56,7 +47,7 @@ Copy or download from latest release the binary files to this directory.

Run the prover:
```bash
./cpu_air_prover \
cpu_air_prover \
--out_file=fibonacci_proof.json \
--private_input_file=fibonacci_private_input.json \
--public_input_file=fibonacci_public_input.json \
Expand All @@ -68,7 +59,7 @@ The proof is now available in the file `fibonacci_proof.json`.

Finally, run the verifier to verify the proof:
```bash
./cpu_air_verifier --in_file=fibonacci_proof.json && echo "Successfully verified example proof."
cpu_air_verifier --in_file=fibonacci_proof.json && echo "Successfully verified example proof."
```

## Download minimal docker images for x86_64
Expand All @@ -81,22 +72,16 @@ docker pull ghcr.io/dipdup-io/stone-packaging/stone-prover:latest

### Creating and verifying a test proof using docker images

Navigate to the directory

```bash
cd /tmp/
```

Clone the repository:

```bash
git clone https://github.com/dipdup-io/stone-packaging.git
git clone https://github.com/dipdup-io/stone-packaging.git /tmp/stone-packaging
```

Navigate to the example test directory (`stone-packaging/test_files/`):
Navigate to the example test directory (`/tmp/stone-packaging/test_files/`):

```bash
cd stone-packaging/test_files/
cd /tmp/stone-packaging/test_files/
```

Run docker images with volume:
Expand All @@ -110,7 +95,7 @@ docker run --entrypoint /bin/bash -v /tmp/stone-packaging/test_files:/app/prover
--parameter_file=cpu_air_params.json"
```

The proof is now available in the file test_files/fibonacci_proof.json
The proof is now available at test_files/fibonacci_proof.json

Run the verifier to verify the proof:

Expand All @@ -120,26 +105,24 @@ docker run --entrypoint /bin/bash -v /tmp/stone-packaging/test_files:/app/prover

## Download Native packages for Debian/Ubuntu

Download the deb package from latest release. For example:
Download the deb package from the latest release. For example:

```bash
wget https://github.com/dipdup-io/stone-packaging/releases/download/v2.0.2/stone-prover.deb
wget https://github.com/dipdup-io/stone-packaging/releases/latest/download/stone-prover.deb && sudo dpkg -i stone-prover.deb
```

### Creating and verifying a test proof using deb package

Navigate to the directory
Clone the repository:

```bash
cd /tmp/
git clone https://github.com/dipdup-io/stone-packaging.git /tmp/stone-packaging
```

Copy or download from latest release the deb package to this directory.

Install the deb package:
Navigate to the example test directory (`/tmp/stone-packaging/test_files/`):

```bash
sudo dpkg -i stone-prover.deb
cd /tmp/stone-packaging/test_files/
```

Run the prover:
Expand Down

0 comments on commit cfd128b

Please sign in to comment.