1{2 "experiment": "symbolic_checks_sympy",3 "timestamp_utc": "2026-11-01T05:41:53+00:00",4 "command": "theory/elliptic_curves/symbolic_checks.py",5 "cwd": "/Users/simon-pierreboucher/Desktop/UQO/Recherche/Recherche-UQO/mathematiques/beyond-square-root-barrier",6 "seed": null,7 "host": {8 "hostname": "MacBookPro-de-simon-pierre-2.local",9 "os": "Darwin 27.0.0 (27.0)",10 "machine": "arm64",11 "python": "3.12.13",12 "cpu": "Apple M5 Max",13 "cores": 18,14 "ram_gb": 48.015 },16 "software": {17 "numpy": "2.5.4",18 "scipy": "1.18.1",19 "sympy": "1.14.0",20 "gmpy2": "2.3.2",21 "z3": "5.3.3",22 "pysat": "1.9.dev17",23 "ecdsa": "0.19.2",24 "coincurve": "21.0.0"25 },26 "params": {27 "sympy": "1.14.0"28 },29 "measurements": {30 "S1_formulas_preserve_curve": true,31 "S2_phi_is_endomorphism": true,32 "S3_xonly_differential_addition": true,33 "S4_semaev_S3_polynomial": true,34 "S5_ecdsa_malleability_scalars": true,35 "S6_schnorr_correctness_scalars": true36 },37 "elapsed_s": 0.17838}