1{2 "experiment": "sha256_summary",3 "timestamp_utc": "2026-11-01T06:22:00+00:00",4 "command": "experiments/reduced_round_sha256/make_summary.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 "sources": [28 "bias_seed1.json",29 "bias_seed2.json",30 "bias_seed3.json",31 "diffusion_seed1.json",32 "diffusion_seed2.json",33 "diffusion_seed3.json",34 "local_collision.json",35 "local_collision_bits31_0_seed2.json"36 ]37 },38 "measurements": {39 "diffusion": {40 "n_per_seed": 2000,41 "seeds": [42 1,43 2,44 345 ],46 "threshold": 0.49,47 "by_config": {48 "W0": {49 "full_diffusion_step_by_seed": [50 6,51 6,52 653 ],54 "full_diffusion_step": 6,55 "mean_flip_ratio_by_step": [56 0.0146,57 0.097,58 0.2166,59 0.3411,60 0.4514,61 0.4939,62 0.4992,63 0.4993,64 0.4997,65 0.4999,66 0.5,67 0.5003,68 0.5002,69 0.5002,70 0.5002,71 0.5001,72 0.5001,73 0.4999,74 0.5,75 0.4999,76 0.4998,77 0.4997,78 0.4996,79 0.4995,80 0.4993,81 0.5,82 0.5001,83 0.5006,84 0.5008,85 0.5006,86 0.5006,87 0.5007,88 0.5009,89 0.5005,90 0.5005,91 0.5001,92 0.4996,93 0.5,94 0.5001,95 0.5001,96 0.5003,97 0.4999,98 0.5,99 0.5002,100 0.4998,101 0.4997,102 0.4999,103 0.5001,104 0.5007,105 0.5009,106 0.5005,107 0.4999,108 0.4996,109 0.4997,110 0.4996,111 0.4999,112 0.4999,113 0.4998,114 0.4996,115 0.4995,116 0.4994,117 0.4997,118 0.5002,119 0.5002120 ],121 "flip_ratio_step64": 0.5002,122 "hamming_mean_step64": 128.04,123 "hamming_sd_step64": 8.08,124 "random_oracle_flip_ratio": 0.5001,125 "random_oracle_flip_sd": 0.0309126 },127 "W5": {128 "full_diffusion_step_by_seed": [129 11,130 11,131 11132 ],133 "full_diffusion_step": 11,134 "mean_flip_ratio_by_step": [135 0.0,136 0.0,137 0.0,138 0.0,139 0.0,140 0.0152,141 0.0974,142 0.217,143 0.3421,144 0.4516,145 0.4943,146 0.5,147 0.4999,148 0.4997,149 0.4995,150 0.4992,151 0.4994,152 0.4996,153 0.4999,154 0.5,155 0.4998,156 0.5002,157 0.5002,158 0.5,159 0.5004,160 0.5001,161 0.5,162 0.5001,163 0.4997,164 0.4997,165 0.5001,166 0.4999,167 0.4998,168 0.4998,169 0.4998,170 0.5,171 0.5,172 0.5001,173 0.5001,174 0.5,175 0.5003,176 0.5004,177 0.5002,178 0.5001,179 0.4999,180 0.5001,181 0.4999,182 0.5001,183 0.5001,184 0.4999,185 0.5001,186 0.4999,187 0.5004,188 0.5004,189 0.5003,190 0.5005,191 0.5005,192 0.5005,193 0.5002,194 0.5004,195 0.5001,196 0.5004,197 0.5009,198 0.5006199 ],200 "flip_ratio_step64": 0.5006,201 "hamming_mean_step64": 128.15,202 "hamming_sd_step64": 7.95,203 "random_oracle_flip_ratio": 0.4992,204 "random_oracle_flip_sd": 0.0317205 },206 "W15": {207 "full_diffusion_step_by_seed": [208 21,209 21,210 21211 ],212 "full_diffusion_step": 21,213 "mean_flip_ratio_by_step": [214 0.0,215 0.0,216 0.0,217 0.0,218 0.0,219 0.0,220 0.0,221 0.0,222 0.0,223 0.0,224 0.0,225 0.0,226 0.0,227 0.0,228 0.0,229 0.0152,230 0.0972,231 0.2172,232 0.3423,233 0.4522,234 0.4948,235 0.5001,236 0.5002,237 0.5003,238 0.5009,239 0.5009,240 0.5006,241 0.5002,242 0.4998,243 0.4995,244 0.4992,245 0.4998,246 0.5,247 0.4998,248 0.5001,249 0.4998,250 0.4997,251 0.4996,252 0.4995,253 0.4992,254 0.4992,255 0.4993,256 0.4993,257 0.4992,258 0.4989,259 0.4992,260 0.4994,261 0.4997,262 0.4999,263 0.4997,264 0.4994,265 0.4996,266 0.4999,267 0.5001,268 0.5004,269 0.5004,270 0.5001,271 0.4996,272 0.4992,273 0.4993,274 0.4997,275 0.4999,276 0.5001,277 0.4995278 ],279 "flip_ratio_step64": 0.4995,280 "hamming_mean_step64": 127.88,281 "hamming_sd_step64": 8.02,282 "random_oracle_flip_ratio": 0.4998,283 "random_oracle_flip_sd": 0.0309284 },285 "IV": {286 "full_diffusion_step_by_seed": [287 8,288 8,289 8290 ],291 "full_diffusion_step": 8,292 "mean_flip_ratio_by_step": [293 0.0181,294 0.0721,295 0.1618,296 0.2712,297 0.3782,298 0.4483,299 0.4828,300 0.4973,301 0.5005,302 0.5005,303 0.5006,304 0.5006,305 0.5005,306 0.5006,307 0.5001,308 0.5002,309 0.4999,310 0.4998,311 0.5001,312 0.5001,313 0.4999,314 0.5002,315 0.5003,316 0.4998,317 0.4998,318 0.4994,319 0.499,320 0.4993,321 0.4996,322 0.4994,323 0.4991,324 0.4991,325 0.4989,326 0.4993,327 0.4995,328 0.4996,329 0.5001,330 0.5004,331 0.5006,332 0.5006,333 0.5001,334 0.5,335 0.5002,336 0.5001,337 0.5006,338 0.5003,339 0.5004,340 0.5006,341 0.5002,342 0.5001,343 0.4999,344 0.5,345 0.5001,346 0.5005,347 0.5008,348 0.5004,349 0.5005,350 0.5005,351 0.5002,352 0.5001,353 0.5004,354 0.5002,355 0.5002,356 0.5007357 ],358 "flip_ratio_step64": 0.5007,359 "hamming_mean_step64": 128.19,360 "hamming_sd_step64": 7.99,361 "random_oracle_flip_ratio": 0.5001,362 "random_oracle_flip_sd": 0.031363 }364 },365 "hosts": [366 "MacBookPro-de-simon-pierre-2.local"367 ]368 },369 "bias": {370 "n_per_seed": 20000,371 "seeds": [372 1,373 2,374 3375 ],376 "r_list": [377 1,378 2,379 3,380 4,381 5,382 6,383 8,384 10,385 12,386 16,387 20,388 24,389 32,390 64391 ],392 "bias_threshold_4sigma": 0.01414213562373095,393 "corr_threshold_4sigma": 0.0282842712474619,394 "expected_pairs_under_null": 1.0378032523876717,395 "first_r_with_no_bit_bias_and_no_chi2_rejection": 4,396 "first_r_with_correlation_count_at_noise_level": 5,397 "by_r": {398 "1": {399 "max_bit_bias_by_seed": [400 0.5,401 0.5,402 0.5403 ],404 "n_bits_bias_over_4sigma_by_seed": [405 192,406 192,407 192408 ],409 "max_abs_corr_by_seed": [410 1.0,411 0.7522,412 1.0413 ],414 "n_pairs_corr_over_4sigma_by_seed": [415 13,416 5,417 10418 ],419 "chi2_bytes_rejected_by_seed": [420 24,421 24,422 24423 ],424 "chi2_min_p_by_seed": [425 0.0,426 0.0,427 0.0428 ]429 },430 "2": {431 "max_bit_bias_by_seed": [432 0.5,433 0.5,434 0.5435 ],436 "n_bits_bias_over_4sigma_by_seed": [437 128,438 128,439 128440 ],441 "max_abs_corr_by_seed": [442 1.0,443 0.757,444 1.0445 ],446 "n_pairs_corr_over_4sigma_by_seed": [447 12,448 7,449 10450 ],451 "chi2_bytes_rejected_by_seed": [452 16,453 16,454 16455 ],456 "chi2_min_p_by_seed": [457 0.0,458 0.0,459 0.0460 ]461 },462 "3": {463 "max_bit_bias_by_seed": [464 0.5,465 0.5,466 0.5467 ],468 "n_bits_bias_over_4sigma_by_seed": [469 64,470 64,471 64472 ],473 "max_abs_corr_by_seed": [474 1.0,475 0.8711,476 1.0477 ],478 "n_pairs_corr_over_4sigma_by_seed": [479 13,480 5,481 10482 ],483 "chi2_bytes_rejected_by_seed": [484 8,485 8,486 8487 ],488 "chi2_min_p_by_seed": [489 0.0,490 0.0,491 0.0492 ]493 },494 "4": {495 "max_bit_bias_by_seed": [496 0.0114,497 0.0092,498 0.0122499 ],500 "n_bits_bias_over_4sigma_by_seed": [501 0,502 0,503 0504 ],505 "max_abs_corr_by_seed": [506 1.0,507 0.889,508 1.0509 ],510 "n_pairs_corr_over_4sigma_by_seed": [511 13,512 6,513 10514 ],515 "chi2_bytes_rejected_by_seed": [516 0,517 0,518 0519 ],520 "chi2_min_p_by_seed": [521 0.0024674005700014512,522 0.005407013673268867,523 0.0015723780131803185524 ]525 },526 "5": {527 "max_bit_bias_by_seed": [528 0.0106,529 0.0097,530 0.0092531 ],532 "n_bits_bias_over_4sigma_by_seed": [533 0,534 0,535 0536 ],537 "max_abs_corr_by_seed": [538 0.0271,539 0.026,540 0.0282541 ],542 "n_pairs_corr_over_4sigma_by_seed": [543 0,544 0,545 0546 ],547 "chi2_bytes_rejected_by_seed": [548 0,549 0,550 0551 ],552 "chi2_min_p_by_seed": [553 0.0033723425506973254,554 0.004638602153315565,555 0.0015723780131803185556 ]557 },558 "6": {559 "max_bit_bias_by_seed": [560 0.0101,561 0.0093,562 0.0104563 ],564 "n_bits_bias_over_4sigma_by_seed": [565 0,566 0,567 0568 ],569 "max_abs_corr_by_seed": [570 0.0331,571 0.0273,572 0.0288573 ],574 "n_pairs_corr_over_4sigma_by_seed": [575 1,576 0,577 1578 ],579 "chi2_bytes_rejected_by_seed": [580 0,581 0,582 0583 ],584 "chi2_min_p_by_seed": [585 0.010274933772688021,586 0.014881643669081616,587 0.0608728684473952588 ]589 },590 "8": {591 "max_bit_bias_by_seed": [592 0.0101,593 0.0096,594 0.0107595 ],596 "n_bits_bias_over_4sigma_by_seed": [597 0,598 0,599 0600 ],601 "max_abs_corr_by_seed": [602 0.0286,603 0.0285,604 0.0279605 ],606 "n_pairs_corr_over_4sigma_by_seed": [607 1,608 1,609 0610 ],611 "chi2_bytes_rejected_by_seed": [612 0,613 0,614 0615 ],616 "chi2_min_p_by_seed": [617 0.001076326516126577,618 0.014881643669081616,619 0.019966566859453836620 ]621 },622 "10": {623 "max_bit_bias_by_seed": [624 0.0134,625 0.01,626 0.0107627 ],628 "n_bits_bias_over_4sigma_by_seed": [629 0,630 0,631 0632 ],633 "max_abs_corr_by_seed": [634 0.0285,635 0.0271,636 0.0292637 ],638 "n_pairs_corr_over_4sigma_by_seed": [639 1,640 0,641 1642 ],643 "chi2_bytes_rejected_by_seed": [644 0,645 0,646 0647 ],648 "chi2_min_p_by_seed": [649 0.008945818349664672,650 0.06917954959344591,651 0.010032979755380173652 ]653 },654 "12": {655 "max_bit_bias_by_seed": [656 0.0101,657 0.0108,658 0.0112659 ],660 "n_bits_bias_over_4sigma_by_seed": [661 0,662 0,663 0664 ],665 "max_abs_corr_by_seed": [666 0.0278,667 0.0291,668 0.026669 ],670 "n_pairs_corr_over_4sigma_by_seed": [671 0,672 1,673 0674 ],675 "chi2_bytes_rejected_by_seed": [676 0,677 0,678 0679 ],680 "chi2_min_p_by_seed": [681 0.0008340946583209548,682 0.03487799680847444,683 0.024982026728623617684 ]685 },686 "16": {687 "max_bit_bias_by_seed": [688 0.0105,689 0.0087,690 0.0141691 ],692 "n_bits_bias_over_4sigma_by_seed": [693 0,694 0,695 0696 ],697 "max_abs_corr_by_seed": [698 0.0277,699 0.0278,700 0.029701 ],702 "n_pairs_corr_over_4sigma_by_seed": [703 0,704 0,705 2706 ],707 "chi2_bytes_rejected_by_seed": [708 0,709 0,710 0711 ],712 "chi2_min_p_by_seed": [713 0.009718294473367946,714 0.04770020631629251,715 0.1010909046664058716 ]717 },718 "20": {719 "max_bit_bias_by_seed": [720 0.0093,721 0.0109,722 0.0093723 ],724 "n_bits_bias_over_4sigma_by_seed": [725 0,726 0,727 0728 ],729 "max_abs_corr_by_seed": [730 0.0285,731 0.0292,732 0.0302733 ],734 "n_pairs_corr_over_4sigma_by_seed": [735 1,736 3,737 2738 ],739 "chi2_bytes_rejected_by_seed": [740 0,741 0,742 0743 ],744 "chi2_min_p_by_seed": [745 0.009115272103638538,746 0.020560073098227438,747 0.03409694668704797748 ]749 },750 "24": {751 "max_bit_bias_by_seed": [752 0.0096,753 0.0158,754 0.009755 ],756 "n_bits_bias_over_4sigma_by_seed": [757 0,758 1,759 0760 ],761 "max_abs_corr_by_seed": [762 0.03,763 0.0257,764 0.0316765 ],766 "n_pairs_corr_over_4sigma_by_seed": [767 2,768 0,769 1770 ],771 "chi2_bytes_rejected_by_seed": [772 0,773 0,774 0775 ],776 "chi2_min_p_by_seed": [777 0.01569305523292343,778 0.01967545027577288,779 0.009312449428667461780 ]781 },782 "32": {783 "max_bit_bias_by_seed": [784 0.0102,785 0.0101,786 0.0099787 ],788 "n_bits_bias_over_4sigma_by_seed": [789 0,790 0,791 0792 ],793 "max_abs_corr_by_seed": [794 0.0312,795 0.0315,796 0.0274797 ],798 "n_pairs_corr_over_4sigma_by_seed": [799 1,800 1,801 0802 ],803 "chi2_bytes_rejected_by_seed": [804 0,805 0,806 0807 ],808 "chi2_min_p_by_seed": [809 0.0012660042211685557,810 0.047700206316292716,811 0.04308089041350792812 ]813 },814 "64": {815 "max_bit_bias_by_seed": [816 0.0152,817 0.0094,818 0.0093819 ],820 "n_bits_bias_over_4sigma_by_seed": [821 1,822 0,823 0824 ],825 "max_abs_corr_by_seed": [826 0.029,827 0.0307,828 0.0277829 ],830 "n_pairs_corr_over_4sigma_by_seed": [831 3,832 1,833 0834 ],835 "chi2_bytes_rejected_by_seed": [836 0,837 0,838 0839 ],840 "chi2_min_p_by_seed": [841 0.00045768341706625844,842 0.02309012894148317,843 0.04233302901234922844 ]845 },846 "random_oracle": {847 "max_bit_bias_by_seed": [848 0.0102,849 0.0121,850 0.0115851 ],852 "n_pairs_corr_over_4sigma_by_seed": [853 1,854 0,855 0856 ],857 "chi2_bytes_rejected_by_seed": [858 0,859 0,860 0861 ]862 }863 }864 },865 "local_collision": {866 "n_per_bit": 100000,867 "seed": 1,868 "host": "MacBookPro-de-simon-pierre-2.local",869 "linear_model_all_32_single_bit_cancel": true,870 "pattern_formula": "(d, S0(d)^S1(d), S1(S0(d)), 0, d, S0(d)^S1(d), 0, 0, d)",871 "pattern_bit31_hex": [872 "80000000",873 "22140240",874 "42851098",875 "00000000",876 "80000000",877 "22140240",878 "00000000",879 "00000000",880 "80000000"881 ],882 "pattern_bit0_hex": [883 "00000001",884 "44280480",885 "850a2130",886 "00000000",887 "00000001",888 "44280480",889 "00000000",890 "00000000",891 "00000001"892 ],893 "empirical_collisions_total": 0,894 "empirical_p_collision_by_bit": [895 0.0,896 0.0,897 0.0,898 0.0,899 0.0,900 0.0,901 0.0,902 0.0,903 0.0,904 0.0,905 0.0,906 0.0,907 0.0,908 0.0,909 0.0,910 0.0,911 0.0,912 0.0,913 0.0,914 0.0,915 0.0,916 0.0,917 0.0,918 0.0,919 0.0,920 0.0,921 0.0,922 0.0,923 0.0,924 0.0,925 0.0,926 0.0927 ],928 "rule_of_three_upper_bound": 3e-05,929 "survival_after_step_i_by_bit": [930 0.25302,931 0.25158,932 0.25015,933 0.25125,934 0.25187,935 0.24797,936 0.24881,937 0.25075,938 0.24786,939 0.25191,940 0.2496,941 0.24705,942 0.25048,943 0.24892,944 0.24971,945 0.24873,946 0.25073,947 0.25051,948 0.24932,949 0.25077,950 0.24941,951 0.25233,952 0.25067,953 0.25162,954 0.24918,955 0.24879,956 0.24925,957 0.24914,958 0.25313,959 0.25297,960 0.24782,961 1.0962 ],963 "survival_after_step_i+1_by_bit": [964 0.00013,965 0.00053,966 9e-05,967 0.00011,968 0.00013,969 0.00023,970 0.00015,971 0.00013,972 9e-05,973 0.00012,974 0.00023,975 0.00014,976 0.00054,977 0.00014,978 0.0002,979 3e-05,980 0.00011,981 0.00011,982 0.00023,983 0.00012,984 0.00013,985 0.00038,986 0.00011,987 0.00013,988 0.00021,989 8e-05,990 0.00013,991 0.00014,992 8e-05,993 9e-05,994 0.00011,995 0.00042996 ],997 "survival_after_step_i+2_by_bit": [998 0.0,999 0.0,1000 0.0,1001 0.0,1002 0.0,1003 0.0,1004 0.0,1005 0.0,1006 0.0,1007 0.0,1008 0.0,1009 0.0,1010 0.0,1011 0.0,1012 0.0,1013 0.0,1014 0.0,1015 0.0,1016 0.0,1017 0.0,1018 0.0,1019 0.0,1020 0.0,1021 0.0,1022 0.0,1023 0.0,1024 0.0,1025 0.0,1026 0.0,1027 0.0,1028 0.0,1029 0.01030 ],1031 "sat_timeout_s": 120.0,1032 "sat_found_verified_bits": [1033 0,1034 1,1035 2,1036 3,1037 4,1038 5,1039 6,1040 7,1041 8,1042 9,1043 10,1044 11,1045 12,1046 13,1047 14,1048 15,1049 16,1050 17,1051 18,1052 19,1053 20,1054 21,1055 22,1056 23,1057 24,1058 25,1059 26,1060 27,1061 28,1062 29,1063 30,1064 311065 ],1066 "sat_timeout_bits": [],1067 "sat_wall_s_by_bit": {1068 "0": 118.308,1069 "1": 77.983,1070 "2": 87.294,1071 "3": 16.459,1072 "4": 36.858,1073 "5": 39.734,1074 "6": 108.711,1075 "7": 21.483,1076 "8": 40.369,1077 "9": 30.366,1078 "10": 31.732,1079 "11": 38.3,1080 "12": 20.751,1081 "13": 17.708,1082 "14": 27.517,1083 "15": 13.143,1084 "16": 23.338,1085 "17": 29.696,1086 "18": 17.998,1087 "19": 17.758,1088 "20": 10.65,1089 "21": 10.886,1090 "22": 16.55,1091 "23": 12.336,1092 "24": 26.798,1093 "25": 14.602,1094 "26": 6.508,1095 "27": 5.561,1096 "28": 6.334,1097 "29": 4.361,1098 "30": 6.554,1099 "31": 5.121100 },1101 "sat_conflicts_by_bit": {1102 "0": 7507837,1103 "1": 5775167,1104 "2": 6112603,1105 "3": 1138201,1106 "4": 2366760,1107 "5": 2859885,1108 "6": 7505342,1109 "7": 1273216,1110 "8": 3386554,1111 "9": 2752934,1112 "10": 2432329,1113 "11": 2583378,1114 "12": 1479611,1115 "13": 1489182,1116 "14": 2255853,1117 "15": 1151587,1118 "16": 2123944,1119 "17": 2444800,1120 "18": 1722686,1121 "19": 1155321,1122 "20": 949738,1123 "21": 1037511,1124 "22": 1500553,1125 "23": 926607,1126 "24": 2016371,1127 "25": 996570,1128 "26": 572698,1129 "27": 529386,1130 "28": 613160,1131 "29": 445009,1132 "30": 358785,1133 "31": 3280991134 },1135 "second_run_bits31_0": {1136 "seed": 2,1137 "sat": [1138 {1139 "bit": 31,1140 "status": "sat",1141 "wall_s": 9.043,1142 "conflicts": 615822,1143 "verified": true1144 },1145 {1146 "bit": 0,1147 "status": "sat",1148 "wall_s": 52.215,1149 "conflicts": 3270049,1150 "verified": true1151 }1152 ],1153 "empirical_collisions_total": 01154 }1155 }1156 },1157 "elapsed_s": 0.1631158}