valid tap circuit inputs generated

cursive-team · Oct 30, 2024 · 4b4f41e · 4b4f41e
1 parent a58a8bf
commit 4b4f41e
Show file tree

Hide file tree

Showing 18 changed files with 418 additions and 12 deletions.
diff --git a/packages/circuits/instances/example_public.json b/packages/circuits/instances/example_public.json
diff --git a/...ges/circuits/instances/example_input.json → ...ts/instances/pubkey_membership_input.json b/...ges/circuits/instances/example_input.json → ...ts/instances/pubkey_membership_input.json
diff --git a/...ges/circuits/instances/example_proof.json → ...ts/instances/pubkey_membership_proof.json b/...ges/circuits/instances/example_proof.json → ...ts/instances/pubkey_membership_proof.json
diff --git a/packages/circuits/instances/pubkey_membership_public.json b/packages/circuits/instances/pubkey_membership_public.json
@@ -0,0 +1,11 @@
+[
+  "17825334909698573620993222371821585663772073121519814540615199066752100895281",
+  "9949682763199094406947497597619206603576319427215228151667831375779683522772",
+  "19014214495641488759237505126948346942972912379615652741039992445865937985820",
+  "1799182282238172949735919814155076722550339245418717182904975644657694908682",
+  "11796026433945242671642728009981778919257130899633207712788256867701213124641",
+  "14123514812924309349601388555201142092835117152213858542018278815110993732603",
+  "0",
+  "1",
+  "0"
+]
diff --git a/...s/circuits/instances/example_witness.wtns → .../instances/pubkey_membership_witness.wtns b/...s/circuits/instances/example_witness.wtns → .../instances/pubkey_membership_witness.wtns
diff --git a/packages/circuits/instances/valid_tap_input.json b/packages/circuits/instances/valid_tap_input.json
@@ -0,0 +1,14 @@
+{
+  "tapS": "1556192236082850800011477753789706164136184180458744644984084897070345066570",
+  "tapTx": "11796026433945242671642728009981778919257130899633207712788256867701213124641",
+  "tapTy": "14123514812924309349601388555201142092835117152213858542018278815110993732603",
+  "tapUx": "0",
+  "tapUy": "1",
+  "sigNullifierRandomness": "420420420",
+  "pubKeyNullifierRandomness": "13371337",
+  "pubKeySignatureR8x": "8941083333686543030911750980629242340466273346746366858097013354935517750019",
+  "pubKeySignatureR8y": "2447395845374323847846314776644282655067580633752696159264458346560400869821",
+  "pubKeySignatureS": "675879547845494392107871336490940255192692177439048135649091193428465059535",
+  "cursivePubKeyAx": "13277427435165878497778222415993513565335242147425444199013288855685581939618",
+  "cursivePubKeyAy": "13622229784656158136036771217484571176836296686641868549125388198837476602820"
+}
diff --git a/packages/circuits/instances/valid_tap_proof.json b/packages/circuits/instances/valid_tap_proof.json
@@ -0,0 +1,28 @@
+{
+ "pi_a": [
+  "6174385234092675188165433142811102920542743698833217768306009312004615020169",
+  "8494236334047218240557686199033788330514627191848160447243671340337746378876",
+  "1"
+ ],
+ "pi_b": [
+  [
+   "13833480637381903954902172683819293763974409238120496348352497296440239127735",
+   "18956425409164302378371946818567118647937323818949349968596581074875371246996"
+  ],
+  [
+   "14392592046119424456525259845864461302148390770224068020369281920239467384035",
+   "20057774994616250617164802880021995317490521412539591246383528026100970306586"
+  ],
+  [
+   "1",
+   "0"
+  ]
+ ],
+ "pi_c": [
+  "1491831082385863804882376005538159373580116998636891323495683720467419488714",
+  "13230117210741570714598299373441525522881787354226005704621305208152044669958",
+  "1"
+ ],
+ "protocol": "groth16",
+ "curve": "bn128"
+}
diff --git a/packages/circuits/instances/valid_tap_public.json b/packages/circuits/instances/valid_tap_public.json
@@ -0,0 +1,12 @@
+[
+ "9212803888129978694085955055929457904509227193858927937465656816520679771413",
+ "9415640651107144296813751397599463066335617811192072897618354943341970839632",
+ "18155346989213180720846883565652418012353154792388252654062450633217141369590",
+ "11796026433945242671642728009981778919257130899633207712788256867701213124641",
+ "14123514812924309349601388555201142092835117152213858542018278815110993732603",
+ "0",
+ "1",
+ "420420420",
+ "13277427435165878497778222415993513565335242147425444199013288855685581939618",
+ "13622229784656158136036771217484571176836296686641868549125388198837476602820"
+]
diff --git a/packages/circuits/instances/valid_tap_witness.wtns b/packages/circuits/instances/valid_tap_witness.wtns
diff --git a/packages/lib/package.json b/packages/lib/package.json
@@ -5,6 +5,7 @@
   "license": "MIT",
   "dependencies": {
     "@types/uuid": "^9.0.5",
+    "@zk-kit/eddsa-poseidon": "^1.1.0",
     "circomlibjs": "^0.1.7",
     "elliptic": "^6.5.4",
     "js-sha256": "^0.11.0",

diff --git a/packages/lib/test/circuits/example_valid_tap_input.json b/packages/lib/test/circuits/example_valid_tap_input.json
@@ -0,0 +1,14 @@
+{
+  "tapS": "1556192236082850800011477753789706164136184180458744644984084897070345066570",
+  "tapTx": "11796026433945242671642728009981778919257130899633207712788256867701213124641",
+  "tapTy": "14123514812924309349601388555201142092835117152213858542018278815110993732603",
+  "tapUx": "0",
+  "tapUy": "1",
+  "sigNullifierRandomness": "420420420",
+  "pubKeyNullifierRandomness": "13371337",
+  "pubKeySignatureR8x": "8941083333686543030911750980629242340466273346746366858097013354935517750019",
+  "pubKeySignatureR8y": "2447395845374323847846314776644282655067580633752696159264458346560400869821",
+  "pubKeySignatureS": "675879547845494392107871336490940255192692177439048135649091193428465059535",
+  "cursivePubKeyAx": "13277427435165878497778222415993513565335242147425444199013288855685581939618",
+  "cursivePubKeyAy": "13622229784656158136036771217484571176836296686641868549125388198837476602820"
+}
diff --git a/packages/lib/test/circuits/example_valid_tap_proof.json b/packages/lib/test/circuits/example_valid_tap_proof.json
@@ -0,0 +1,28 @@
+{
+  "pi_a": [
+    "20328579257967495388039779048798378719781448911384451636730729988237960958887",
+    "20770256234438033673445193563612908660754679491746267057287758992105467317250",
+    "1"
+  ],
+  "pi_b": [
+    [
+      "7626009625781149369477897007347537094283942649678218986305630612303474289204",
+      "21238362471214073619848482244478491356803581886819430305015070272451343470369"
+    ],
+    [
+      "18486117239993220367919515850702497621495032857656199706020295578820976729857",
+      "13672567542044932113111042356009406543332967043465816506159382698595343019025"
+    ],
+    [
+      "1",
+      "0"
+    ]
+  ],
+  "pi_c": [
+    "267297167523992321273169362724717646675722595555266882959612667751838354301",
+    "2947220980618810001000970887301288557969931265164036899897124307130101173632",
+    "1"
+  ],
+  "protocol": "groth16",
+  "curve": "bn128"
+}
diff --git a/packages/lib/test/circuits/example_valid_tap_public.json b/packages/lib/test/circuits/example_valid_tap_public.json
@@ -0,0 +1,12 @@
+[
+  "9212803888129978694085955055929457904509227193858927937465656816520679771413",
+  "9415640651107144296813751397599463066335617811192072897618354943341970839632",
+  "18155346989213180720846883565652418012353154792388252654062450633217141369590",
+  "11796026433945242671642728009981778919257130899633207712788256867701213124641",
+  "14123514812924309349601388555201142092835117152213858542018278815110993732603",
+  "0",
+  "1",
+  "420420420",
+  "13277427435165878497778222415993513565335242147425444199013288855685581939618",
+  "13622229784656158136036771217484571176836296686641868549125388198837476602820"
+]
diff --git a/packages/lib/test/circuits/valid_tap.wasm b/packages/lib/test/circuits/valid_tap.wasm
diff --git a/packages/lib/test/circuits/valid_tap.zkey b/packages/lib/test/circuits/valid_tap.zkey
diff --git a/packages/lib/test/circuits/valid_tap_vkey.json b/packages/lib/test/circuits/valid_tap_vkey.json
@@ -0,0 +1,139 @@
+{
+ "protocol": "groth16",
+ "curve": "bn128",
+ "nPublic": 10,
+ "vk_alpha_1": [
+  "16428432848801857252194528405604668803277877773566238944394625302971855135431",
+  "16846502678714586896801519656441059708016666274385668027902869494772365009666",
+  "1"
+ ],
+ "vk_beta_2": [
+  [
+   "16348171800823588416173124589066524623406261996681292662100840445103873053252",
+   "3182164110458002340215786955198810119980427837186618912744689678939861918171"
+  ],
+  [
+   "19687132236965066906216944365591810874384658708175106803089633851114028275753",
+   "4920802715848186258981584729175884379674325733638798907835771393452862684714"
+  ],
+  [
+   "1",
+   "0"
+  ]
+ ],
+ "vk_gamma_2": [
+  [
+   "10857046999023057135944570762232829481370756359578518086990519993285655852781",
+   "11559732032986387107991004021392285783925812861821192530917403151452391805634"
+  ],
+  [
+   "8495653923123431417604973247489272438418190587263600148770280649306958101930",
+   "4082367875863433681332203403145435568316851327593401208105741076214120093531"
+  ],
+  [
+   "1",
+   "0"
+  ]
+ ],
+ "vk_delta_2": [
+  [
+   "7813806924753954972523345342562562589802029985743613463838677367901412692708",
+   "8631304291151442106883777310555422309425808162807957767036712302825208045218"
+  ],
+  [
+   "10128415359689908998940482516690657103675461357657731677735040792190224815784",
+   "11591181662733048600303660385275737540729511467800525179710910501239778535939"
+  ],
+  [
+   "1",
+   "0"
+  ]
+ ],
+ "vk_alphabeta_12": [
+  [
+   [
+    "5275725312362878540782176211860327475781113689246818544623830805017503247034",
+    "700769043921060225711174322502145319612473365595920873303028146383045646735"
+   ],
+   [
+    "16577533945604560505206253312979863148043263406037367789711279754781525822966",
+    "9408338099405950952721388539539775335199747835458172188116297223654842340186"
+   ],
+   [
+    "12663399896275491035004982800573482669934131767886952660443268164480899034271",
+    "4432711152773877173921024337047412943791122852326272337530740732443732395954"
+   ]
+  ],
+  [
+   [
+    "13121778684901402722679281862736806628725205381360313795132945954337708567513",
+    "9534744673358550231812045647241180985734073058548683258847806241019905135720"
+   ],
+   [
+    "21329152369227346659770815132468371951064045353268189088026893413117512652875",
+    "17209195434408943681049655974234541356066884378594227002358272904159790622854"
+   ],
+   [
+    "5346467096835895366917814311591075634165750361894629082277248282132405045579",
+    "15508364027636868967189209273443690126627947943852338696115233789046842639684"
+   ]
+  ]
+ ],
+ "IC": [
+  [
+   "21346001474773110673956853491723675078738140933092153273194588449113694829057",
+   "16810334969970115871142987167358092546185744266818464294505318523613293635306",
+   "1"
+  ],
+  [
+   "14958434837550966883495992539458410380084964239210183288904082909320392249177",
+   "21250351972494391420907016210523616519135610099466165603774444532096558939538",
+   "1"
+  ],
+  [
+   "6510808405993211642279268164048384138849942879771925487593707259044018542990",
+   "2193078717955482394911352233977690710180115669014937730839716724700703488394",
+   "1"
+  ],
+  [
+   "7200715698792127574217367118213931500643536262785014012411610018060482473761",
+   "10511741605768947332740537497960883285479168778959125753562038922516313185286",
+   "1"
+  ],
+  [
+   "17491263566518309572208326349340141983011425173513928561842632129109269636472",
+   "19743221932090040153863876814083196950439067585831523995673189392938178825715",
+   "1"
+  ],
+  [
+   "2947602017769437309935160614718531074708182462145406364275645388585216974577",
+   "9044015742272419157038162576127985056519149397836821283453321472038256149988",
+   "1"
+  ],
+  [
+   "4535743243087269915762663188892955703346125995956001687148334273794184290317",
+   "9104466873069842162058538238022815850582361005681697925640944710642174576137",
+   "1"
+  ],
+  [
+   "20113366593898884845751883956802198021295623260070664779858410760932745742288",
+   "21545293525136053312264042478861006607340853750311488759981756607895484592217",
+   "1"
+  ],
+  [
+   "18736622830266602381721691049720572935589150369217978908391974245493193261300",
+   "21443662111450206761478689837325533320419597623922609295039913780616385520766",
+   "1"
+  ],
+  [
+   "13624145243450271131947396058467510324408790672899600660228003186682440496341",
+   "13964504066888199072370912036122176136204817316192353406594763529653574943201",
+   "1"
+  ],
+  [
+   "11690966534985748700238867349540863259414888331052599993662217442456687295694",
+   "6102424015111941870423525467758263698153392251743116726627816852090760657519",
+   "1"
+  ]
+ ]
+}