From f2fdb43bff06e4eacfa39b0c10c8dda6b2dfc88d Mon Sep 17 00:00:00 2001
From: InfiniteSwerve <37197079+InfiniteSwerve@users.noreply.github.com>
Date: Wed, 13 Oct 2021 13:18:53 -0700
Subject: [PATCH 1/2] Minor typo
---
mkdocs/docs/getting-started/proving-circuits.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/mkdocs/docs/getting-started/proving-circuits.md b/mkdocs/docs/getting-started/proving-circuits.md
index 4eefde4..215ba15 100644
--- a/mkdocs/docs/getting-started/proving-circuits.md
+++ b/mkdocs/docs/getting-started/proving-circuits.md
@@ -119,7 +119,7 @@ Export the verification key:
snarkjs zkey export verificationkey multiplier2_0001.zkey verification_key.json
```
-### Generating a Groph16 ZKP
+### Generating a Groth16 ZKP
Once the witness is computed and the trusted setup is already executed, we can **generate a zk-proof** associated to the circuit and the witness:
From d5c1304e39192bfc96226ada8731780740aedb58 Mon Sep 17 00:00:00 2001
From: InfiniteSwerve <37197079+InfiniteSwerve@users.noreply.github.com>
Date: Wed, 13 Oct 2021 13:27:52 -0700
Subject: [PATCH 2/2] minor typo fix
---
mkdocs/docs/circom-language/signals.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/mkdocs/docs/circom-language/signals.md b/mkdocs/docs/circom-language/signals.md
index d8a6094..8e34c84 100644
--- a/mkdocs/docs/circom-language/signals.md
+++ b/mkdocs/docs/circom-language/signals.md
@@ -28,7 +28,7 @@ component main {public [in1,in2]} = Multiplier2();
This example declares input signals `in1` and `in2` of the main component as public signals.
-In circom, all output signals of the main component are public (and cannot be made private), the input signals of the main component are private if not stated otherwise using the keyword public as avobe. The rest of signals are all private and cannot be made public.
+In circom, all output signals of the main component are public (and cannot be made private), the input signals of the main component are private if not stated otherwise using the keyword public as above. The rest of signals are all private and cannot be made public.
Thus, from the programmer's point of view, only public input and output signals are visible from outside the circuit, and hence no intermediate signal can be accessed.