{
  "ok": true,
  "platform": "darwin",
  "seed": 20260625,
  "trials": 40,
  "headline_alg": "ML-DSA-65",
  "headline_sig_bytes": 3309,
  "headline_window": 64,
  "headline_onair_reduction_measured": 13.5509,
  "headline_onair_reduction_model": 13.5509,
  "naive_onair_bytes_per_beacon": 3335,
  "batched_onair_bytes_per_beacon": 246.109,
  "sig_sizes_measured": {
    "ML-DSA-44": 2420,
    "ML-DSA-65": 3309,
    "ML-DSA-87": 4627,
    "Falcon-512": 752,
    "Falcon-1024": 1462,
    "SPHINCS+-SHA2-128s-simple": 7856,
    "SPHINCS+-SHA2-128f-simple": 17088,
    "MAYO-2": 186
  },
  "framing": {
    "base_beacon_bytes": 85,
    "naive_marginal_onair": 3335,
    "model_matches_scapy": true,
    "framing_checks": [
      {
        "bytes": 1,
        "scapy_onair": 3,
        "model_onair": 3,
        "match": true
      },
      {
        "bytes": 31,
        "scapy_onair": 33,
        "model_onair": 33,
        "match": true
      },
      {
        "bytes": 32,
        "scapy_onair": 34,
        "model_onair": 34,
        "match": true
      },
      {
        "bytes": 96,
        "scapy_onair": 98,
        "model_onair": 98,
        "match": true
      },
      {
        "bytes": 192,
        "scapy_onair": 194,
        "model_onair": 194,
        "match": true
      },
      {
        "bytes": 255,
        "scapy_onair": 257,
        "model_onair": 257,
        "match": true
      },
      {
        "bytes": 256,
        "scapy_onair": 260,
        "model_onair": 260,
        "match": true
      },
      {
        "bytes": 510,
        "scapy_onair": 514,
        "model_onair": 514,
        "match": true
      },
      {
        "bytes": 752,
        "scapy_onair": 758,
        "model_onair": 758,
        "match": true
      },
      {
        "bytes": 1462,
        "scapy_onair": 1474,
        "model_onair": 1474,
        "match": true
      },
      {
        "bytes": 2420,
        "scapy_onair": 2440,
        "model_onair": 2440,
        "match": true
      },
      {
        "bytes": 3309,
        "scapy_onair": 3335,
        "model_onair": 3335,
        "match": true
      },
      {
        "bytes": 17088,
        "scapy_onair": 17224,
        "model_onair": 17224,
        "match": true
      }
    ],
    "rows": [
      {
        "window": 8,
        "proof_bytes": 96,
        "naive_onair_measured": 3335,
        "proof_onair_measured": 98,
        "root_onair_measured": 3335,
        "batched_onair_measured": 514.875,
        "reduction_measured": 6.4773,
        "reduction_model": 6.4773
      },
      {
        "window": 16,
        "proof_bytes": 128,
        "naive_onair_measured": 3335,
        "proof_onair_measured": 130,
        "root_onair_measured": 3335,
        "batched_onair_measured": 338.438,
        "reduction_measured": 9.8541,
        "reduction_model": 9.8541
      },
      {
        "window": 32,
        "proof_bytes": 160,
        "naive_onair_measured": 3335,
        "proof_onair_measured": 162,
        "root_onair_measured": 3335,
        "batched_onair_measured": 266.219,
        "reduction_measured": 12.5273,
        "reduction_model": 12.5273
      },
      {
        "window": 48,
        "proof_bytes": 192,
        "naive_onair_measured": 3335,
        "proof_onair_measured": 194,
        "root_onair_measured": 3335,
        "batched_onair_measured": 263.479,
        "reduction_measured": 12.6575,
        "reduction_model": 12.6575
      },
      {
        "window": 64,
        "proof_bytes": 192,
        "naive_onair_measured": 3335,
        "proof_onair_measured": 194,
        "root_onair_measured": 3335,
        "batched_onair_measured": 246.109,
        "reduction_measured": 13.5509,
        "reduction_model": 13.5509
      },
      {
        "window": 96,
        "proof_bytes": 224,
        "naive_onair_measured": 3335,
        "proof_onair_measured": 226,
        "root_onair_measured": 3335,
        "batched_onair_measured": 260.74,
        "reduction_measured": 12.7905,
        "reduction_model": 12.7905
      },
      {
        "window": 128,
        "proof_bytes": 224,
        "naive_onair_measured": 3335,
        "proof_onair_measured": 226,
        "root_onair_measured": 3335,
        "batched_onair_measured": 252.055,
        "reduction_measured": 13.2313,
        "reduction_model": 13.2313
      },
      {
        "window": 192,
        "proof_bytes": 256,
        "naive_onair_measured": 3335,
        "proof_onair_measured": 260,
        "root_onair_measured": 3335,
        "batched_onair_measured": 277.37,
        "reduction_measured": 12.0237,
        "reduction_model": 12.0237
      },
      {
        "window": 256,
        "proof_bytes": 256,
        "naive_onair_measured": 3335,
        "proof_onair_measured": 260,
        "root_onair_measured": 3335,
        "batched_onair_measured": 273.027,
        "reduction_measured": 12.2149,
        "reduction_model": 12.2149
      },
      {
        "window": 512,
        "proof_bytes": 288,
        "naive_onair_measured": 3335,
        "proof_onair_measured": 292,
        "root_onair_measured": 3335,
        "batched_onair_measured": 298.514,
        "reduction_measured": 11.172,
        "reduction_model": 11.172
      }
    ]
  },
  "window_optimum": {
    "argmax_window": 64,
    "max_reduction": 13.550885658053456,
    "reduction_at_headline_window": 13.550885658053456,
    "curve": [
      {
        "window": 2,
        "reduction": 1.9600352630032325
      },
      {
        "window": 3,
        "reduction": 2.8318709312199264
      },
      {
        "window": 4,
        "reduction": 3.7065851625451516
      },
      {
        "window": 5,
        "reduction": 4.359477124183006
      },
      {
        "window": 6,
        "reduction": 5.100688248789192
      },
      {
        "window": 7,
        "reduction": 5.805769709027605
      },
      {
        "window": 8,
        "reduction": 6.477300315610585
      },
      {
        "window": 9,
        "reduction": 6.662597114317426
      },
      {
        "window": 10,
        "reduction": 7.195253505933118
      },
      {
        "window": 11,
        "reduction": 7.698845750262329
      },
      {
        "window": 12,
        "reduction": 8.175689479060265
      },
      {
        "window": 13,
        "reduction": 8.627860696517413
      },
      {
        "window": 14,
        "reduction": 9.057225994180406
      },
      {
        "window": 15,
        "reduction": 9.465468306527908
      },
      {
        "window": 16,
        "reduction": 9.854108956602031
      },
      {
        "window": 17,
        "reduction": 9.311052718016095
      },
      {
        "window": 18,
        "reduction": 9.603263477843544
      },
      {
        "window": 19,
        "reduction": 9.880711055668176
      },
      {
        "window": 20,
        "reduction": 10.144486692015208
      },
      {
        "window": 21,
        "reduction": 10.395576666171888
      },
      {
        "window": 22,
        "reduction": 10.634874619510073
      },
      {
        "window": 23,
        "reduction": 10.863192182410424
      },
      {
        "window": 24,
        "reduction": 11.081268171120032
      },
      {
        "window": 25,
        "reduction": 11.289776574136765
      },
      {
        "window": 26,
        "reduction": 11.489333510003975
      },
      {
        "window": 27,
        "reduction": 11.680503307822026
      },
      {
        "window": 28,
        "reduction": 11.86380383686952
      },
      {
        "window": 29,
        "reduction": 12.03971119133574
      },
      {
        "window": 30,
        "reduction": 12.208663819402073
      },
      {
        "window": 31,
        "reduction": 12.371066172071318
      },
      {
        "window": 32,
        "reduction": 12.527291935673201
      },
      {
        "window": 33,
        "reduction": 11.302762657902845
      },
      {
        "window": 34,
        "reduction": 11.417782700634376
      },
      {
        "window": 35,
        "reduction": 11.528395061728395
      },
      {
        "window": 36,
        "reduction": 11.634848338017248
      },
      {
        "window": 37,
        "reduction": 11.737372776562353
      },
      {
        "window": 38,
        "reduction": 11.83618193705053
      },
      {
        "window": 39,
        "reduction": 11.93147417668104
      },
      {
        "window": 40,
        "reduction": 12.023433979269942
      },
      {
        "window": 41,
        "reduction": 12.11223314731154
      },
      {
        "window": 42,
        "reduction": 12.198031873203865
      },
      {
        "window": 43,
        "reduction": 12.280979703691017
      },
      {
        "window": 44,
        "reduction": 12.361216409738017
      },
      {
        "window": 45,
        "reduction": 12.438872772482389
      },
      {
        "window": 46,
        "reduction": 12.5140712945591
      },
      {
        "window": 47,
        "reduction": 12.586926844936961
      },
      {
        "window": 48,
        "reduction": 12.657547244405787
      },
      {
        "window": 49,
        "reduction": 12.726033797990812
      },
      {
        "window": 50,
        "reduction": 12.792481779823552
      },
      {
        "window": 51,
        "reduction": 12.856980875349612
      },
      {
        "window": 52,
        "reduction": 12.919615585189602
      },
      {
        "window": 53,
        "reduction": 12.980465594477492
      },
      {
        "window": 54,
        "reduction": 13.039606111070885
      },
      {
        "window": 55,
        "reduction": 13.097108175651554
      },
      {
        "window": 56,
        "reduction": 13.153038946404676
      },
      {
        "window": 57,
        "reduction": 13.20746196067533
      },
      {
        "window": 58,
        "reduction": 13.260437375745527
      },
      {
        "window": 59,
        "reduction": 13.31202219065016
      },
      {
        "window": 60,
        "reduction": 13.362270450751252
      },
      {
        "window": 61,
        "reduction": 13.411233436614147
      },
      {
        "window": 62,
        "reduction": 13.458959838573195
      },
      {
        "window": 63,
        "reduction": 13.505495918236162
      },
      {
        "window": 64,
        "reduction": 13.550885658053456
      },
      {
        "window": 65,
        "reduction": 12.02635228848821
      },
      {
        "window": 66,
        "reduction": 12.060161087063724
      },
      {
        "window": 67,
        "reduction": 12.09314282621638
      },
      {
        "window": 68,
        "reduction": 12.125327487568839
      },
      {
        "window": 69,
        "reduction": 12.15674362089915
      },
      {
        "window": 70,
        "reduction": 12.187418428608717
      },
      {
        "window": 71,
        "reduction": 12.21737784428048
      },
      {
        "window": 72,
        "reduction": 12.246646605804049
      },
      {
        "window": 73,
        "reduction": 12.275248323501236
      },
      {
        "window": 74,
        "reduction": 12.303205543646245
      },
      {
        "window": 75,
        "reduction": 12.330539807739708
      },
      {
        "window": 76,
        "reduction": 12.357271707864072
      },
      {
        "window": 77,
        "reduction": 12.383420938419249
      },
      {
        "window": 78,
        "reduction": 12.409006344511758
      },
      {
        "window": 79,
        "reduction": 12.434045967247156
      },
      {
        "window": 80,
        "reduction": 12.458557086154565
      },
      {
        "window": 81,
        "reduction": 12.482556258952913
      },
      {
        "window": 82,
        "reduction": 12.506059358851235
      },
      {
        "window": 83,
        "reduction": 12.52908160955959
      },
      {
        "window": 84,
        "reduction": 12.551637618172856
      },
      {
        "window": 85,
        "reduction": 12.573741406076735
      },
      {
        "window": 86,
        "reduction": 12.595406438013264
      },
      {
        "window": 87,
        "reduction": 12.616645649432536
      },
      {
        "window": 88,
        "reduction": 12.637471472247341
      },
      {
        "window": 89,
        "reduction": 12.65789585909847
      },
      {
        "window": 90,
        "reduction": 12.677930306230202
      },
      {
        "window": 91,
        "reduction": 12.697585875067988
      },
      {
        "window": 92,
        "reduction": 12.716873212583414
      },
      {
        "window": 93,
        "reduction": 12.735802570525191
      },
      {
        "window": 94,
        "reduction": 12.754383823589242
      },
      {
        "window": 95,
        "reduction": 12.772626486595444
      },
      {
        "window": 96,
        "reduction": 12.79053973073389
      },
      {
        "window": 97,
        "reduction": 12.808132398938907
      },
      {
        "window": 98,
        "reduction": 12.825413020445003
      },
      {
        "window": 99,
        "reduction": 12.84238982457505
      },
      {
        "window": 100,
        "reduction": 12.859070753807595
      },
      {
        "window": 101,
        "reduction": 12.875463476166814
      },
      {
        "window": 102,
        "reduction": 12.891575396975783
      },
      {
        "window": 103,
        "reduction": 12.907413670010895
      },
      {
        "window": 104,
        "reduction": 12.922985208092701
      },
      {
        "window": 105,
        "reduction": 12.93829669314613
      },
      {
        "window": 106,
        "reduction": 12.953354585760874
      },
      {
        "window": 107,
        "reduction": 12.968165134280628
      },
      {
        "window": 108,
        "reduction": 12.982734383448078
      },
      {
        "window": 109,
        "reduction": 12.99706818263077
      },
      {
        "window": 110,
        "reduction": 13.011172193651356
      },
      {
        "window": 111,
        "reduction": 13.025051898244255
      },
      {
        "window": 112,
        "reduction": 13.038712605159352
      },
      {
        "window": 113,
        "reduction": 13.052159456932081
      },
      {
        "window": 114,
        "reduction": 13.065397436338019
      },
      {
        "window": 115,
        "reduction": 13.07843137254902
      },
      {
        "window": 116,
        "reduction": 13.09126594700687
      },
      {
        "window": 117,
        "reduction": 13.103905699029452
      },
      {
        "window": 118,
        "reduction": 13.11635503116355
      },
      {
        "window": 119,
        "reduction": 13.12861821429753
      },
      {
        "window": 120,
        "reduction": 13.14069939254638
      },
      {
        "window": 121,
        "reduction": 13.152602587920864
      },
      {
        "window": 122,
        "reduction": 13.164331704791794
      },
      {
        "window": 123,
        "reduction": 13.175890534159894
      },
      {
        "window": 124,
        "reduction": 13.187282757740999
      },
      {
        "window": 125,
        "reduction": 13.19851195187589
      },
      {
        "window": 126,
        "reduction": 13.209581591273459
      },
      {
        "window": 127,
        "reduction": 13.220495052595437
      },
      {
        "window": 128,
        "reduction": 13.231255617890463
      },
      {
        "window": 129,
        "reduction": 11.666847457627119
      },
      {
        "window": 130,
        "reduction": 11.674969705129932
      },
      {
        "window": 131,
        "reduction": 11.682979007888754
      },
      {
        "window": 132,
        "reduction": 11.690877705484
      },
      {
        "window": 133,
        "reduction": 11.698668073321905
      },
      {
        "window": 134,
        "reduction": 11.706352324819909
      },
      {
        "window": 135,
        "reduction": 11.713932613503317
      },
      {
        "window": 136,
        "reduction": 11.721411035017445
      },
      {
        "window": 137,
        "reduction": 11.72878962905917
      },
      {
        "window": 138,
        "reduction": 11.73607038123167
      },
      {
        "window": 139,
        "reduction": 11.74325522482584
      },
      {
        "window": 140,
        "reduction": 11.750346042531774
      },
      {
        "window": 141,
        "reduction": 11.75734466808351
      },
      {
        "window": 142,
        "reduction": 11.76425288784002
      },
      {
        "window": 143,
        "reduction": 11.771072442305318
      },
      {
        "window": 144,
        "reduction": 11.777805027590436
      },
      {
        "window": 145,
        "reduction": 11.784452296819788
      },
      {
        "window": 146,
        "reduction": 11.791015861484441
      },
      {
        "window": 147,
        "reduction": 11.797497292744556
      },
      {
        "window": 148,
        "reduction": 11.803898122683247
      },
      {
        "window": 149,
        "reduction": 11.810219845513961
      },
      {
        "window": 150,
        "reduction": 11.816463918743356
      },
      {
        "window": 151,
        "reduction": 11.822631764291582
      },
      {
        "window": 152,
        "reduction": 11.828724769571812
      },
      {
        "window": 153,
        "reduction": 11.834744288530676
      },
      {
        "window": 154,
        "reduction": 11.840691642651297
      },
      {
        "window": 155,
        "reduction": 11.846568121920477
      },
      {
        "window": 156,
        "reduction": 11.852374985761475
      },
      {
        "window": 157,
        "reduction": 11.85811346393387
      },
      {
        "window": 158,
        "reduction": 11.86378475740178
      },
      {
        "window": 159,
        "reduction": 11.869390039171796
      },
      {
        "window": 160,
        "reduction": 11.874930455101813
      },
      {
        "window": 161,
        "reduction": 11.880407124681934
      },
      {
        "window": 162,
        "reduction": 11.88582114178858
      },
      {
        "window": 163,
        "reduction": 11.891173575412886
      },
      {
        "window": 164,
        "reduction": 11.89646547036433
      },
      {
        "window": 165,
        "reduction": 11.901697847950688
      },
      {
        "window": 166,
        "reduction": 11.906871706635123
      },
      {
        "window": 167,
        "reduction": 11.911988022671371
      },
      {
        "window": 168,
        "reduction": 11.917047750717856
      },
      {
        "window": 169,
        "reduction": 11.922051824431518
      },
      {
        "window": 170,
        "reduction": 11.927001157042179
      },
      {
        "window": 171,
        "reduction": 11.931896641908148
      },
      {
        "window": 172,
        "reduction": 11.936739153053791
      },
      {
        "window": 173,
        "reduction": 11.941529545689745
      },
      {
        "window": 174,
        "reduction": 11.946268656716416
      },
      {
        "window": 175,
        "reduction": 11.950957305211425
      },
      {
        "window": 176,
        "reduction": 11.955596292901518
      },
      {
        "window": 177,
        "reduction": 11.960186404619591
      },
      {
        "window": 178,
        "reduction": 11.964728408747355
      },
      {
        "window": 179,
        "reduction": 11.96922305764411
      },
      {
        "window": 180,
        "reduction": 11.973671088062233
      },
      {
        "window": 181,
        "reduction": 11.978073221549758
      },
      {
        "window": 182,
        "reduction": 11.982430164840588
      },
      {
        "window": 183,
        "reduction": 11.98674261023274
      },
      {
        "window": 184,
        "reduction": 11.991011235955057
      },
      {
        "window": 185,
        "reduction": 11.995236706522796
      },
      {
        "window": 186,
        "reduction": 11.999419673082503
      },
      {
        "window": 187,
        "reduction": 12.003560773746512
      },
      {
        "window": 188,
        "reduction": 12.007660633917457
      },
      {
        "window": 189,
        "reduction": 12.011719866603144
      },
      {
        "window": 190,
        "reduction": 12.0157390727221
      },
      {
        "window": 191,
        "reduction": 12.019718841400131
      },
      {
        "window": 192,
        "reduction": 12.02365975025819
      },
      {
        "window": 193,
        "reduction": 12.027562365691862
      },
      {
        "window": 194,
        "reduction": 12.031427243142724
      },
      {
        "window": 195,
        "reduction": 12.035254927361896
      },
      {
        "window": 196,
        "reduction": 12.039045952665992
      },
      {
        "window": 197,
        "reduction": 12.042800843185777
      },
      {
        "window": 198,
        "reduction": 12.046520113107725
      },
      {
        "window": 199,
        "reduction": 12.05020426690876
      },
      {
        "window": 200,
        "reduction": 12.053853799584349
      },
      {
        "window": 201,
        "reduction": 12.05746919687022
      },
      {
        "window": 202,
        "reduction": 12.061050935457882
      },
      {
        "window": 203,
        "reduction": 12.064599483204134
      },
      {
        "window": 204,
        "reduction": 12.06811529933481
      },
      {
        "window": 205,
        "reduction": 12.07159883464289
      },
      {
        "window": 206,
        "reduction": 12.075050531681166
      },
      {
        "window": 207,
        "reduction": 12.078470824949699
      },
      {
        "window": 208,
        "reduction": 12.081860141078115
      },
      {
        "window": 209,
        "reduction": 12.085218899003033
      },
      {
        "window": 210,
        "reduction": 12.088547510140673
      },
      {
        "window": 211,
        "reduction": 12.091846378554859
      },
      {
        "window": 212,
        "reduction": 12.09511590112052
      },
      {
        "window": 213,
        "reduction": 12.098356467682875
      },
      {
        "window": 214,
        "reduction": 12.101568461212379
      },
      {
        "window": 215,
        "reduction": 12.104752257955601
      },
      {
        "window": 216,
        "reduction": 12.107908227582149
      },
      {
        "window": 217,
        "reduction": 12.111036733327756
      },
      {
        "window": 218,
        "reduction": 12.114138132133634
      },
      {
        "window": 219,
        "reduction": 12.11721277478225
      },
      {
        "window": 220,
        "reduction": 12.120261006029569
      },
      {
        "window": 221,
        "reduction": 12.123283164733941
      },
      {
        "window": 222,
        "reduction": 12.126279583981656
      },
      {
        "window": 223,
        "reduction": 12.12925059120933
      },
      {
        "window": 224,
        "reduction": 12.132196508323185
      },
      {
        "window": 225,
        "reduction": 12.135117651815316
      },
      {
        "window": 226,
        "reduction": 12.138014332877043
      },
      {
        "window": 227,
        "reduction": 12.140886857509422
      },
      {
        "window": 228,
        "reduction": 12.143735526630998
      },
      {
        "window": 229,
        "reduction": 12.146560636182903
      },
      {
        "window": 230,
        "reduction": 12.14936247723133
      },
      {
        "window": 231,
        "reduction": 12.152141336067512
      },
      {
        "window": 232,
        "reduction": 12.154897494305239
      },
      {
        "window": 233,
        "reduction": 12.157631228975985
      },
      {
        "window": 234,
        "reduction": 12.160342812621737
      },
      {
        "window": 235,
        "reduction": 12.163032513385582
      },
      {
        "window": 236,
        "reduction": 12.165700595100084
      },
      {
        "window": 237,
        "reduction": 12.168347317373565
      },
      {
        "window": 238,
        "reduction": 12.170972935674309
      },
      {
        "window": 239,
        "reduction": 12.173577701412754
      },
      {
        "window": 240,
        "reduction": 12.176161862021754
      },
      {
        "window": 241,
        "reduction": 12.178725661034928
      },
      {
        "window": 242,
        "reduction": 12.181269338163156
      },
      {
        "window": 243,
        "reduction": 12.183793129369313
      },
      {
        "window": 244,
        "reduction": 12.18629726694122
      },
      {
        "window": 245,
        "reduction": 12.188781979562917
      },
      {
        "window": 246,
        "reduction": 12.191247492384278
      },
      {
        "window": 247,
        "reduction": 12.193694027089037
      },
      {
        "window": 248,
        "reduction": 12.196121801961219
      },
      {
        "window": 249,
        "reduction": 12.198531031950054
      },
      {
        "window": 250,
        "reduction": 12.200921928733447
      },
      {
        "window": 251,
        "reduction": 12.203294700779939
      },
      {
        "window": 252,
        "reduction": 12.205649553409339
      },
      {
        "window": 253,
        "reduction": 12.207986688851912
      },
      {
        "window": 254,
        "reduction": 12.210306306306306
      },
      {
        "window": 255,
        "reduction": 12.212608601996124
      },
      {
        "window": 256,
        "reduction": 12.214893769225267
      },
      {
        "window": 384,
        "reduction": 11.091345279440167
      },
      {
        "window": 512,
        "reduction": 11.172017613305504
      },
      {
        "window": 768,
        "reduction": 10.157078444047
      },
      {
        "window": 1024,
        "reduction": 10.190772609672615
      },
      {
        "window": 2048,
        "reduction": 9.325321569639403
      },
      {
        "window": 4096,
        "reduction": 8.577361431083968
      }
    ]
  },
  "scheme_sweep": {
    "rows": [
      {
        "alg": "ML-DSA-44",
        "sig_size": 2420,
        "nist_track": true,
        "best_reduction": 10.512,
        "best_window": 64,
        "reduction_at_64": 10.512,
        "helps": true
      },
      {
        "alg": "ML-DSA-65",
        "sig_size": 3309,
        "nist_track": true,
        "best_reduction": 13.551,
        "best_window": 64,
        "reduction_at_64": 13.551,
        "helps": true
      },
      {
        "alg": "ML-DSA-87",
        "sig_size": 4627,
        "nist_track": true,
        "best_reduction": 17.775,
        "best_window": 128,
        "reduction_at_64": 17.479,
        "helps": true
      },
      {
        "alg": "Falcon-512",
        "sig_size": 752,
        "nist_track": true,
        "best_reduction": 4.273,
        "best_window": 16,
        "reduction_at_64": 3.682,
        "helps": true
      },
      {
        "alg": "Falcon-1024",
        "sig_size": 1462,
        "nist_track": true,
        "best_reduction": 7.084,
        "best_window": 32,
        "reduction_at_64": 6.792,
        "helps": true
      },
      {
        "alg": "SPHINCS+-SHA2-128s-simple",
        "sig_size": 7856,
        "nist_track": true,
        "best_reduction": 27.506,
        "best_window": 128,
        "reduction_at_64": 24.921,
        "helps": true
      },
      {
        "alg": "SPHINCS+-SHA2-128f-simple",
        "sig_size": 17088,
        "nist_track": true,
        "best_reduction": 52.893,
        "best_window": 512,
        "reduction_at_64": 37.191,
        "helps": true
      },
      {
        "alg": "MAYO-2",
        "sig_size": 186,
        "nist_track": false,
        "best_reduction": 1.664,
        "best_window": 4,
        "reduction_at_64": 0.955,
        "helps": false
      }
    ],
    "nist_floor_reduction": 4.273,
    "nist_floor_alg": "Falcon-512",
    "crossover_control": {
      "alg": "MAYO-2",
      "sig_size": 186,
      "nist_track": false,
      "best_reduction": 1.664,
      "best_window": 4,
      "reduction_at_64": 0.955,
      "helps": false
    }
  },
  "cpu": {
    "alg": "ML-DSA-65",
    "window": 64,
    "trials": 40,
    "merkle_depth": 6,
    "sign_us_mean": 256.6718525486067,
    "verify_us_mean": 73.71052415692247,
    "merkle_path_us_mean": 2.470775507390499,
    "ap_sign_reduction": 58.638071015716825,
    "ap_sign_reduction_ci95": [
      42.91373571689732,
      79.72223946307712
    ],
    "sta_verify_reduction": 20.34795703478377,
    "sta_verify_reduction_ci95": [
      17.611428543420736,
      22.409919911775958
    ],
    "sign_trials_us": [
      195.29199926182628,
      158.7499864399433,
      707.2500011418015,
      257.5000107754022,
      98.24999142438173,
      229.66699907556176,
      97.00001101009548,
      326.7080173827708,
      147.9170168749988,
      333.3750064484775,
      104.33298302814364,
      131.75001367926598,
      964.5409882068634,
      307.5829881709069,
      161.91700706258416,
      109.20900967903435,
      152.95800403691828,
      109.91599992848933,
      777.9580191709101,
      219.25001055933535,
      202.0419924519956,
      199.41601203754544,
      148.99999951012433,
      499.167013913393,
      142.54098641686141,
      267.4169954843819,
      434.87499351613224,
      264.12500301375985,
      245.6250076647848,
      239.4579933024943,
      375.16700103878975,
      281.3749888446182,
      188.62501019611955,
      97.08397556096315,
      94.54201790504158,
      106.95902165025473,
      159.62502220645547,
      452.1659866441041,
      166.12501349300146,
      110.41600373573601
    ],
    "verify_trials_us": [
      100.66700633615255,
      71.99999527074397,
      64.74999827332795,
      73.87498044408858,
      80.08300210349262,
      77.70801312290132,
      71.83299749158323,
      75.79199154861271,
      75.99999662488699,
      70.4580161254853,
      72.54199590533972,
      74.6249861549586,
      71.37501961551607,
      75.12498996220529,
      76.08399027958512,
      76.50000043213367,
      69.08399518579245,
      77.95900455676019,
      75.83401747979224,
      71.99999527074397,
      67.8329961374402,
      66.33400334976614,
      67.0420122332871,
      72.87500193342566,
      65.83399954251945,
      76.50000043213367,
      77.66700582578778,
      72.66600732691586,
      71.33299368433654,
      66.58400525338948,
      76.75000233575702,
      71.37499051168561,
      67.12498725391924,
      75.62499376945198,
      71.37499051168561,
      76.24999852851033,
      73.79200542345643,
      74.24998329952359,
      75.29201684519649,
      77.62497989460826
    ],
    "path_trials_us": [
      11.833006283268332,
      2.208980731666088,
      2.166023477911949,
      2.040993422269821,
      1.91599247045815,
      2.040993422269821,
      2.541986759752035,
      2.4590117391198874,
      2.4170149117708206,
      2.4999899324029684,
      2.542015863582492,
      2.4999899324029684,
      2.540997229516506,
      2.500019036233425,
      2.042012056335807,
      2.1659943740814924,
      2.1250161807984114,
      2.04198295250535,
      2.0830193534493446,
      2.040993422269821,
      2.0830193534493446,
      2.040993422269821,
      2.042012056335807,
      1.9579892978072166,
      1.9170111045241356,
      1.9999861251562834,
      1.9579892978072166,
      2.1250161807984114,
      2.1249870769679546,
      2.208020305261016,
      2.040993422269821,
      2.040993422269821,
      2.1669839043170214,
      2.583983587101102,
      2.5830231606960297,
      2.4590117391198874,
      2.6669877115637064,
      2.4999899324029684,
      2.4590117391198874,
      2.1669839043170214
    ]
  },
  "gates": {
    "onair_measured_matches_scapy": true,
    "onair_headline_corroborated": true,
    "measured_corroborates_model": true,
    "n64_is_window_optimum": true,
    "reduction_robust_nist_schemes": true,
    "crossover_control_honest": true,
    "ap_cpu_reduction_ci_above_one": true,
    "sta_verify_reduction_ci_above_one": true
  }
}