Skip to content

Instantly share code, notes, and snippets.

@LCamel
Last active February 10, 2023 14:30
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save LCamel/9bc8b182ba90fda463769facd30837f5 to your computer and use it in GitHub Desktop.
Save LCamel/9bc8b182ba90fda463769facd30837f5 to your computer and use it in GitHub Desktop.
HashTower: 1M items, W=4 H=16
template instances: 88
non-linear constraints: 5128
linear constraints: 0
public inputs: 65
public outputs: 1
private inputs: 81
private outputs: 0
wires: 5238
labels: 20290
{
"lv0Len": 4,
"levels": [
[
999996,
999997,
999998,
999999
],
[
"7483842622142133368535639417415174308084718289841860595333815903976932172064",
"13344755312992186353496389126198600540243130623441202314659366183623522802051",
"17028135565609015202125199029775048179810190857552480205519497899958728030892",
0
],
[
"20086666736820562524867003843489392432769209265498730905601568429270795829361",
"15280116947375128976085844596430077063643342141908939544280676499010761143490",
"12824109293728637381753042422600115742026103202777334628893519542969381002588",
0
],
[
"12786919765869027865959681495886759929029518318705722870937325310823958949474",
"8939635803894118706125667721611631555576028137793402799524920588679390983613",
"16186568362879761179904898780272864854772354835648792581189602725610962848012",
"15536971757968118313466490828602659895478966251210047329445775894304356482742"
],
[
"21359681095185515712690962766070562847665812053510287062757649283820237000535",
0,
0,
0
],
[
"8731379038868526007026721844219490649355028270287699271283154191611328042855",
"13099754497670238717740499859184171586108063487712931214421322744795609705551",
"21452097013776996251816904165057276205560818894575377733354673354263106350622",
"9147068104282566841117848870992493124345201402920446169141143967423346943934"
],
[
"9959105033374225102478246596017016009283811961232118423270667152631717715530",
"13305928293963954375507344130048149773769891502867855453201003274777646511427",
"4737056487705938350017448215757845879045676451097849856390054655944869639498",
0
],
[
"10140640542420922917036149855411282809758738118019558475896787595463235352384",
"7819976162021991303900181647239426426735454538673376605972185178047274672616",
"465904567298388383793206158969763506591930072414000580348494171166062107268",
"1645381474183033094512557365963879340426567477393043428865589954854142274174"
],
[
"10336063233256074306509626388194526468677073867383381474878458989259569199946",
"6347185153558679171056051547100046837710612607435597059210383244939883826213",
0,
0
],
[
"19198197549129197999603639415521139625609608599891587120476710584396211353354",
"10477104570828342984440924162614521360264568596137038553680605670060504553780",
"12187397240999453608068040562582861826940890542564939630210822919169091154211",
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
]
],
"childrens": [
[
8,
9,
10,
11
],
[
"4050345352754260300667252706570081029004026400044882557845061748628670512780",
"16525394689581001060796930429694815177021214212124839765729175219986058137634",
"6730104341349285653316532682936752316301797897331363799236350461082531397471",
"16363546219412995743263600419746167041724101236017769615264398715164284706307"
],
[
"5703642902925079077973536892547657253027257210241120904109323042937339552649",
"2735412832770887748450474279020328585146458916844749482362452140101429375637",
"19599299228449052067731522076197947840082607124226455135224867619638489952319",
"3718399262420093597783273468884817508687572175508804451491579690011150825623"
],
[
"21063573352735171702888190163639991762420157462271265858333815597728425305031",
"17633900406451083389440118111211247911811469830487954739962729617239889281923",
"2994401277895242242773545337813312068787563055094781616167600253908226693545",
"83874709104460833256839131329633358170230024014502392709139914102306586788"
],
[
"3055181610444972954076313459016002189932758437798120917071372876625824181190",
"2007056480577723837748193469013078212626540167234982910521792448661827757427",
"5841466724334530508168664620128655241865195261105529194458174980914911045006",
"14967852772508550657694332807247570975072173765254384026934734223907275620924"
],
[
"15700372930925027412220499446240623399140101025284088123325135970427898136698",
"3832384683936271363148832707017857047397947449742689054264773425529043008123",
"343256411144727337029677050462651490664586199095343257804736123505219386636",
"496247962462503138527493545139486415379886837576959665301870054276860401523"
],
[
"14156791234391547727960642734607497292867817315329931902189925884742363737400",
"9416175185852894055731519436119238158055626471472784405394905648317491049877",
"7400845795491780783206129825288848907497174347029732226925334923330030763249",
"9451768260757641622081973802995772179605560781438874623726044103983085641122"
],
[
"6333900736027706369587922817965683260134883509521330002332813816476606201629",
"2552085624356708480926025293613556191149421570005890833089073659873308238374",
"2684125687825357034869431452583765826059296277474322431664365755664831751295",
"1423237849502940039113080143858357318442061969406891779853862858495009720327"
],
[
"12477752294218359954559768992689404449066627385657607814104370944240309082896",
"19251562316723841827045979102228748721611481902986166131499065602317104434479",
"5761566992567646448885601690314805950459686197275028842752639655826747682142",
"11626776291220239284112468466972158061869099129118274643281334164042953313272"
],
[
"19198197549129197999603639415521139625609608599891587120476710584396211353354",
"10477104570828342984440924162614521360264568596137038553680605670060504553780",
"12187397240999453608068040562582861826940890542564939630210822919169091154211",
"0"
],
[
"8004370861720400374519491987600522067100695051874870395339727531205715712027",
"0",
"0",
"0"
],
[
"1368466157383019454719681118309352502781463706938774617979133520372692868655",
"0",
"0",
"0"
],
[
"9931634922770593000842804827110170961387553931110473021494148048838855299790",
"0",
"0",
"0"
],
[
"2285920487204117665640469770092037666066166197217609192778198220284481705887",
"0",
"0",
"0"
],
[
"20298881241449467530105295764975740850584393756154961267449343102636979811040",
"0",
"0",
"0"
],
[
"3982321155438880476687764264922003501526233741525491337480930825016307743939",
"0",
"0",
"0"
]
],
"indexes": [
2,
2,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
"matchLevel": 9
}
+ node generate_witness.js HashTower.wasm /Users/lcamel/vc/HashList/packages/circuits/out/input.json witness.wtns
real 0m0.902s
user 0m1.592s
sys 0m0.105s
+ npx snarkjs groth16 prove HashTower_0001.zkey witness.wtns proof.json public.json
real 0m2.991s
user 0m3.843s
sys 0m0.346s
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment