diff options
author | 2017-10-11 15:30:11 -0400 | |
---|---|---|
committer | 2017-10-18 23:01:29 -0400 | |
commit | 0234d56d299e34651b287a42b777d1f644fc56d5 (patch) | |
tree | 864c212fffc8d42095bfe81a92e6870b02122da4 /src/Specific/Framework/ArithmeticSynthesis/FreezePackage.v | |
parent | 95ac9ae063e7af1b9e9023be2b601a44b72b9e01 (diff) |
Add default computation for goldilocks
As per
https://github.com/mit-plv/fiat-crypto/pull/248#discussion_r144016387,
we turn on goldilocks by default if the prime is of the form 2^2k - 2^k
- 1.
Diffstat (limited to 'src/Specific/Framework/ArithmeticSynthesis/FreezePackage.v')
0 files changed, 0 insertions, 0 deletions