2025-01-30 19:55:27 +01:00
|
|
|
{"gates":["LookupGate:40","LookupGate:40","LookupTableGate:26","LookupTableGate:26","NoopGate","ConstantGate:2","PublicInputGate","ArithmeticGate:20","PoseidonGate:12"],"selector_vector":[7,7,7,7,7,7,7,7,7,7,7,7,7,8,6,1,1,3,3,3,3,3,4,0,0,2,2,2,2,2,2,2,2,2,2,4,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,4,4],"gate_selector_columns":[["4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","6","1","1","3","3","3","3","3","4","0","0","2","2","2","2","2","2","2","2","2","2","4","5","5","5","5","5","5","5","5","5","5","5","5","5","5","5","5","5","5","5","5","5","5","5","5","5","5","4","4"],["7","7","7","7","7","7","7","7","7","7","7","7","7","8","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295"]],"lookup_selectors_columns":[["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","1","1","1","1","0","0","0","1","1","1","1","1","1","1","1","1","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","0","0","0","0","0","0","0","0","0","0","1","1","0","0","0","0","0","0","1","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","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","1","0","0","0","0","0","0","0","0","0","0","0","0","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","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","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","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","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","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","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","0","0","0","0"]],"constants_columns":[["1","1","1","1","1","1","1","1","1","1","1","1","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","2","4","6","8","10","12","14","16","18","20","22","24","26","28","30","32","34","36","38","40","42","44","46","48","64","0","0"],["1","1","1","1","1","1","1","1","1","1","1","1","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","3","5","7","9","11","13","15","17","19","21","23","25","27","29","31","33","35","37","39","41","43","45","47","49","0","0","0"]],"matrix":[["7","4296","8624","12984","17376","21800","26256","30744","35264","39816","44400","49016","53664","2","18347677170296250293","7","87","104","78","52","26","0","0","71","151","234","208","182","156","130","104","78","52","26","0","0","0","2","4","6","8","10","12","14","16","18","20","22","24","26","28","30","32","34","36","38","40","42","44","46","48","64","0","0"],["1","1","1","1","1","1","1","1","1","1","1","1","1","7","2809457073948431188","107","187","204","178","152","126","100","0","
|
