From 4ffc12e350626f44f9a40e5b762ac2536d15a994 Mon Sep 17 00:00:00 2001 From: Thor Kamphefner Date: Mon, 10 Jul 2023 09:11:28 -0700 Subject: [PATCH] fix issue 765 --- book/src/user/simple-example.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/book/src/user/simple-example.md b/book/src/user/simple-example.md index fecf518f76..4062fd612b 100644 --- a/book/src/user/simple-example.md +++ b/book/src/user/simple-example.md @@ -1,10 +1,10 @@ # A simple example Let's start with a simple circuit, to introduce you to the common APIs and how they are -used. The circuit will take a public input $c$, and will prove knowledge of two private -inputs $a$ and $b$ such that +used. The circuit will take a public input $c$, and will prove knowledge of three private +inputs $a$, $b$, and a constant $k$ such that -$$a^2 \cdot b^2 = c.$$ +$$k \cdot a^2 \cdot b^2 = c$$ ## Define instructions