Skip to content

Commit

Permalink
readme: update TOC
Browse files Browse the repository at this point in the history
  • Loading branch information
NickVolynkin committed Nov 14, 2023
1 parent 7ee640f commit 4b7a5f3
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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)
Expand Down

0 comments on commit 4b7a5f3

Please sign in to comment.