Tim Ruffing ebb1beea78 sage: Ensure that constraints are always fastfracs ...

Even if they are constants created in the formula functions. We now
lift integer constants to fastfracs.

2022-02-04 15:39:44 +01:00

..

gen_exhaustive_groups.sage

sage: Reorganize files

2020-11-25 13:50:40 +01:00

gen_split_lambda_constants.sage

sage: Add script for generating scalar_split_lambda constants

2020-12-03 11:56:09 +01:00

group_prover.sage

sage: Ensure that constraints are always fastfracs

2022-02-04 15:39:44 +01:00

prove_group_implementations.sage

sage: Exit with non-zero status in case of failures

2022-02-04 15:37:32 +01:00

secp256k1_params.sage

Fix G.y parity in sage code

2021-10-20 10:14:13 -04:00

weierstrass_prover.sage

sage: Ensure that constraints are always fastfracs

2022-02-04 15:39:44 +01:00