From 71ef42e2c7a21f60b053394d295880b13ef87a26 Mon Sep 17 00:00:00 2001 From: Nick Volynkin Date: Tue, 14 Nov 2023 16:16:35 +0200 Subject: [PATCH] readme: update TOC --- README.md | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index db63431..3ee3d4c 100644 --- a/README.md +++ b/README.md @@ -20,11 +20,12 @@ or Docker Desktop (on macOS). - [2. Get the Docker images with `=nil;` toolchain](#2-get-the-docker-images-with-nil-toolchain) - [Part 1. Circuit development workflow](#part-1-circuit-development-workflow) - [Step 1: Compile a circuit](#step-1-compile-a-circuit) - - [Step 2: Build a circuit statement](#step-2-build-a-circuit-statement) + - [Step 2: Build a circuit file and an assignment table](#step-2-build-a-circuit-file-and-an-assignment-table) - [Step 3: Produce and verify a proof locally](#step-3-produce-and-verify-a-proof-locally) - [Step 4: Make an account on the Proof Market](#step-4-make-an-account-on-the-proof-market) - - [Step 5: Publish the circuit statement](#step-5-publish-the-circuit-statement) - - [Step 6: Check the information about your statement](#step-6-check-the-information-about-your-statement) + - [Step 5: Build a circuit statement](#step-5-build-a-circuit-statement) + - [Step 6: Publish the circuit statement](#step-6-publish-the-circuit-statement) + - [Step 7: Check the information about your statement](#step-7-check-the-information-about-your-statement) - [Part 2. Application developer workflow](#part-2-application-developer-workflow) - [Step 1: See the statements available on the Proof Market](#step-1-see-the-statements-available-on-the-proof-market) - [Step 2: Post a proof request](#step-2-post-a-proof-request) @@ -269,7 +270,7 @@ This command will save your username and password in two files in the container: These files in the container are mounted to `.config/.user` and `.config/.secret` on your machine. This way, when you stop the container, the files will persist until you run it again. -## Step 2: Build a circuit statement +## Step 5: Build a circuit statement The Proof Market works with circuits in the form of circuit statements. A statement is basically a JSON containing the circuit and various metadata @@ -340,7 +341,7 @@ Later we will use it to generate a proof locally. We will also push this circuit statement to the Proof Market. -## Step 5: Publish the circuit statement +## Step 6: Publish the circuit statement Remember the statement that we've packed in step 2? Let's publish it on the Proof Market. @@ -355,7 +356,7 @@ This command will return the following output with your statement's ID (key): Statement from /opt/zkllvm-template/build/template.json was pushed with key 12345678. ``` -## Step 6: Check the information about your statement +## Step 7: Check the information about your statement Let's see how the statement is published: