SPB Git

spb/wp34_uqo

Public
4.6 KB · 173 lines json
1{2 "experiment": "index_calculus_decomposition_probe",3 "timestamp_utc": "2026-11-01T05:43:06+00:00",4 "command": "experiments/synthetic_ecdlp/index_calculus_probe.py",5 "cwd": "/Users/simon-pierreboucher/Desktop/UQO/Recherche/Recherche-UQO/mathematiques/beyond-square-root-barrier",6 "seed": 34,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  "m": 2,28  "sizes": [29   16,30   20,31   24,32   2833  ]34 },35 "measurements": {36  "rows": [37   {38    "bits": 16,39    "p": "65123",40    "n": "65293",41    "B": 255,42    "factor_base_size": 272,43    "trials": 400,44    "hits": 174,45    "decomposition_rate": 0.435,46    "predicted_rate": 0.43252230928380464,47    "relations_needed": 272,48    "expected_cost_group_ops": 170078.1609195402,49    "sqrt_n": 255.5249498581303,50    "cost_over_sqrt_n": 665.6029519386233,51    "oracle_relation_cost": 625.2873563218391,52    "oracle_relation_cost_over_sqrt_n": 2.4470696762449387,53    "linear_algebra_cost_over_sqrt_n": 289.53728409330114,54    "frac_exp": 0.555   },56   {57    "bits": 16,58    "p": "39937",59    "n": "39541",60    "B": 576,61    "factor_base_size": 596,62    "trials": 400,63    "hits": 396,64    "decomposition_rate": 0.99,65    "predicted_rate": 0.9887988939157356,66    "relations_needed": 596,67    "expected_cost_group_ops": 358804.0404040404,68    "sqrt_n": 198.84918908559823,69    "cost_over_sqrt_n": 1804.4028343992227,70    "oracle_relation_cost": 602.0202020202021,71    "oracle_relation_cost_over_sqrt_n": 3.0275215342268837,72    "linear_algebra_cost_over_sqrt_n": 1786.3588060552304,73    "frac_exp": 0.674   },75   {76    "bits": 20,77    "p": "1038563",78    "n": "1038127",79    "B": 1019,80    "factor_base_size": 1022,81    "trials": 300,82    "hits": 118,83    "decomposition_rate": 0.3933333333333333,84    "predicted_rate": 0.3953235540674799,85    "relations_needed": 1022,86    "expected_cost_group_ops": 2655467.7966101696,87    "sqrt_n": 1018.8851750810785,88    "cost_over_sqrt_n": 2606.248340397002,89    "oracle_relation_cost": 2598.305084745763,90    "oracle_relation_cost_over_sqrt_n": 2.550145147159493,91    "linear_algebra_cost_over_sqrt_n": 1025.1243472228207,92    "frac_exp": 0.593   },94   {95    "bits": 20,96    "p": "707249",97    "n": "707053",98    "B": 3234,99    "factor_base_size": 3222,100    "trials": 300,101    "hits": 300,102    "decomposition_rate": 1.0,103    "predicted_rate": 0.9993517503503901,104    "relations_needed": 3222,105    "expected_cost_group_ops": 10381284.0,106    "sqrt_n": 840.864436160788,107    "cost_over_sqrt_n": 12345.966309859388,108    "oracle_relation_cost": 3222.0,109    "oracle_relation_cost_over_sqrt_n": 3.8317710458905614,110    "linear_algebra_cost_over_sqrt_n": 12345.966309859388,111    "frac_exp": 0.6112   },113   {114    "bits": 24,115    "p": "15234503",116    "n": "15230309",117    "B": 3903,118    "factor_base_size": 3872,119    "trials": 200,120    "hits": 75,121    "decomposition_rate": 0.375,122    "predicted_rate": 0.3887132362360539,123    "relations_needed": 3872,124    "expected_cost_group_ops": 39979690.66666667,125    "sqrt_n": 3902.602849381423,126    "cost_over_sqrt_n": 10244.365673284845,127    "oracle_relation_cost": 10325.333333333334,128    "oracle_relation_cost_over_sqrt_n": 2.6457555974392672,129    "linear_algebra_cost_over_sqrt_n": 3841.637127481816,130    "frac_exp": 0.5131   },132   {133    "bits": 24,134    "p": "11411011",135    "n": "11404937",136    "B": 17155,137    "factor_base_size": 17262,138    "trials": 200,139    "hits": 200,140    "decomposition_rate": 1.0,141    "predicted_rate": 0.9999978787258659,142    "relations_needed": 17262,143    "expected_cost_group_ops": 297976644.0,144    "sqrt_n": 3377.1196306912198,145    "cost_over_sqrt_n": 88233.96165536811,146    "oracle_relation_cost": 17262.0,147    "oracle_relation_cost_over_sqrt_n": 5.111456474068365,148    "linear_algebra_cost_over_sqrt_n": 88233.96165536811,149    "frac_exp": 0.6150   },151   {152    "bits": 28,153    "p": "224348203",154    "n": "224361727",155    "B": 14978,156    "factor_base_size": 15002,157    "trials": 120,158    "hits": 37,159    "decomposition_rate": 0.30833333333333335,160    "predicted_rate": 0.39441245356380616,161    "relations_needed": 15002,162    "expected_cost_group_ops": 729924337.2972972,163    "sqrt_n": 14978.709123285624,164    "cost_over_sqrt_n": 48730.79057010129,165    "oracle_relation_cost": 48655.13513513513,166    "oracle_relation_cost_over_sqrt_n": 3.2482862665045524,167    "linear_algebra_cost_over_sqrt_n": 15025.327092447898,168    "frac_exp": 0.5169   }170  ]171 },172 "elapsed_s": 1.808173}
Files · c732f7e320257301eb619a8227b914374a41aac4
Menu

Theme