From 1212503a9c253ba8ad33f6a1223fcd2ff60bc844 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Clara=20Rodr=C3=ADguez?= Date: Mon, 11 Mar 2024 10:37:46 +0100 Subject: [PATCH] Update mkdocs.yml --- mkdocs/mkdocs.yml | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/mkdocs/mkdocs.yml b/mkdocs/mkdocs.yml index d893b232b..4cc42d8b2 100644 --- a/mkdocs/mkdocs.yml +++ b/mkdocs/mkdocs.yml @@ -31,7 +31,7 @@ nav: - Getting started: - Installation: 'getting-started/installation.md' - Writing circuits: 'getting-started/writing-circuits.md' - - Compiling circuits: 'getting-started/compiling-circuits.md' + - Compiling circuits: 'getting-started/compiling-circuits.md' - Computing the witness: 'getting-started/computing-the-witness.md' # - Testing circuits: 'getting-started/testing-circuits.md' - Proving circuits with ZK: 'getting-started/proving-circuits.md' @@ -67,6 +67,12 @@ nav: - Compiler Messages: 'circom-language/circom-insight/compiler-messages.md' - Unknowns : 'circom-language/circom-insight/unknowns.md' - Circom Library: 'circom-language/circom-insight/circom-library.md' + - Complete compilation options: 'getting-started/compilation-options.md' + - Format of the output files: + - Sym: 'circom-language/formats/sym.md' + - JSON constraints: 'circom-language/formats/constraints-json.md' + - JSON simplification substitutions: 'circom-language/formats/simplification-json.md' + - More circuits: - Basic circuits: 'more-circuits/more-basic-circuits.md' - Downloads: 'downloads/downloads.md'