Update specifications

Run make build
o1-labs · Nov 27, 2023 · 25156a2 · 25156a2
1 parent 8920a01
commit 25156a2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/book/src/specs/kimchi.md b/book/src/specs/kimchi.md
@@ -2202,7 +2202,7 @@ The prover then follows the following steps to create the proof:
 	* $s_i$
 	* $w_i$
 	* $z$
-	* lookup (TODO https://github.com/MinaProtocol/mina/issues/13886)
+	* lookup (TODO, see [this issue](https://github.com/MinaProtocol/mina/issues/13886))
 	* generic selector
 	* poseidon selector