From d172f81ea10e473a3e336441df20d11b8d0d2384 Mon Sep 17 00:00:00 2001 From: gabrielbosio Date: Thu, 26 Sep 2024 15:28:09 -0300 Subject: [PATCH] Fix Tock constraint domain size and add Book reference --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index a52d89a5..4a68b769 100644 --- a/README.md +++ b/README.md @@ -418,7 +418,9 @@ The two curves pallas and vesta (pa(llas ve)sta) created by the [Zcash team](htt These curves are referred to as “tick” and “tock” within the Mina source code. - Tick - Vesta (a.k.a. Step), constraint domain size 2¹⁸ [block and transaction proofs] -- Tock - Pallas (a.k.a. Wrap), constraint domain size 2¹² [signatures] +- Tock - Pallas (a.k.a. Wrap), constraint domain size 2¹⁷ [signatures] + +See [the Pickles section of the Mina book](https://o1-labs.github.io/proof-systems/specs/pickles.html) for more details. The Tock prover does less (only performs recursive verifications and no other logic), so it requires fewer constraints and has a smaller