src/secp256k1/sage

• gen_exhaustive_groups.sage
• gen_split_lambda_constants.sage
• group_prover.sage
• prove_group_implementations.sage
• secp256k1_params.sage
• weierstrass_prover.sage