@orbinum/circuits 0.4.3 → 0.5.0

package/README.md

@@ -13,14 +13,15 @@ npm install @orbinum/circuits
 
 ## 📦 Package Contents
 
-This package includes **12 files** for 3 circuits (disclosure, transfer, unshield):
+This package includes **20 files** for 4 circuits (disclosure, transfer, unshield, private_link):
 
-### For Each Circuit (disclosure, transfer, unshield):
+### For Each Circuit (disclosure, transfer, unshield, private_link):
 
-1. **`{circuit}.wasm`** - Witness calculator (3 files)
-2. **`{circuit}_pk.zkey`** - Proving key for snarkjs (3 files)
-3. **`{circuit}_pk.ark`** - Proving key for arkworks/Rust (3 files)
-4. **`verification_key_{circuit}.json`** - Verification key for on-chain verification (3 files)
+1. **`{circuit}.wasm`** - Witness calculator (4 files)
+2. **`{circuit}.r1cs`** - R1CS constraint system — for custom provers / verification (4 files)
+3. **`{circuit}_pk.zkey`** - Proving key for snarkjs (4 files)
+4. **`{circuit}_pk.ark`** - Proving key for arkworks/Rust (4 files)
+5. **`verification_key_{circuit}.json`** - Verification key for on-chain verification (4 files)
 
 ## 🔧 Usage
 
@@ -29,17 +30,19 @@ This package includes **12 files** for 3 circuits (disclosure, transfer, unshiel
 ```typescript
 import { join } from "path";
 import { readFileSync } from "fs";
+import { getCircuitPaths } from "@orbinum/circuits";
 
-// Get circuit artifacts
-const circuitsPath = require.resolve("@orbinum/circuits/package.json").replace("package.json", "");
+// Get all paths for a circuit
+const paths = getCircuitPaths("transfer"); // 'disclosure' | 'transfer' | 'unshield' | 'private_link'
 
 // Load WASM witness calculator
-const wasmPath = join(circuitsPath, "transfer.wasm");
-const wasmBuffer = readFileSync(wasmPath);
+const wasmBuffer = readFileSync(paths.wasm);
 
 // Load proving key (.zkey)
-const zkeyPath = join(circuitsPath, "transfer_pk.zkey");
-const zkeyBuffer = readFileSync(zkeyPath);
+const zkeyBuffer = readFileSync(paths.zkey);
+
+// Load R1CS (e.g. for custom prover or constraint inspection)
+const r1csBuffer = readFileSync(paths.r1cs);
 
 // Use with snarkjs for proof generation
 // ... snarkjs proof generation code ...
@@ -82,6 +85,10 @@ Private token transfer circuit with 2 inputs and 2 outputs.
 
 Withdrawal circuit from private pool to public account.
 
+### 4. **Private Link** (`private_link_*`)
+
+Proves linkage between two commitments without revealing their values.
+
 ## 🔗 Related Packages
 
 - [@orbinum/proof-generator](https://www.npmjs.com/package/@orbinum/proof-generator) - High-level proof orchestrator
@@ -101,12 +108,13 @@ console.log("Public signals:", result.publicSignals);
 
 ## 📄 File Sizes
 
-- **WASM files**: ~1-2 MB each (witness calculators)
-- **`.zkey` files**: ~7-9 MB each (snarkjs proving keys)
-- **`.ark` files**: ~7-9 MB each (arkworks proving keys)
+- **WASM files**: ~1-3 MB each (witness calculators)
+- **R1CS files**: ~1-5 MB each (constraint systems)
+- **`.zkey` files**: ~0.5-20 MB each (snarkjs proving keys)
+- **`.ark` files**: ~0.2-9 MB each (arkworks proving keys)
 - **Verification keys**: ~3-4 KB each (JSON)
 
-**Total package size**: ~50-60 MB
+**Total package size**: ~80-90 MB
 
 ## 🔒 Security Notice
 

package/index.d.ts

@@ -6,6 +6,7 @@
 
 export interface CircuitPaths {
     wasm: string;
+    r1cs: string;
     zkey: string;
     ark: string;
     verificationKey: string;
@@ -14,11 +15,13 @@ export interface CircuitPaths {
 /**
  * Get paths to all files for a specific circuit
  */
-export function getCircuitPaths(circuit: "disclosure" | "transfer" | "unshield"): CircuitPaths;
+export function getCircuitPaths(
+    circuit: "disclosure" | "transfer" | "unshield" | "private_link"
+): CircuitPaths;
 
 /**
  * Available circuits
  */
-export type CircuitType = "disclosure" | "transfer" | "unshield";
+export type CircuitType = "disclosure" | "transfer" | "unshield" | "private_link";
 
 export const CIRCUITS: CircuitType[];

package/index.js

@@ -6,11 +6,11 @@
 
 const { join } = require("path");
 
-const CIRCUITS = ["disclosure", "transfer", "unshield"];
+const CIRCUITS = ["disclosure", "transfer", "unshield", "private_link"];
 
 /**
  * Get paths to all files for a specific circuit
- * @param {string} circuit - Circuit name: 'disclosure', 'transfer', or 'unshield'
+ * @param {string} circuit - Circuit name: 'disclosure', 'transfer', 'unshield', or 'private_link'
  * @returns {Object} Paths to circuit files
  */
 function getCircuitPaths(circuit) {
@@ -22,6 +22,7 @@ function getCircuitPaths(circuit) {
 
     return {
         wasm: join(basePath, `${circuit}.wasm`),
+        r1cs: join(basePath, `${circuit}.r1cs`),
         zkey: join(basePath, `${circuit}_pk.zkey`),
         ark: join(basePath, `${circuit}_pk.ark`),
         verificationKey: join(basePath, `verification_key_${circuit}.json`),

package/manifest.json

@@ -1,8 +1,8 @@
 {
   "schema_version": "1.0.0",
   "package_name": "orbinum-circuits",
-  "package_version": "0.4.3",
-  "generated_at": "2026-03-08T18:15:18.273Z",
+  "package_version": "0.5.0",
+  "generated_at": "2026-04-12T23:47:00.760Z",
   "circuits": {
     "disclosure": {
       "active_version": 1,
@@ -12,7 +12,7 @@
       "versions": {
         "1": {
           "version": 1,
-          "vk_hash": "0xc3db236286bf67443f26d7dc58970b92b806dc4c27306121687b07c6bd25963d",
+          "vk_hash": "0xdafb885f37582e907005e7fd74250c754f15d929b2ce662563686c3a5868e1a6",
           "artifacts": {
             "wasm": {
               "file": "disclosure.wasm",
@@ -24,13 +24,19 @@
               "file": "disclosure_pk.zkey",
               "localPath": "keys/disclosure_pk.zkey",
               "bytes": 554204,
-              "sha256": "af41c4a11f544be4c0c79a743051c4e48402ac220bd73932eb4839e580e992a4"
+              "sha256": "f4836096039f2f720020364578e16d47ab401d7451ff84dc33a88001313dd9ce"
             },
             "vk_json": {
               "file": "verification_key_disclosure.json",
               "localPath": "build/verification_key_disclosure.json",
-              "bytes": 3470,
-              "sha256": "c3db236286bf67443f26d7dc58970b92b806dc4c27306121687b07c6bd25963d"
+              "bytes": 3471,
+              "sha256": "dafb885f37582e907005e7fd74250c754f15d929b2ce662563686c3a5868e1a6"
+            },
+            "r1cs": {
+              "file": "disclosure.r1cs",
+              "localPath": "build/disclosure.r1cs",
+              "bytes": 159840,
+              "sha256": "c8dc1ba76e133ebd39db020ce52b1d8587103209d83dbf02d7eb7545557042f0"
             }
           }
         }
@@ -44,25 +50,31 @@
       "versions": {
         "1": {
           "version": 1,
-          "vk_hash": "0x771154030ad932850168cc12692da86bb443ceb6798b37ee4e93021a78b4d24a",
+          "vk_hash": "0xcb629c918f2f1b0bd7c855a993762cc32fd6845c9899d5ab02eb66610b497742",
           "artifacts": {
             "wasm": {
               "file": "transfer.wasm",
               "localPath": "build/transfer_js/transfer.wasm",
-              "bytes": 3359868,
-              "sha256": "97cae6deed6c526ed0a287da3d3ab4b8f2cc71ccc956278d262f850ec435b7e5"
+              "bytes": 3360765,
+              "sha256": "5523070bc3f0eb828447a71460f16e32ec950f2d73c9166701a5876d4fbbde87"
             },
             "zkey": {
               "file": "transfer_pk.zkey",
               "localPath": "keys/transfer_pk.zkey",
-              "bytes": 20484784,
-              "sha256": "78a16dfd0658d6142dd7db867a9b45914c445c34a41d8cd62beb8d43f1bee17f"
+              "bytes": 20544096,
+              "sha256": "f4c11bea8297201cdbec32e95fdd534d804e7bd468b907de0e25f3e1eb789dd0"
             },
             "vk_json": {
               "file": "verification_key_transfer.json",
               "localPath": "build/verification_key_transfer.json",
-              "bytes": 3658,
-              "sha256": "771154030ad932850168cc12692da86bb443ceb6798b37ee4e93021a78b4d24a"
+              "bytes": 4025,
+              "sha256": "cb629c918f2f1b0bd7c855a993762cc32fd6845c9899d5ab02eb66610b497742"
+            },
+            "r1cs": {
+              "file": "transfer.r1cs",
+              "localPath": "build/transfer.r1cs",
+              "bytes": 6651056,
+              "sha256": "05f3f983ae3bbb8255c4ee5fbd4e02b9228177ff8323b4b04d0dc9ab5a5dddc8"
             }
           }
         }
@@ -76,25 +88,31 @@
       "versions": {
         "1": {
           "version": 1,
-          "vk_hash": "0xa3bb16ef24fd9a9eed04f5d0a7122d545e22784cf4573bdacf33a681e7824fd0",
+          "vk_hash": "0x3f3cc59f0cb3f7f7b7e7003757d2e4b7f8bebbbfd8a3b3be14350dac712f1200",
           "artifacts": {
             "wasm": {
               "file": "unshield.wasm",
               "localPath": "build/unshield_js/unshield.wasm",
-              "bytes": 2396830,
-              "sha256": "aebf93eb6d7544742eb8bffdbedc82101ff524efdfb649839e3f5b3960c3f06e"
+              "bytes": 2397657,
+              "sha256": "5a47445fac226c1e38e50f7576b3545adebc795c3f393ad046508cc4785f0134"
             },
             "zkey": {
               "file": "unshield_pk.zkey",
               "localPath": "keys/unshield_pk.zkey",
-              "bytes": 5326768,
-              "sha256": "24957ff4e9bbd6d366ad5c6ddcdfd0951856454589cddb9ee67aede8b66bc0f9"
+              "bytes": 5385308,
+              "sha256": "1b1f5fb0ef182789a19ceebab9c166fda496e2a86715407e3eb19bf5291d341e"
             },
             "vk_json": {
               "file": "verification_key_unshield.json",
               "localPath": "build/verification_key_unshield.json",
-              "bytes": 3656,
-              "sha256": "a3bb16ef24fd9a9eed04f5d0a7122d545e22784cf4573bdacf33a681e7824fd0"
+              "bytes": 3840,
+              "sha256": "3f3cc59f0cb3f7f7b7e7003757d2e4b7f8bebbbfd8a3b3be14350dac712f1200"
+            },
+            "r1cs": {
+              "file": "unshield.r1cs",
+              "localPath": "build/unshield.r1cs",
+              "bytes": 1605588,
+              "sha256": "981dad31ca0477d641c18c0fbfb2bce66925d3ec34661e1ebb75c91abbf80941"
             }
           }
         }
@@ -108,7 +126,7 @@
       "versions": {
         "1": {
           "version": 1,
-          "vk_hash": "0xd6b57b6db8ec0e62851f60a7c9e08c56b36c6aa187947baa7ac06c60ab93e9f7",
+          "vk_hash": "0xf2984f40f68aaa98e9a009410e5e3c2397f120e9055520615b27b0c771e8f82d",
           "artifacts": {
             "wasm": {
               "file": "private_link.wasm",
@@ -120,13 +138,19 @@
               "file": "private_link_pk.zkey",
               "localPath": "keys/private_link_pk.zkey",
               "bytes": 508588,
-              "sha256": "81412183ab2d2575e99d6203c409fb967f58c483738e15fa67c54c535dc7eaf2"
+              "sha256": "fe4020bbaaeb0620fad444934becc26d0cc5a59258310d84f5f07665a7c6b4c7"
             },
             "vk_json": {
               "file": "verification_key_private_link.json",
               "localPath": "build/verification_key_private_link.json",
-              "bytes": 3109,
-              "sha256": "d6b57b6db8ec0e62851f60a7c9e08c56b36c6aa187947baa7ac06c60ab93e9f7"
+              "bytes": 3110,
+              "sha256": "f2984f40f68aaa98e9a009410e5e3c2397f120e9055520615b27b0c771e8f82d"
+            },
+            "r1cs": {
+              "file": "private_link.r1cs",
+              "localPath": "build/private_link.r1cs",
+              "bytes": 138248,
+              "sha256": "62b38b485b501d0423580c5f217f5cc088d46ead3956097cd893358df7b3fa8c"
             }
           }
         }

package/package.json

@@ -1,11 +1,12 @@
 {
   "name": "@orbinum/circuits",
-  "version": "0.4.3",
+  "version": "0.5.0",
   "description": "Zero-Knowledge circuits for Orbinum privacy blockchain",
   "main": "index.js",
   "types": "index.d.ts",
   "files": [
     "*.wasm",
+    "*.r1cs",
     "*.zkey",
     "*.ark",
     "*.json",

package/verification_key_disclosure.json

@@ -37,12 +37,12 @@
  ],
  "vk_delta_2": [
   [
-   "17554125867627951670750269886541238935475129854079224991806481728360071776781",
-   "2709256591186663608238052698170013675550955311725757986088465376056629328326"
+   "11993434680230805927722786325993282281923105767651836196791652746641637571269",
+   "6525480687424030368065502335087012208117969428852564375538459081830900980561"
   ],
   [
-   "12581564482342229155357821828757863836879989046085855593351830199861875399319",
-   "1216909755038774804550663544119198457985618857613810513795840110445293095813"
+   "20502806777170369013223435966128438261670084763876814289934598085746088924484",
+   "21408889466292326203555760741784039705344994774984803445852664623336658748736"
   ],
   [
    "1",

package/verification_key_private_link.json

@@ -37,12 +37,12 @@
  ],
  "vk_delta_2": [
   [
-   "13056363693040450482936360701713852479561302661706271035070961151207439429226",
-   "16148156831394527697817358605959435506456639658295602735736523917025661802290"
+   "4313919229801991653934894322372030340969598307333109883327024092744785239799",
+   "21737517222146897512836907360976383535128833822141342177206320877864719399707"
   ],
   [
-   "2003974830820801068003916656032856678710023094475973177621774433257877889082",
-   "6165823095409176762658241553258873467954151524641783951103899520234283417583"
+   "18982554926822255992087599875864644043842669245180285320435898961284028724707",
+   "17168544745213844284159333087503426733152659905275935750049513651030519221031"
   ],
   [
    "1",

package/verification_key_transfer.json

@@ -1,7 +1,7 @@
 {
  "protocol": "groth16",
  "curve": "bn128",
- "nPublic": 5,
+ "nPublic": 7,
  "vk_alpha_1": [
   "20491192805390485299153009773594534940189261866228447918068658471970481763042",
   "9383485363053290200918347156157836566562967994039712273449902621266178545958",
@@ -37,12 +37,12 @@
  ],
  "vk_delta_2": [
   [
-   "5083827822078041639812143891040820667953721117487670243011658461349815197730",
-   "20788582072585649973000842952342401249619452183735666498024419040791232662715"
+   "21343756600091506481002440288012097699481865595659540855907151998936386030592",
+   "14356893836585114937196939102349805994136772862175491210406565308285601522519"
   ],
   [
-   "13321900012179825584890824710855591441873995519979467876423335711004283529886",
-   "4843477404608906417006010393580474222809891730493421946818820467056757973297"
+   "16327959164442841086246614058813530061491772033932305702541477921810932046089",
+   "15659987912218975957384796232876352173970820047126277099607617319372495286885"
   ],
   [
    "1",
@@ -81,33 +81,43 @@
  ],
  "IC": [
   [
-   "12521353044701549515327655017850372472462274389676752451261564850795277210784",
-   "17537427920533725255683527309076964578961889733887641292864968986005206833227",
+   "18787219007834814841096182623646107016205190740710151695526069997475928065780",
+   "20120664355363037570598442625576144265682413017676610272811462838013890674564",
    "1"
   ],
   [
-   "9054540875357326821742569992875343778082451382872166255139682380736118336965",
-   "19145371190592659949158552383366523068893276589381638814741619309597554902109",
+   "5421398432366681433617890885396156757131236314708583635166237425433980995687",
+   "15434315554593778972066893139024869554540012943877872766160614708400161761925",
    "1"
   ],
   [
-   "4742393298120554619433281305566496971436669707311583698440427823952632276050",
-   "3877416000326877112020382111726729873163167304724326109191809999398145068082",
+   "4919789772851440084381609248006903598442574183141745863307356750580938947857",
+   "5342808560495887025120724806174465546929091595983594768927002212920631858179",
    "1"
   ],
   [
-   "13596656322317975043597922138537730020108978263529423575433634179437267442285",
-   "9742436487435369435567344764161265311134349467077942742196530523569923539419",
+   "20360401651978644400401815090552549278977711590188208978541214195544337735242",
+   "5000169784427168931962507561009329117822304114414927247882155497373701165189",
    "1"
   ],
   [
-   "10688916237036738808967339930842102783882829011167399097753073924876231581798",
-   "15541123047651505099565506020079072290645702361358638026159150320227489549290",
+   "17044887283379556828952259263889022468655592192128516838198064474775607122561",
+   "11426388232069600018785695395582723467853934355072989863364793883377153484930",
    "1"
   ],
   [
-   "10594341809050651078348790198511832237136162370751007990030736876706319494726",
-   "8811599578125639162916289173502210672259754599803755307954551465982761005752",
+   "4238699764131622651668729385095163555264580772143528753149647295464517437842",
+   "18254998918333035320670615136232636249931854142125288996111813277598360176118",
+   "1"
+  ],
+  [
+   "7262287201508887768455063698502079254802373940271253512063391045635043663246",
+   "4006640018783093606048070692787474033798642966676792235600409015747018390836",
+   "1"
+  ],
+  [
+   "2767292722671152798487950928373221090852981259098169467784218357695082377791",
+   "10070366080989002244518855974531016837958086649239375977131685117326813064886",
    "1"
   ]
  ]

package/verification_key_unshield.json

@@ -1,7 +1,7 @@
 {
  "protocol": "groth16",
  "curve": "bn128",
- "nPublic": 5,
+ "nPublic": 6,
  "vk_alpha_1": [
   "20491192805390485299153009773594534940189261866228447918068658471970481763042",
   "9383485363053290200918347156157836566562967994039712273449902621266178545958",
@@ -37,12 +37,12 @@
  ],
  "vk_delta_2": [
   [
-   "464907464513720019133937272966275613751480746994664040745539078395920248730",
-   "19443955305840987656151496236561396550825688102853279177126034217915216846613"
+   "20070319455493507491299321986909756514670582188948755086048461311798888087409",
+   "21005033148099100659811508898854607675016080815663276770077840776931700808063"
   ],
   [
-   "18069802123818384334760145934278803706249838271235913000397130166222273199582",
-   "9568780085556670518735744435614643601678948589839745934498769152713151025553"
+   "14372102490074769603691930242903632564128924032217414774333258025179633339966",
+   "5033074458707053932929755868365845975160985544108275398753849227012355052153"
   ],
   [
    "1",
@@ -81,33 +81,38 @@
  ],
  "IC": [
   [
-   "4759917404823790432407520088534459023356590579383652181465364916912449624695",
-   "3832863574771841234331076301811290460934931101437953774708549890327258738564",
+   "15405354109901283310068232257413416816879846039381954000563020729148043310847",
+   "12492988294433229052064031664920885553637757809341078505606621791218779211003",
    "1"
   ],
   [
-   "5336337706419091211868472399687230066131810167568242892809804587865519165344",
-   "11353185051357039508206677538186633821853103335512576778299092029039610062882",
+   "21029711156392545345076917086965836872956726857770447004575943252720493596008",
+   "18632642959456872234776790710300764745943575337311360178808456361512794722848",
    "1"
   ],
   [
-   "15084681146036149779834232651527344012418671089935933939397885561760086121969",
-   "10673952063622217067979641197117245279252423258914282179285754313970092562596",
+   "15923868803388916485143997169804957546135028743501258507549988511618670662182",
+   "5320442547963821099942543296347054919958979081537211596971516055153417774954",
    "1"
   ],
   [
-   "21039779822942533132271658631716796333199025786313218659510617689739394153598",
-   "11163282276070815586063767846812914624591347999168289386275553753092237495248",
+   "6835562792072090651898345247205709434209107366705063705945198258918495012841",
+   "11755224037472137926043279412122017692637056266155755162382854710873900853549",
    "1"
   ],
   [
-   "3095712311814508041135867864726006035419219310141511809667041762596327080341",
-   "17159247848061658623919878194408282495395946967527260450426770075448330620486",
+   "9733851958284875677027353344317314979021451581754781004552872740757587899342",
+   "9348132840099169445351207312826473123872677945073695866632075816052554455499",
    "1"
   ],
   [
-   "4168950959496505617599330781731644101559373119770356275626759863667568305184",
-   "5644689731760572677103844719463014317690882565098456772580613601327065049357",
+   "13248849963545456944473120592502116801904701759955511801158624790264716786374",
+   "7161404509833424670229997117161409196721093929555246204200189213824689841013",
+   "1"
+  ],
+  [
+   "729410642178751948111283382515746216763935849039681726440305165454620064260",
+   "9061553743980573787545212167683989030827608910031365530259121964846676194884",
    "1"
   ]
  ]