-
Notifications
You must be signed in to change notification settings - Fork 1
/
jubjub-12.circuit
15 lines (13 loc) · 15.3 KB
/
jubjub-12.circuit
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
[0.000000] Parsing...
[0.016369] 32 multiplications, 12 temporaries, 77 constraints, 703 cost
[0.016385] Eliminating...
[0.017735] 32 multiplications, 65 constraints, 667 cost
[0.017739] Reducing...
[0.054280] 32 multiplications, 65 constraints, 454 cost
[0.054284] Maximizing 1s...
[0.055573] Done
32,0,65; -R0 + L0 = 1; O0 = 0; -R1 + L1 = 1; O1 = 0; -R2 + L2 = 1; O2 = 0; -R3 + L3 = 1; O3 = 0; -R4 + L4 = 1; O4 = 0; -R5 + L5 = 1; O5 = 0; -R6 + L6 = 1; O6 = 0; -R7 + L7 = 1; O7 = 0; -R8 + L8 = 1; O8 = 0; -R9 + L9 = 1; O9 = 0; -R10 + L10 = 1; O10 = 0; -R11 + L11 = 1; O11 = 0; -L12 + L0 = 0; -R12 + L1 = 0; O12 + 43761614841181848836640060563436836929981077120207297347288494535014373124598*L13 + 32269103446714936439983769262136990710725469005847626272964912432556195438855*L0 + 53470148824566042419568143658779164645897136432324031591105781651996231383599*L1 = -29906057699896301565330867720293440045651680527210179749355355245466869592774; R13 - 2*L2 = -1; -L14 + L3 = 0; -R14 + R4 = -1; O14 + 21014290721093653874050402869616240144839777829078930642127268241692916015010*L15 + 30291292020152637070930450826530356553284841560358009904384208293049320970610*L3 + 37447708648605002961390823892644286535292237354956047616343665579501453451337*R4 = -3848610537754422538273360020032990535503289049720734589510561908623250812515; R15 - 2*L5 = -1; -L16 + L6 = 0; -R16 + R7 = -1; O16 + 39422441130629874788198111655788462774110351529600124115545993295029051645684*L17 + 42917028799385590299700293733507678944889494535724212207609436744993250694556*L6 - 45564479698566953479243735330776442972323193012352683437382744426522131912328*R7 = -11972824301088414874137643717069794218349474745778237473790506308418625237223; R17 - 2*L8 = -1; -L18 + L10 = 0; -R18 + R9 = -1; O18 - 38446424868433796858851842953384746620424815807520879497914956603617301801014*L19 + 42482794273324292680092874678191174984383984641774082606360053433037358121899*L10 - 55773950624693951415836632983097258152703163972044214177119964811812625388646*R9 = -12133938717891365535698408705473406314721022081792724454444049870243895571953; R19 - 2*L11 = -1; O13 - O20 = -31911563695868227935822097151440408058788453417761597729766562570436016680733; R20 - 25758063836554693196908199229504721621729641941971332474184303138909611379443*L0 + 11291233376911191389536694739885054786695386896193593308033244950342020590185*L1 + 3363265264840957283186157428945612617240329097799939360463518825408167634185*L13 = -139945449936590736539304042641240801461007015429285852688272643000005782778; L20 - L21 = 0; L20 - R21 = 0; L20 - L22 = 0; O21 + R22 - 51516127673109386393816398459009443243459283883942664948368606277819222758886*L0 + 22582466753822382779073389479770109573390773792387186616066489900684041180370*L1 + 6726530529681914566372314857891225234480658195599878720927037650816335268370*L13 = -54679054894134554212423894024404838177902839973900651985203627030479809533163; O15 - O22 + O13 - O23 = 0; -R23 - 25758063836554693196908199229504721621729641941971332474184303138909611379443*L0 + 11291233376911191389536694739885054786695386896193593308033244950342020590185*L1 + 5035688805764254729615047036903177527727379034866312505324239583314225212885*L3 - 30759539956556623185178837535720172364584628569249377782678985276037466457*R4 + R22 + 3363265264840957283186157428945612617240329097799939360463518825408167634185*L13 + 7224137796052607702389482387318843227054137898881038815935328843778405489389*L15 = -4977866517061906439537911425741830389252065029338364764837935508798339928699; L23 - L24 = 0; -R24 + L24 = 0; -L25 + L24 = 0; O24 + R25 - 25758063836554693196908199229504721621729641941971332474184303138909611379443*L0 + 11291233376911191389536694739885054786695386896193593308033244950342020590185*L1 - 10071377611528509459230094073806355055454758069732625010648479166628450425770*L3 + 61519079913113246370357675071440344729169257138498755565357970552074932914*R4 + R22 + 3363265264840957283186157428945612617240329097799939360463518825408167634185*L13 - 14448275592105215404778964774637686454108275797762077631870657687556810978778*L15 = -44863267309947332069887375215562418200859716930653208308216028655883135458543; O17 - O25 + O15 - O26 = 0; -R26 - 5035688805764254729615047036903177527727379034866312505324239583314225212885*L3 - 48100700632766923807071316821728657452197743739847439331005134993802407792790*L6 + 30759539956556623185178837535720172364584628569249377782678985276037466457*R4 + 5905242161836463391747922240547459274457254646794898858995512087108916744203*R7 + R25 - 26871699770441286097881684628364429239157611038343957508712639047562330526539*O16 - 7224137796052607702389482387318843227054137898881038815935328843778405489389*L15 = 7660740013469959185869550367887940792294310167209929539311352110484593537500; L26 - L27 = 0; L26 - R27 = 0; L26 - L28 = 0; O27 + R28 - 5035688805764254729615047036903177527727379034866312505324239583314225212885*L3 - 19590687971782347809428351365230592948442076799380025720594893153913345908757*L6 + 30759539956556623185178837535720172364584628569249377782678985276037466457*R4 - 11810484323672926783495844481094918548914509293589797717991024174217833488406*R7 + R25 + 53743399540882572195763369256728858478315222076687915017425278095124661053078*O16 - 7224137796052607702389482387318843227054137898881038815935328843778405489389*L15 = -55206880819825344002088564525596469396196272235734702622000797368053982604844; O19 - O28 - O29 + O17 = 0; -R29 + 48100700632766923807071316821728657452197743739847439331005134993802407792790*L6 + 35361509647247546400757678737051292023162572769713343992318410794327733283060*L10 + 21083723490013023409268859711249867232140935066618250965981738757181533546676*R9 - 5905242161836463391747922240547459274457254646794898858995512087108916744203*R7 + R28 - 49695694995130873991915508336242308319685159231177454393336848369454461072642*L19 + 26871699770441286097881684628364429239157611038343957508712639047562330526539*O16 = -20578486244327227042078019776949469538281373407729743254744713493386778598332; L29 - L30 = 0; L29 - R30 = 0; L29 - L31 = 0; R31 - 35361509647247546400757678737051292023162572769713343992318410794327733283060*L10 - 21083723490013023409268859711249867232140935066618250965981738757181533546676*R9 + 49695694995130873991915508336242308319685159231177454393336848369454461072642*L19 = -46133632168617663901182590840832304151482844268790673706274545791693673747502; O30 + 48100700632766923807071316821728657452197743739847439331005134993802407792790*L6 - 35361509647247546400757678737051292023162572769713343992318410794327733283060*L10 - 21083723490013023409268859711249867232140935066618250965981738757181533546676*R9 - 5905242161836463391747922240547459274457254646794898858995512087108916744203*R7 + R28 + 49695694995130873991915508336242308319685159231177454393336848369454461072642*L19 + 26871699770441286097881684628364429239157611038343957508712639047562330526539*O16 = 24422983823976814797380515501246833039555008681305528054451823299928654801822;
Secret inputs:
L = {SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 1), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 1), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 1), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0x8622f5f9, 0x83a711d6, 0x35530e80, 0x298ac2f1, 0x287824b2, 0xf76f6474, 0x7f4919d6, 0x2e300537), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0x96354875, 0x4f6885e1, 0x0842bb28, 0x84bf9b55, 0xef4c3e4f, 0xcf53be58, 0x83c5c830, 0x1623fcbc), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 1), SECP256K1_SCALAR_CONST(0xd736927f, 0xa5d8ce90, 0x2e0fefb8, 0xf6364c69, 0x695fb4ca, 0xe6f89ab7, 0xa6f2e78a, 0x9cdfa6d7), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0xc64270a6, 0x0d080926, 0x26f781af, 0x480c9a2e, 0x66b6b4b0, 0x4e5e785a, 0x1e63d39b, 0x9e3c266a), SECP256K1_SCALAR_CONST(0x93fc98d3, 0x5f93de4b, 0xca4a7603, 0xc7660291, 0x879e616c, 0xf8c70b6d, 0x0c211d5a, 0x69132b49), SECP256K1_SCALAR_CONST(0x93fc98d3, 0x5f93de4b, 0xca4a7603, 0xc7660291, 0x879e616c, 0xf8c70b6d, 0x0c211d5a, 0x69132b49), SECP256K1_SCALAR_CONST(0x93fc98d3, 0x5f93de4b, 0xca4a7603, 0xc7660291, 0x879e616c, 0xf8c70b6d, 0x0c211d5a, 0x69132b49), SECP256K1_SCALAR_CONST(0x0fd204d1, 0x5fe68917, 0x082a6496, 0xe7b5250c, 0x2ee7abc6, 0x8e147bb3, 0xf6d437ae, 0x66180e4f), SECP256K1_SCALAR_CONST(0x0fd204d1, 0x5fe68917, 0x082a6496, 0xe7b5250c, 0x2ee7abc6, 0x8e147bb3, 0xf6d437ae, 0x66180e4f), SECP256K1_SCALAR_CONST(0x0fd204d1, 0x5fe68917, 0x082a6496, 0xe7b5250c, 0x2ee7abc6, 0x8e147bb3, 0xf6d437ae, 0x66180e4f), SECP256K1_SCALAR_CONST(0x373b7113, 0x67ae9d78, 0xc9520dbe, 0x47d33296, 0x4c5a17e4, 0x3d236b8a, 0xcf801d6a, 0x36e3c66d), SECP256K1_SCALAR_CONST(0x373b7113, 0x67ae9d78, 0xc9520dbe, 0x47d33296, 0x4c5a17e4, 0x3d236b8a, 0xcf801d6a, 0x36e3c66d), SECP256K1_SCALAR_CONST(0x373b7113, 0x67ae9d78, 0xc9520dbe, 0x47d33296, 0x4c5a17e4, 0x3d236b8a, 0xcf801d6a, 0x36e3c66d), SECP256K1_SCALAR_CONST(0xd0a2df73, 0x408ba620, 0x7b78a29f, 0x004c3850, 0xc4e37755, 0x33d5b61c, 0x13ec783b, 0xf3889675), SECP256K1_SCALAR_CONST(0xd0a2df73, 0x408ba620, 0x7b78a29f, 0x004c3850, 0xc4e37755, 0x33d5b61c, 0x13ec783b, 0xf3889675), SECP256K1_SCALAR_CONST(0xd0a2df73, 0x408ba620, 0x7b78a29f, 0x004c3850, 0xc4e37755, 0x33d5b61c, 0x13ec783b, 0xf3889675)}
R = {SECP256K1_SCALAR_CONST(0xffffffff, 0xffffffff, 0xffffffff, 0xfffffffe, 0xbaaedce6, 0xaf48a03b, 0xbfd25e8c, 0xd0364140), SECP256K1_SCALAR_CONST(0xffffffff, 0xffffffff, 0xffffffff, 0xfffffffe, 0xbaaedce6, 0xaf48a03b, 0xbfd25e8c, 0xd0364140), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0xffffffff, 0xffffffff, 0xffffffff, 0xfffffffe, 0xbaaedce6, 0xaf48a03b, 0xbfd25e8c, 0xd0364140), SECP256K1_SCALAR_CONST(0xffffffff, 0xffffffff, 0xffffffff, 0xfffffffe, 0xbaaedce6, 0xaf48a03b, 0xbfd25e8c, 0xd0364140), SECP256K1_SCALAR_CONST(0xffffffff, 0xffffffff, 0xffffffff, 0xfffffffe, 0xbaaedce6, 0xaf48a03b, 0xbfd25e8c, 0xd0364140), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0xffffffff, 0xffffffff, 0xffffffff, 0xfffffffe, 0xbaaedce6, 0xaf48a03b, 0xbfd25e8c, 0xd0364140), SECP256K1_SCALAR_CONST(0xffffffff, 0xffffffff, 0xffffffff, 0xfffffffe, 0xbaaedce6, 0xaf48a03b, 0xbfd25e8c, 0xd0364140), SECP256K1_SCALAR_CONST(0xffffffff, 0xffffffff, 0xffffffff, 0xfffffffe, 0xbaaedce6, 0xaf48a03b, 0xbfd25e8c, 0xd0364140), SECP256K1_SCALAR_CONST(0xffffffff, 0xffffffff, 0xffffffff, 0xfffffffe, 0xbaaedce6, 0xaf48a03b, 0xbfd25e8c, 0xd0364140), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 1), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0xffffffff, 0xffffffff, 0xffffffff, 0xfffffffe, 0xbaaedce6, 0xaf48a03b, 0xbfd25e8c, 0xd0364140), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 1), SECP256K1_SCALAR_CONST(0xffffffff, 0xffffffff, 0xffffffff, 0xfffffffe, 0xbaaedce6, 0xaf48a03b, 0xbfd25e8c, 0xd0364140), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0xffffffff, 0xffffffff, 0xffffffff, 0xfffffffe, 0xbaaedce6, 0xaf48a03b, 0xbfd25e8c, 0xd0364140), SECP256K1_SCALAR_CONST(0x72f3349a, 0xb4bcd94a, 0xd1bd154c, 0xd78ba164, 0x3b7d2b6d, 0xa05d3c84, 0x573febb0, 0xf4188e89), SECP256K1_SCALAR_CONST(0x93fc98d3, 0x5f93de4b, 0xca4a7603, 0xc7660291, 0x879e616c, 0xf8c70b6d, 0x0c211d5a, 0x69132b49), SECP256K1_SCALAR_CONST(0x4cb72116, 0x8fbe5983, 0x11661fec, 0x89e2b583, 0x319e416f, 0x694828c4, 0x955490e1, 0xd8661e38), SECP256K1_SCALAR_CONST(0x7a3245e2, 0x15d5d1c6, 0x5a9f54c5, 0x8f904248, 0x058e3fb3, 0x36ba8696, 0x98321d38, 0xa7063251), SECP256K1_SCALAR_CONST(0x0fd204d1, 0x5fe68917, 0x082a6496, 0xe7b5250c, 0x2ee7abc6, 0x8e147bb3, 0xf6d437ae, 0x66180e4f), SECP256K1_SCALAR_CONST(0xe0e956f8, 0x00de3b1a, 0x6a1b4c47, 0xfcb53963, 0xe34a3046, 0x42cc7c4c, 0x4f6eb652, 0x198624a1), SECP256K1_SCALAR_CONST(0x947c74ec, 0xb81db5c5, 0xeac5e556, 0x3bbe44c2, 0xabb02edc, 0x44d2b90e, 0x4aac678f, 0xbd4b1304), SECP256K1_SCALAR_CONST(0x373b7113, 0x67ae9d78, 0xc9520dbe, 0x47d33296, 0x4c5a17e4, 0x3d236b8a, 0xcf801d6a, 0x36e3c66d), SECP256K1_SCALAR_CONST(0x350500ac, 0x7639ec6e, 0x3a5fb1c9, 0x99e801b4, 0x271aef68, 0x94e7a818, 0x601f91e9, 0x030b6fbc), SECP256K1_SCALAR_CONST(0x99cefa52, 0x5b87a63f, 0x24684558, 0xce3c2cb5, 0xcd6f6f14, 0x6e3c9bb1, 0x5e48beaa, 0x6b348f85), SECP256K1_SCALAR_CONST(0xd0a2df73, 0x408ba620, 0x7b78a29f, 0x004c3850, 0xc4e37755, 0x33d5b61c, 0x13ec783b, 0xf3889675), SECP256K1_SCALAR_CONST(0x2b8b611f, 0x652496e1, 0x55a0e297, 0x35a28a45, 0x53e8bfa4, 0xfc188206, 0xc211f301, 0xc9440d3f)}
O = {SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0x8622f5f9, 0x83a711d6, 0x35530e80, 0x298ac2f1, 0x287824b2, 0xf76f6474, 0x7f4919d6, 0x2e300537), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0x69cab78a, 0xb0977a1e, 0xf7bd44d7, 0x7b4064a8, 0xcb629e96, 0xdff4e1e3, 0x3c0c965c, 0xba124485), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 1), SECP256K1_SCALAR_CONST(0x28c96d80, 0x5a27316f, 0xd1f01047, 0x09c9b395, 0x514f281b, 0xc8500584, 0x18df7702, 0x33569a6a), SECP256K1_SCALAR_CONST(0, 0, 0, 0, 0, 0, 0, 0), SECP256K1_SCALAR_CONST(0x39bd8f59, 0xf2f7f6d9, 0xd9087e50, 0xb7f365d0, 0x53f82836, 0x60ea27e1, 0xa16e8af1, 0x31fa1ad7), SECP256K1_SCALAR_CONST(0xccb0440c, 0xe6e5f81a, 0x5c8d35d5, 0x6e0d28de, 0x5ffbb79a, 0xad0cc5f6, 0x8bb99b6b, 0x15f13454), SECP256K1_SCALAR_CONST(0x20ea722e, 0x0d8697e3, 0x8a085009, 0x7fb9e7fa, 0x7e1f2972, 0x2557f393, 0x42793db4, 0xb6aa03e3), SECP256K1_SCALAR_CONST(0x07e53dfe, 0x7cd19b42, 0xd9c59a7e, 0x07ddbc55, 0xce2562da, 0x7b7227bc, 0xc98d3cd3, 0x58bd4ca7), SECP256K1_SCALAR_CONST(0xe8086f85, 0xb76cf0b2, 0x534ab8d9, 0x9ced6b44, 0x25b5606f, 0x5bf21e9a, 0xf1c8735f, 0x8f84fd15), SECP256K1_SCALAR_CONST(0x0dea9967, 0xcd94269a, 0x841c82c0, 0x65eb6984, 0x7e322121, 0x1dcd6f6f, 0x50058bc1, 0x2e7c95fd), SECP256K1_SCALAR_CONST(0x9855619d, 0x629e3d17, 0x9187312a, 0xfaf129ab, 0x1edf6b1a, 0xb70ffd22, 0x37d4205a, 0x22f8823a), SECP256K1_SCALAR_CONST(0xfa3ec36d, 0xa8206e77, 0x382623f3, 0x8a18ee91, 0xb881387e, 0xa07d8a80, 0xdcea4b91, 0x9aa69df6), SECP256K1_SCALAR_CONST(0xba3e1a86, 0xdbaf0149, 0xa5b157d8, 0xd9a5c0d4, 0xa8204b7e, 0x72f567ad, 0x3e65d818, 0xea377699), SECP256K1_SCALAR_CONST(0x26e58616, 0xc0615e55, 0x06ccc846, 0x7ea9a284, 0x1067572f, 0xc1dd9d14, 0x4d038584, 0x24becef6), SECP256K1_SCALAR_CONST(0x3ba176c3, 0x8cbdc9f4, 0xa42bc651, 0x431376e1, 0x94dff922, 0x675c9051, 0x6d4a7c6f, 0x4091e64b), SECP256K1_SCALAR_CONST(0xecc3219f, 0xf94393d0, 0x0ee781b6, 0x4869d156, 0x91e1dd26, 0xbf10e5ab, 0x0380479c, 0xde5a7aaf), SECP256K1_SCALAR_CONST(0xe9aee4e2, 0xd3ce70c0, 0xce9eea18, 0x1e03446a, 0x70093814, 0x8d61bb99, 0x7d21c684, 0x3af3f4ce)}