trident/benches/harnesses/std/trinity/inference.inputs

# Live harness inputs for Trinity benchmark.
#
# These values replace read_io instructions in the linked .tasm program.
# Order matches the read_io sequence in inference.tri main():
#   store_params() reads 29 values, load_round_constants() reads 198 more.
#
# Parameters (29):
#   cts_addr, s_addr, w_priv_addr, ct_out_addr, tmp_addr,
#   result_addr, delta, lwe_n, input_dim, neurons,
#   dense_w_addr, dense_b_addr, activated_addr,
#   lut_addr, expected_class, rc_addr,
#   weights_digest, key_digest, expected_digest,
#   domain, sponge_rc_addr, expected_lut_digest,
#   pbs_sample_ct, pbs_out_addr, ring_n,
#   pbs_acc_addr, pbs_test_addr, pbs_tmp_addr,
#   pbs_expected_m
#
# Round constants (198):
#   Poseidon2 (86): BLAKE3-derived, t=8, RF=8, RP=22
#   LUT sponge (112): (i+42) * 0x9E3779B97F4A7C15 mod p, 14 rounds × 8
#
# Probe 2: LWE=32, INPUT=32, NEURONS=64, RING=64, DOMAIN=1024
values: 100000, 200000, 300000, 400000, 500000, 600000, 18014398505287680, 32, 32, 64, 700000, 800000, 900000, 1000000, 0, 1100000, 0, 0, 0, 1024, 1200000, 0, 1300000, 1400000, 64, 1500000, 1600000, 1700000, 0, 5112053732956317697, 9473458116042918275, 10509674974000539580, 17649578896322650714, 4676733232216740700, 8354783368006601404, 10138633028848232161, 16437060353783668203, 18360095707910039790, 8336867609519569230, 4926963633758351880, 5260035933000491794, 3476630190093866135, 5625866679009768583, 8528845028053043751, 4603595646162494420, 6229847923134545385, 5689928932876659435, 8394103725637632273, 16246099208046105775, 11459621544563647015, 10969903960254288490, 2518195555742053435, 9909095267935466874, 14023673830025382740, 14121920984902565505, 4097641314176921713, 17738199677859997055, 5912427587627606825, 14282379239270331892, 5457222966685723756, 12999430844398258507, 3947817468721077627, 10600188801994782485, 3877028821823860198, 7775096123913438461, 12010869415468146841, 16589410095207384663, 4047360581237821885, 2778797917901753573, 5542059168689196864, 16257271287528972260, 14828929226268927700, 17769104411862892639, 13062219995286087020, 9042522200754645292, 6431223278919660715, 4066719834037882788, 9453917517041397167, 12079232464483056018, 713472711102401477, 8061670145055072382, 4779630904164538005, 7165782427231800930, 16936887576087672702, 17332244640078539718, 8061279563104957553, 5269686620889695599, 15286155157547816567, 6457301101363685488, 14217024426513498286, 10504820015760914800, 13021914642628566138, 14861689880082590633, 14646556542223768775, 32346361620442563, 12162887057595177814, 5326931431780989541, 11693389311093287677, 7210745005813644719, 14552266788863451401, 7573975670554093337, 7191682017606712640, 17969919805851795096, 1280298733489777597, 13303957203066764644, 5493739790208916523, 1497251064115650654, 9425457378657564335, 398054724767989697, 7072143680536865467, 17016014310720353563, 867404013202565566, 15795053546084681558, 6035215656416074778, 2618977002729543425, 17661420568835545970, 10615391314449192839, 3569362060062839708, 14970076879386038193, 7924047624999685062, 878018370613331931, 12278733189936530416, 5232703935550177285, 16633418754873375770, 9587389500487022639, 2541360246100669508, 13942075065423867993, 6896045811037514862, 18296760630360713347, 11250731375974360216, 4204702121588007085, 15605416940911205570, 8559387686524852439, 1513358432138499308, 12914073251461697793, 5868043997075344662, 17268758816398543147, 10222729562012190016, 3176700307625836885, 14577415126949035370, 7531385872562682239, 485356618176329108, 11886071437499527593, 4840042183113174462, 16240757002436372947, 9194727748050019816, 2148698493663666685, 13549413312986865170, 6503384058600512039, 17904098877923710524, 10858069623537357393, 3812040369151004262, 15212755188474202747, 8166725934087849616, 1120696679701496485, 12521411499024694970, 5475382244638341839, 16876097063961540324, 9830067809575187193, 2784038555188834062, 14184753374512032547, 7138724120125679416, 92694865739326285, 11493409685062524770, 4447380430676171639, 15848095249999370124, 8802065995613016993, 1756036741226663862, 13156751560549862347, 6110722306163509216, 17511437125486707701, 10465407871100354570, 3419378616714001439, 14820093436037199924, 7774064181650846793, 728034927264493662, 12128749746587692147, 5082720492201339016, 16483435311524537501, 9437406057138184370, 2391376802751831239, 13792091622075029724, 6746062367688676593, 18146777187011875078, 11100747932625521947, 4054718678239168816, 15455433497562367301, 8409404243176014170, 1363374988789661039, 12764089808112859524, 5718060553726506393, 17118775373049704878, 10072746118663351747, 3026716864276998616, 14427431683600197101, 7381402429213843970, 335373174827490839, 11736087994150689324, 4690058739764336193, 16090773559087534678, 9044744304701181547, 1998715050314828416, 13399429869638026901, 6353400615251673770, 17754115434574872255, 10708086180188519124, 3662056925802165993, 15062771745125364478, 8016742490739011347, 970713236352658216, 12371428055675856701, 5325398801289503570, 16726113620612702055, 9680084366226348924, 2634055111839995793, 14034769931163194278, 6988740676776841147, 18389455496100039632, 11343426241713686501, 4297396987327333370, 15698111806650531855, 8652082552264178724, 1606053297877825593, 13006768117201024078, 5960738862814670947, 17361453682137869432, 10315424427751516301
#
# Divine values (prover hints) consumed in FIFO order by io.divine().
# Phase 1b: 64 decrypt plaintexts (zero data → all 0)
# Phase 3: 224 LUT sponge reduce_mod (r, k) pairs (14 rounds × 8 elements × 2)
# Phase 4: 355 PBS chain (indices, rotation, monomial, key_switch, decrypt)
# Total: 643 divine values
#
# Generated by: cargo run --example ref_std_trinity_inference
divine: 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 882, 17247481024253462, 903, 10366593080516789, 924, 3485705136780116, 945, 14619215702525427, 970, 7738327758788754, 987, 857439815052081, 1008, 11990950380797392, 5, 5110062437060720, 31, 16243573002806031, 52, 9362685059069358, 73, 2481797115332685, 94, 13615307681077996, 115, 6734419737341323, 136, 17867930303086634, 157, 10987042359349961, 183, 4106154415613288, 42, 15239664981358600, 84, 8358777037621927, 126, 1477889093885254, 168, 12611399659630565, 210, 5730511715893892, 252, 16864022281639203, 294, 9983134337902530, 341, 3102246394165857, 897, 14235756959911168, 960, 7354869016174495, 1023, 473981072437822, 62, 11607491638183134, 125, 4726603694446461, 188, 15860114260191772, 251, 8979226316455099, 319, 2098338372718426, 451, 13231848938463736, 472, 6350960994727063, 493, 17484471560472374, 576, 10603583616735701, 660, 3722695672999028, 744, 14856206238744339, 828, 7975318295007666, 917, 1094430351270993, 517, 12227940917016305, 559, 5347052973279632, 601, 16480563539024943, 129, 9599675595288270, 150, 2718787651551597, 171, 13852298217296908, 192, 6971410273560235, 213, 90522329823562, 697, 11224032895568872, 718, 4343144951832199, 739, 15476655517577510, 889, 8595767573840837, 931, 1714879630104164, 973, 12848390195849475, 1015, 5967502252112802, 33, 17101012817858114, 43, 10220124874121440, 64, 3339236930384767, 85, 14472747496130078, 106, 7591859552393405, 127, 710971608656732, 148, 11844482174402043, 169, 4963594230665370, 223, 16097104796410681, 162, 9216216852674009, 204, 2335328908937336, 246, 13468839474682647, 288, 6587951530945974, 330, 17721462096691285, 372, 10840574152954612, 414, 3959686209217939, 489, 15093196774963250, 965, 8212308831226578, 4, 1331420887489906, 67, 12464931453235217, 130, 5584043509498544, 193, 16717554075243855, 256, 9836666131507182, 319, 2955778187770509, 415, 14089288753515820, 874, 7208400809779145, 899, 327512866042472, 983, 11461023431787783, 43, 4580135488051111, 127, 15713646053796422, 211, 8832758110059749, 295, 1951870166323076, 412, 13085380732068387, 746, 6204492788331713, 767, 17338003354077024, 788, 10457115410340351, 852, 3576227466603678, 957, 14709738032348989, 38, 7828850088612317, 143, 947962144875644, 281, 12081472710620955, 288, 5200584766884281, 309, 16334095332629592, 330, 9453207388892919, 351, 2572319445156246, 372, 13705830010901557, 431, 6824942067164884, 557, 17958452632910195, 716, 11077564689173522, 315, 4196676745436851, 357, 15330187311182162, 399, 8449299367445489, 441, 1568411423708816, 483, 12701921989454127, 563, 5821034045717454, 153, 16954544611462765, 174, 10073656667726092, 0, 16, 32, 48, 64, 80, 96, 112, 128, 144, 160, 176, 192, 208, 224, 240, 256, 272, 288, 304, 320, 336, 352, 368, 384, 400, 416, 432, 448, 464, 480, 496, 512, 528, 544, 560, 576, 592, 608, 624, 640, 656, 672, 688, 704, 720, 736, 752, 768, 784, 800, 816, 832, 848, 864, 880, 896, 912, 928, 944, 960, 976, 992, 1008, 0, 0, 1, 1, 1, 2, 1, 3, 1, 4, 1, 5, 1, 6, 1, 7, 1, 8, 1, 9, 1, 10, 1, 11, 1, 12, 1, 13, 1, 14, 1, 15, 1, 16, 1, 17, 1, 18, 1, 19, 1, 20, 1, 21, 1, 22, 1, 23, 1, 24, 1, 25, 1, 26, 1, 27, 1, 28, 1, 29, 1, 30, 1, 31, 1, 32, 1, 33, 1, 34, 1, 35, 1, 36, 1, 37, 1, 38, 1, 39, 1, 40, 1, 41, 1, 42, 1, 43, 1, 44, 1, 45, 1, 46, 1, 47, 1, 48, 1, 49, 1, 50, 1, 51, 1, 52, 1, 53, 1, 54, 1, 55, 1, 56, 1, 57, 1, 58, 1, 59, 1, 60, 1, 61, 1, 62, 1, 63, 1, 0, 1, 1, 1, 2, 1, 3, 1, 4, 1, 5, 1, 6, 1, 7, 1, 8, 1, 9, 1, 10, 1, 11, 1, 12, 1, 13, 1, 14, 1, 15, 1, 16, 1, 17, 1, 18, 1, 19, 1, 20, 1, 21, 1, 22, 1, 23, 1, 24, 1, 25, 1, 26, 1, 27, 1, 28, 1, 29, 1, 30, 1, 31, 1, 32, 1, 33, 1, 34, 1, 35, 1, 36, 1, 37, 1, 38, 1, 39, 1, 40, 1, 41, 1, 42, 1, 43, 1, 44, 1, 45, 1, 46, 1, 47, 1, 48, 1, 49, 1, 50, 1, 51, 1, 52, 1, 53, 1, 54, 1, 55, 1, 56, 1, 57, 1, 58, 1, 59, 1, 60, 1, 61, 1, 62, 1, 63, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0