-
Notifications
You must be signed in to change notification settings - Fork 1
/
jubjub-6.circuit
15 lines (13 loc) · 7.81 KB
/
jubjub-6.circuit
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
[0.000000] Parsing...
[0.008665] 16 multiplications, 6 temporaries, 39 constraints, 271 cost
[0.008680] Eliminating...
[0.009299] 16 multiplications, 33 constraints, 253 cost
[0.009302] Reducing...
[0.024514] 16 multiplications, 33 constraints, 218 cost
[0.024517] Maximizing 1s...
[0.025139] Done
16,0,33; -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; -L6 + L0 = 0; -R6 + L1 = 0; O6 + 43761614841181848836640060563436836929981077120207297347288494535014373124598*L7 + 32269103446714936439983769262136990710725469005847626272964912432556195438855*L0 + 53470148824566042419568143658779164645897136432324031591105781651996231383599*L1 = -29906057699896301565330867720293440045651680527210179749355355245466869592774; R7 - 2*L2 = -1; -L8 + L3 = 0; -R8 + L4 = 0; O8 + 21014290721093653874050402869616240144839777829078930642127268241692916015010*L9 + 30291292020152637070930450826530356553284841560358009904384208293049320970610*L3 + 37447708648605002961390823892644286535292237354956047616343665579501453451337*L4 = 33599098110850580423117463872611295999788948305235313026833103670878202638822; R9 - 2*L5 = -1; O7 - O10 = 30417800688223880646597945931474300561251654875325094848136813623514928156008; R10 - 25758063836554693196908199229504721621729641941971332474184303138909611379443*L0 + 11291233376911191389536694739885054786695386896193593308033244950342020590185*L1 + 3363265264840957283186157428945612617240329097799939360463518825408167634185*L7 = -13941224360833447422644581669313969619767296581883801916737428011608513055714; L10 - L11 = 0; L10 - R11 = 0; L10 - L12 = 0; O11 + R12 - 51516127673109386393816398459009443243459283883942664948368606277819222758886*L0 + 22582466753822382779073389479770109573390773792387186616066489900684041180370*L1 + 6726530529681914566372314857891225234480658195599878720927037650816335268370*L7 = -40877775983237697526318616397732109359596550407446135921154471661871302260227; O9 - O12 - O13 + O10 = -30417800688223880646597945931474300561251654875325094848136813623514928156008; O11 + R13 - 25758063836554693196908199229504721621729641941971332474184303138909611379443*L0 + 11291233376911191389536694739885054786695386896193593308033244950342020590185*L1 - 5035688805764254729615047036903177527727379034866312505324239583314225212885*L3 + 30759539956556623185178837535720172364584628569249377782678985276037466457*L4 - 7224137796052607702389482387318843227054137898881038815935328843778405489389*L9 + 3363265264840957283186157428945612617240329097799939360463518825408167634185*L7 = -35869149926219234463595526134454558797979900749538521778533857167796924865071; L13 - L14 = 0; L13 - R14 = 0; L13 - L15 = 0; R15 - 5035688805764254729615047036903177527727379034866312505324239583314225212885*L3 + 30759539956556623185178837535720172364584628569249377782678985276037466457*L4 - 7224137796052607702389482387318843227054137898881038815935328843778405489389*L9 = -30677568380102536271773179443936427026401571883477512915576407436690852969727; O14 - O11 + 25758063836554693196908199229504721621729641941971332474184303138909611379443*L0 - 11291233376911191389536694739885054786695386896193593308033244950342020590185*L1 - 5035688805764254729615047036903177527727379034866312505324239583314225212885*L3 + 30759539956556623185178837535720172364584628569249377782678985276037466457*L4 - 7224137796052607702389482387318843227054137898881038815935328843778405489389*L9 - 3363265264840957283186157428945612617240329097799939360463518825408167634185*L7 = 26753596133306014974574778301177558529867574617408939284080208413231094704325;
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, 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(0x8a35cea3, 0x9b795353, 0xad9f3d31, 0xbb0515ac, 0x740e836c, 0xd80496c9, 0x61fc18d3, 0x4daf8db9), SECP256K1_SCALAR_CONST(0x8a35cea3, 0x9b795353, 0xad9f3d31, 0xbb0515ac, 0x740e836c, 0xd80496c9, 0x61fc18d3, 0x4daf8db9), SECP256K1_SCALAR_CONST(0x8a35cea3, 0x9b795353, 0xad9f3d31, 0xbb0515ac, 0x740e836c, 0xd80496c9, 0x61fc18d3, 0x4daf8db9), SECP256K1_SCALAR_CONST(0x40d6b048, 0xad30e0e7, 0x864cc2f7, 0xfbbe4e0a, 0x6d5e8352, 0x491167c7, 0xca26ea35, 0x0872ea0d), SECP256K1_SCALAR_CONST(0x40d6b048, 0xad30e0e7, 0x864cc2f7, 0xfbbe4e0a, 0x6d5e8352, 0x491167c7, 0xca26ea35, 0x0872ea0d), SECP256K1_SCALAR_CONST(0x40d6b048, 0xad30e0e7, 0x864cc2f7, 0xfbbe4e0a, 0x6d5e8352, 0x491167c7, 0xca26ea35, 0x0872ea0d)}
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, 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(0x546ff55c, 0x7830c982, 0xdb7a78cb, 0x0120846e, 0x47fdfbde, 0xed6ce4a0, 0xef525b99, 0xaea1efa1), SECP256K1_SCALAR_CONST(0x8a35cea3, 0x9b795353, 0xad9f3d31, 0xbb0515ac, 0x740e836c, 0xd80496c9, 0x61fc18d3, 0x4daf8db9), SECP256K1_SCALAR_CONST(0x184fd459, 0x636c48f7, 0xaae8dfc2, 0x154fade2, 0x09007a45, 0xa0a0ada4, 0x6beb79e4, 0x3be7fe86), SECP256K1_SCALAR_CONST(0x45caf924, 0xe983c13a, 0xf422149b, 0x1afd3aa6, 0xdcf07889, 0x6e130b76, 0x6ec9063b, 0x0a88129f), SECP256K1_SCALAR_CONST(0x40d6b048, 0xad30e0e7, 0x864cc2f7, 0xfbbe4e0a, 0x6d5e8352, 0x491167c7, 0xca26ea35, 0x0872ea0d), SECP256K1_SCALAR_CONST(0x51d7e2a0, 0x755fca9c, 0x039c15b2, 0x2c93ff97, 0x57c196ce, 0x09ac7c01, 0x69177867, 0x0866b6c9)}
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(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(0x42e31883, 0x7b9a8dd4, 0x5bf77b8a, 0x58fdc2bc, 0x021a5140, 0xc0b68314, 0x939615b4, 0xbcdd77cf), SECP256K1_SCALAR_CONST(0x73d4fe29, 0x7664b836, 0xe6c82cb5, 0xcab80c91, 0x9a3c202a, 0xa0efc696, 0xd3cfe4c9, 0x989ec27d), SECP256K1_SCALAR_CONST(0x3c1d3409, 0xf5c9cae4, 0x46f80db8, 0xc05fe572, 0x79c5a5d5, 0xec7605c4, 0x872a7535, 0x0c73f971), SECP256K1_SCALAR_CONST(0xb3d0797a, 0x3e74c110, 0xe618459e, 0xe46b4227, 0x7a151d73, 0xeaee4093, 0x342b3afd, 0xdbce504b), SECP256K1_SCALAR_CONST(0xd1635a7c, 0x8564a7a4, 0x5118f980, 0xaa9faaf2, 0x325881c3, 0x1f94eada, 0x5fc5e0a9, 0xdc1a2387), SECP256K1_SCALAR_CONST(0xa8895017, 0xc8441304, 0xe4f34b77, 0x7b4c2660, 0x1897c412, 0xad67641d, 0xe21990f6, 0x3e4160ec)}