2 Commits

Author	SHA1	Message	Date
Peter Dettman	e848c3799c	Update sage files for new formulae ... - formula_secp256k1_gej_double_var - formula_secp256k1_gej_add_ge	2022-02-01 17:51:13 +07:00
Tim Ruffing	f554dfc708	sage: Reorganize files ... * Move curve parameters to separate file * Rename main prover script for clarity	2020-11-25 13:50:40 +01:00