From 275b41edbfe085d6edd2fbcd811f9eb61ed6bce0 Mon Sep 17 00:00:00 2001 From: Brian Lawrence Date: Tue, 9 Jul 2024 10:56:23 -0700 Subject: [PATCH] Number step 4 --- easy/src/plonk.typ | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/easy/src/plonk.typ b/easy/src/plonk.typ index fed59fa..118a32f 100644 --- a/easy/src/plonk.typ +++ b/easy/src/plonk.typ @@ -287,7 +287,7 @@ The copy constraints are the trickiest step. There are a few moving parts to this idea, so we skip it for now and dedicate @copy-constraints to it. -== Public and private witnesses +== Step 4: Public and private witnesses The last thing to be done is to reveal the value of public witnesses, so the prover can convince the verifier that those values are correct.