diff --git a/README.md b/README.md index db63431..388879d 100644 --- a/README.md +++ b/README.md @@ -20,9 +20,10 @@ 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 2: Build a circuit statement](#step-2-build-a-circuit-statement) - [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) - [Part 2. Application developer workflow](#part-2-application-developer-workflow)