plonky2/tooling/web/json/fibonacci_witness.json

{"gates":["ConstantGate:2","PublicInputGate","ArithmeticGate:20","PoseidonGate:12"],"selector_vector":[2,2,2,2,2,3,1,0],"gate_selector_columns":[["2","2","2","2","2","4294967295","1","0"],["4294967295","4294967295","4294967295","4294967295","4294967295","3","4294967295","4294967295"]],"lookup_selectors_columns":[],"constants_columns":[["1","1","1","1","1","0","0","0"],["1","1","1","1","1","0","0","1"]],"matrix":[["0","6765","102334155","1548008755920","23416728348467685","0","8416658900775745054","0"],["1","1","1","1","1","1","12574228347150446423","1"],["1","10946","165580141","2504730781961","37889062373143906","3736710860384812976","9629056739760131473","0"],["1","17711","267914296","4052739537881","61305790721611591","0","3119289788404190010","0"],["1","10946","165580141","2504730781961","37889062373143906","0","0","0"],["1","1","1","1","1","0","0","0"],["1","17711","267914296","4052739537881","61305790721611591","0","0","0"],["2","28657","433494437","6557470319842","99194853094755497","0","0","0"],["1","17711","267914296","4052739537881","61305790721611591","0","0","0"],["1","1","1","1","1","0","0","0"],["2","28657","433494437","6557470319842","99194853094755497","0","0","0"],["3","46368","701408733","10610209857723","160500643816367088","0","0","0"],["2","28657","433494437","6557470319842","99194853094755497","8416658900775745054","0","0"],["1","1","1","1","1","12574228347150446423","0","0"],["3","46368","701408733","10610209857723","160500643816367088","9629056739760131473","0","0"],["5","75025","1134903170","17167680177565","259695496911122585","3119289788404190010","0","0"],["3","46368","701408733","10610209857723","160500643816367088","14861960955103405647","0","0"],["1","1","1","1","1","372802127489869527","0","0"],["5","75025","1134903170","17167680177565","259695496911122585","17949976003686161308","0","0"],["8","121393","1836311903","27777890035288","420196140727489673","1857324986026215171","0","0"],["5","75025","1134903170","17167680177565","259695496911122585","5971167677106193079","0","0"],["1","1","1","1","1","11693818845587106938","0","0"],["8","121393","1836311903","27777890035288","420196140727489673","2069952246609707872","0","0"],["13","196418","2971215073","44945570212853","679891637638612258","217879661521314238","0","0"],["8","121393","1836311903","27777890035288","420196140727489673","0","0","0"],["1","1","1","1","1","0","0","0"],["13","196418","2971215073","44945570212853","679891637638612258","0","0","0"],["21","317811","4807526976","72723460248141","1100087778366101931","0","0","0"],["13","196418","2971215073","44945570212853","679891637638612258","0","0","0"],["1","1","1","1","1","10040222711290671429","0","0"],["21","317811","4807526976","72723460248141","1100087778366101931","14620731031104971238","0","0"],["34","514229","7778742049","117669030460994","1779979416004714189","17044025898016030703","0","0"],["21","317811","4807526976","72723460248141","1100087778366101931","7238567237932994928","0","0"],["1","1","1","1","1","15906345692884439372","0","0"],["34","514229","7778742049","117669030460994","1779979416004714189","5144700563978952905","0","0"],["55","832040","12586269025","190392490709135","2880067194370816120","8166204101423404765","0","0"],["34","514229","7778742049","117669030460994","1779979416004714189","477486086501229569","0","0"],["1","1","1","1","1","9608939408992013865","0","0"],["55","832040","12586269025","190392490709135","2880067194370816120","3967372222851101859","0","0"],["89","1346269","20365011074","308061521170129","4660046610375530309","6747904536878816765","0","0"],["55","832040","12586269025","190392490709135","2880067194370816120","10676707001551177325","0","0"],["1","1","1","1","1","15582639502207228120","0","0"],["89","1346269","20365011074","308061521170129","4660046610375530309","13686409820604502173","0","0"],["144","2178309","32951280099","498454011879264","7540113804746346429","1567790829695590004","0","0"],["89","1346269","20365011074","308061521170129","4660046610375530309","17435189342848201979","0","0"],["1","1","1","1","1","6880593622141894941","0","0"],["144","2178309","32951280099","498454011879264","7540113804746346429","8426833217377909941","0","0"],["233","3524578","53316291173","806515533049393","12200160415121876738","1750952861857697999","0","0"],["144","2178309","32951280099","498454011879264","7540113804746346429","7363947565712320428","0","0"],["1","1","1","1","1","3124824639148633302","0","0"],["233","3524578","53316291173","806515533049393","12200160415121876738","9815057002508797666","0","0"],["377","5702887","86267571272","1304969544928657","1293530150453638846","8800225758791566091","0","0"],["233","3524578","53316291173","806515533049393","12200160415121876738","15770247867912269728","0","0"],["1","1","1","1","1","3135653937829880960","0","0"],["377","5702887","86267571272","1304969544928657","1293530150453638846","15779646663237235129","0","0"],["610","9227465","139583862445","2111485077978050","13493690565575515584","6797675489104882722","0","0"],["377","5702887","86267571272","1304969544928657","1293530150453638846","2449041418020548842","0","0"],["1","1","1","1","1","7190423305376289408","0","0"],["610","9227465","139583862445","2111485077978050","13493690565575515584","17337800908067952557","0","0"],["987","14930352","225851433717","3416454622906707","14787220716029154430","5830228614653198906","0","0"],["610","9227465","139583862445","2111485077978050","13493690565575515584","8884464056103704513","0","0"],["1","1","1","1","1","5363825021791947577","0","0"],["987","14930352","225851433717","3416454622906707","14787220716029154430","15220052284474590997","0","0"],["1597","24157817","365435296162","5527939700884757","9834167212190085693","8505277843539538987","0","0"],["987","14930352","225851433717","3416454622906707","14787220716029154430","9904213084008489739","0","0"],["1","1","1","1","1","16267234471440708648","0","0"],["1597","24157817","365435296162","5527939700884757","9834167212190085693","7397784185928096775","0","0"],["2584","39088169","591286729879","8944394323791464","6174643858804655802","18428755921504058133","0","0"],["1597","24157817","365435296162","5527939700884757","9834167212190085693","3337122630204711140","0","0"],["1","1","1","1","1","16198616623652854046","0","0"],["2584","39088169","591286729879","8944394323791464","6174643858804655802","15666646868790223685","0","0"],["4181","63245986","956722026041","14472334024676221","16008811070994741495","8026155603046169528","0","0"],["2584","39088169","591286729879","8944394323791464","6174643858804655802","8469751101646333747","0","0"],["1","1","1","1","1","9164013103097068803","0","0"],["4181","63245986","956722026041","14472334024676221","16008811070994741495","12400986561189304806","0","0"],["6765","102334155","1548008755920","23416728348467685","3736710860384812976","16077058258931765567","0","0"],["4181","63245986","956722026041","14472334024676221","0","11379947257449814103","0","0"],["1","1","1","1","0","15535488051570816465","0","0"],["6765","102334155","1548008755920","23416728348467685","0","15881106855513562765","0","0"],["10946","165580141","2504730781961","37889062373143906","0","7781013937409781090","0","0"],["0","0","0","0","0","1225792993053954782","0","0"],["0","0","0","0","0","17643850961762156539","0","0"],["0","0","0","0","0","4033881532651059650","0","0"],["0","0","0","0","0","10550305237523993157","0","0"],["0","0","0","0","0","8184211280336425828","0","0"],["0","0","0","0","0","562906072670039007","0","0"],["0","0","0","0","0","6362129067496863546","0","0"],["0","0","0","0","0","6526337289101062663","0","0"],["0","0","0","0","0","6490233936458245575","0","0"],["0","0","0","0","0","12891963448702135799","0","0"],["0","0","0","0","0","17760427698633916708","0","0"],["0","0","0","0","0","6497795749681618804","0","0"],["0","0","0","0","0","12827959275124201763","0","0"],["0","0","0","0","0","11113378605033148767","0","0"],["0","0","0","0","0","6569703523987102558","0","0"],["0","0","0","0","0","7995489224595613381","0","0"],["0","0","0","0","0","13387871631798397469","0","0"],["0","0","0","0","0","10659905477666838737","0","0"],["0","0","0","0","0","1840186988953944109","0","0"],["0","0","0","0","0","15890763427816250250","0","0"],["0","0","0","0","0","1029740517934924290","0","0"],["0","0","0","0","0","7078942175277198294","0","0"],["0","0","0","0","0","8493243431220293997","0","0"],["0","0","0","0","0","15522877625405579026","0","0"],["0","0","0","0","0","16496651246651191648","0","0"],["0","0","0","0","0","4444069363249625691","0","0"],["0","0","0","0","0","14026344929456590691","0","0"],["0","0","0","0","0","15722697891119137492","0","0"],["0","0","0","0","0","7060126015483727731","0","0"],["0","0","0","0","0","10519195180224552510","0","0"],["0","0","0","0","0","13821269625316219387","0","0"],["0","0","0","0","0","10658689852821575241","0","0"],["0","0","0","0","0","2174261422963674768","0","0"],["0","0","0","0","0","11010238115484875126","0","0"],["0","0","0","0","0","3344493737477086936","0","0"],["0","0","0","0","0","3169819264478121565","0","0"],["0","0","0","0","0","10548892680228605962","0","0"],["0","0","0","0","0","8054855812681440344","0","0"],["0","0","0","0","0","2292458712761356147","0","0"],["0","0","0","0","0","5641640176540904214","0","0"],["0","0","0","0","0","6920691066608171985","0","0"],["0","0","0","0","0","14203798936975626124","0","0"],["0","0","0","0","0","5973321330466181466","0","0"],["0","0","0","0","0","1089446532694553977","0","0"],["0","0","0","0","0","8112981925793197878","0","0"],["0","0","0","0","0","6317657525109977570","0","0"],["0","0","0","0","0","8259326469873680154","0","0"],["0","0","0","0","0","18293467284009711799","0","0"],["0","0","0","0","0","8616308775836730292","0","0"],["0","0","0","0","0","2919873196638644821","0","0"],["0","0","0","0","0","3445369750894310746","0","0"],["0","0","0","0","0","976214721355428342","0","0"],["0","0","0","0","0","4717957757685036884","0","0"],["0","0","0","0","0","4723399287518688581","0","0"],["0","0","0","0","0","11331936104580144288","0","0"]]}