Skip to content

Commit

Permalink
Fix Tock constraint domain size and add Book reference
Browse files Browse the repository at this point in the history
  • Loading branch information
gabrielbosio committed Sep 26, 2024
1 parent f550222 commit d172f81
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit d172f81

Please sign in to comment.