Include tuple entries in proof config (#12)

proofcarryingdata · Sep 30, 2024 · a3ae530 · a3ae530
1 parent 19567a8
commit a3ae530
Show file tree

Hide file tree

Showing 15 changed files with 116 additions and 18 deletions.
diff --git a/apps/client-web/CHANGELOG.md b/apps/client-web/CHANGELOG.md
@@ -1,5 +1,14 @@
 # client-web
 
+## 0.0.7
+
+### Patch Changes
+
+- Updated dependencies [0cc537e]
+  - @parcnet-js/podspec@0.0.4
+  - @parcnet-js/client-rpc@0.0.5
+  - @parcnet-js/client-helpers@0.0.7
+
 ## 0.0.6
 
 ### Patch Changes

diff --git a/apps/client-web/package.json b/apps/client-web/package.json
@@ -1,7 +1,7 @@
 {
   "name": "client-web",
   "private": true,
-  "version": "0.0.6",
+  "version": "0.0.7",
   "type": "module",
   "scripts": {
     "dev": "vite",

diff --git a/examples/test-app/CHANGELOG.md b/examples/test-app/CHANGELOG.md
@@ -1,5 +1,15 @@
 # test-app
 
+## 1.0.9
+
+### Patch Changes
+
+- Updated dependencies [0cc537e]
+  - @parcnet-js/podspec@0.0.4
+  - @parcnet-js/app-connector@0.0.8
+  - @parcnet-js/client-rpc@0.0.5
+  - @parcnet-js/ticket-spec@0.0.3
+
 ## 1.0.8
 
 ### Patch Changes

diff --git a/examples/test-app/package.json b/examples/test-app/package.json
@@ -1,6 +1,6 @@
 {
   "name": "test-app",
-  "version": "1.0.8",
+  "version": "1.0.9",
   "private": true,
   "type": "module",
   "scripts": {

diff --git a/packages/app-connector/CHANGELOG.md b/packages/app-connector/CHANGELOG.md
@@ -1,5 +1,13 @@
 # @parcnet-js/app-connector
 
+## 0.0.8
+
+### Patch Changes
+
+- Updated dependencies [0cc537e]
+  - @parcnet-js/podspec@0.0.4
+  - @parcnet-js/client-rpc@0.0.5
+
 ## 0.0.7
 
 ### Patch Changes

diff --git a/packages/app-connector/package.json b/packages/app-connector/package.json
@@ -1,14 +1,17 @@
 {
   "name": "@parcnet-js/app-connector",
-  "version": "0.0.7",
+  "version": "0.0.8",
   "license": "GPL-3.0-or-later",
   "type": "module",
   "main": "dist/index.cjs",
   "module": "dist/index.js",
   "types": "src/index.ts",
   "exports": {
     ".": {
-      "import": { "types": "./src/index.ts", "import": "./dist/index.js" },
+      "import": {
+        "types": "./src/index.ts",
+        "import": "./dist/index.js"
+      },
       "require": {
         "types": "./src/index.ts",
         "require": "./dist/index.cjs"
@@ -45,7 +48,10 @@
     "types": "dist/index.d.ts",
     "exports": {
       ".": {
-        "import": { "types": "./dist/index.d.ts", "import": "./dist/index.js" },
+        "import": {
+          "types": "./dist/index.d.ts",
+          "import": "./dist/index.js"
+        },
         "require": {
           "types": "./dist/index.d.cts",
           "require": "./dist/index.cjs"

diff --git a/packages/client-helpers/CHANGELOG.md b/packages/client-helpers/CHANGELOG.md
@@ -1,5 +1,11 @@
 # @parcnet-js/client-helpers
 
+## 0.0.7
+
+### Patch Changes
+
+- @parcnet-js/client-rpc@0.0.5
+
 ## 0.0.6
 
 ### Patch Changes

diff --git a/packages/client-helpers/package.json b/packages/client-helpers/package.json
@@ -1,14 +1,17 @@
 {
   "name": "@parcnet-js/client-helpers",
-  "version": "0.0.6",
+  "version": "0.0.7",
   "license": "GPL-3.0-or-later",
   "type": "module",
   "main": "dist/index.js",
   "module": "dist/index.mjs",
   "types": "src/index.ts",
   "exports": {
     ".": {
-      "import": { "types": "./src/index.ts", "import": "./dist/index.js" },
+      "import": {
+        "types": "./src/index.ts",
+        "import": "./dist/index.js"
+      },
       "require": {
         "types": "./src/index.ts",
         "require": "./dist/index.cjs"
@@ -45,7 +48,10 @@
     "types": "./dist/index.d.ts",
     "exports": {
       ".": {
-        "import": { "types": "./dist/index.d.ts", "import": "./dist/index.js" },
+        "import": {
+          "types": "./dist/index.d.ts",
+          "import": "./dist/index.js"
+        },
         "require": {
           "types": "./dist/index.d.cts",
           "require": "./dist/index.cjs"

diff --git a/packages/client-rpc/CHANGELOG.md b/packages/client-rpc/CHANGELOG.md
@@ -1,5 +1,12 @@
 # @parcnet-js/client-rpc
 
+## 0.0.5
+
+### Patch Changes
+
+- Updated dependencies [0cc537e]
+  - @parcnet-js/podspec@0.0.4
+
 ## 0.0.4
 
 ### Patch Changes

diff --git a/packages/client-rpc/package.json b/packages/client-rpc/package.json
@@ -1,14 +1,17 @@
 {
   "name": "@parcnet-js/client-rpc",
   "type": "module",
-  "version": "0.0.4",
+  "version": "0.0.5",
   "license": "GPL-3.0-or-later",
   "main": "dist/index.js",
   "module": "dist/index.js",
   "types": "src/index.ts",
   "exports": {
     ".": {
-      "import": { "types": "./src/index.ts", "import": "./dist/index.js" },
+      "import": {
+        "types": "./src/index.ts",
+        "import": "./dist/index.js"
+      },
       "require": {
         "types": "./src/index.ts",
         "require": "./dist/index.cjs"
@@ -39,7 +42,10 @@
     "types": "dist/index.d.ts",
     "exports": {
       ".": {
-        "import": { "types": "./dist/index.d.ts", "import": "./dist/index.js" },
+        "import": {
+          "types": "./dist/index.d.ts",
+          "import": "./dist/index.js"
+        },
         "require": {
           "types": "./dist/index.d.cts",
           "require": "./dist/index.cjs"

diff --git a/packages/podspec/CHANGELOG.md b/packages/podspec/CHANGELOG.md
@@ -1,5 +1,11 @@
 # @parcnet-js/podspec
 
+## 0.0.4
+
+### Patch Changes
+
+- 0cc537e: Add entries to config if included in tuples
+
 ## 0.0.3
 
 ### Patch Changes

diff --git a/packages/podspec/package.json b/packages/podspec/package.json
@@ -1,14 +1,17 @@
 {
   "name": "@parcnet-js/podspec",
-  "version": "0.0.3",
+  "version": "0.0.4",
   "license": "GPL-3.0-or-later",
   "main": "dist/index.cjs",
   "module": "dist/index.js",
   "type": "module",
   "types": "src/index.ts",
   "exports": {
     ".": {
-      "import": { "types": "./src/index.ts", "import": "./dist/index.js" },
+      "import": {
+        "types": "./src/index.ts",
+        "import": "./dist/index.js"
+      },
       "require": {
         "types": "./src/index.ts",
         "require": "./dist/index.cjs"
@@ -53,7 +56,10 @@
     "types": "dist/index.d.ts",
     "exports": {
       ".": {
-        "import": { "types": "./dist/index.d.ts", "import": "./dist/index.js" },
+        "import": {
+          "types": "./dist/index.d.ts",
+          "import": "./dist/index.js"
+        },
         "require": {
           "types": "./dist/index.d.cts",
           "require": "./dist/index.cjs"

diff --git a/packages/podspec/src/gpc/proof_request.ts b/packages/podspec/src/gpc/proof_request.ts
@@ -181,7 +181,6 @@ function makeProofRequest<P extends NamedPODs>(
           entrySchema.isNotMemberOf;
       }
     }
-    pods[podName] = podConfig;
 
     for (const entriesTupleSchema of podSchema.tuples ?? []) {
       const tupleName = `tuple_${podName}_entries_${entriesTupleSchema.entries.join(
@@ -206,7 +205,22 @@ function makeProofRequest<P extends NamedPODs>(
         membershipLists[`blocklist_${tupleName}`] =
           entriesTupleSchema.isNotMemberOf;
       }
+      // Tuples may contain entries which are not revealed or subject to any
+      // membership rules or constraints, in which case we need to add them to
+      // the proof config so that they are included.
+      for (const entry of entriesTupleSchema.entries) {
+        if (entry === "$signerPublicKey") {
+          continue;
+        }
+        if (!(entry in podConfig.entries)) {
+          podConfig.entries[entry] = {
+            isRevealed: false
+          };
+        }
+      }
     }
+
+    pods[podName] = podConfig;
   }
 
   return {

diff --git a/packages/ticket-spec/CHANGELOG.md b/packages/ticket-spec/CHANGELOG.md
@@ -1,5 +1,13 @@
 # @parcnet-js/ticket-utils
 
+## 0.0.3
+
+### Patch Changes
+
+- Updated dependencies [0cc537e]
+  - @parcnet-js/podspec@0.0.4
+  - @parcnet-js/client-rpc@0.0.5
+
 ## 0.0.2
 
 ### Patch Changes

diff --git a/packages/ticket-spec/package.json b/packages/ticket-spec/package.json
@@ -1,14 +1,17 @@
 {
   "name": "@parcnet-js/ticket-spec",
-  "version": "0.0.2",
+  "version": "0.0.3",
   "license": "GPL-3.0-or-later",
   "type": "module",
   "main": "dist/index.js",
   "module": "dist/index.mjs",
   "types": "src/index.ts",
   "exports": {
     ".": {
-      "import": { "types": "./src/index.ts", "import": "./dist/index.js" },
+      "import": {
+        "types": "./src/index.ts",
+        "import": "./dist/index.js"
+      },
       "require": {
         "types": "./src/index.ts",
         "require": "./dist/index.cjs"
@@ -42,7 +45,10 @@
     "types": "./dist/index.d.ts",
     "exports": {
       ".": {
-        "import": { "types": "./dist/index.d.ts", "import": "./dist/index.js" },
+        "import": {
+          "types": "./dist/index.d.ts",
+          "import": "./dist/index.js"
+        },
         "require": {
           "types": "./dist/index.d.cts",
           "require": "./dist/index.cjs"