From ca8c8bc50595f9fcdddd3345eda34529fdf066d4 Mon Sep 17 00:00:00 2001 From: Carter Carlson Date: Tue, 10 Oct 2023 11:04:40 -0700 Subject: [PATCH] Fix: background.md typo The equation `a*b - c = out` is missing `mod 7` at the end. --- mkdocs/docs/background/background.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mkdocs/docs/background/background.md b/mkdocs/docs/background/background.md index 39f475395..b430d3c0b 100644 --- a/mkdocs/docs/background/background.md +++ b/mkdocs/docs/background/background.md @@ -105,7 +105,7 @@ For instance, imagine that in the previous circuit, the input `a` is a private k > Note that we could easily deduce the value of `a` by isolating it from the other signals. It is important to design circuits that keep the privacy of the private inputs and prevent deducing them from the R1CS. -An assignment of the signals is called a **witness**. For example, `{a = 2, b = 6, c = -1, out = 4}` would be a valid witness for the circuit. The assignment `{a = 1, b = 2, c = 1, out = 0}` would not be a valid witness, since it does not satisfy the equation `a*b - c = out`. +An assignment of the signals is called a **witness**. For example, `{a = 2, b = 6, c = -1, out = 4}` would be a valid witness for the circuit. The assignment `{a = 1, b = 2, c = 1, out = 0}` would not be a valid witness, since it does not satisfy the equation `a*b - c = out mod 7`. ## Summary