Bump dependencies on POD and GPC

proofcarryingdata · Oct 31, 2024 · e791dce · e791dce
1 parent f6aa12d
commit e791dce
Show file tree

Hide file tree

Showing 8 changed files with 151 additions and 93 deletions.
diff --git a/apps/client-web/package.json b/apps/client-web/package.json
@@ -13,11 +13,11 @@
     "@parcnet-js/client-helpers": "workspace:*",
     "@parcnet-js/client-rpc": "workspace:*",
     "@parcnet-js/podspec": "workspace:*",
-    "@pcd/gpc": "^0.3.0",
-    "@pcd/pod": "^0.4.0",
-    "@pcd/proto-pod-gpc-artifacts": "^0.9.0",
+    "@pcd/gpc": "^0.4.0",
+    "@pcd/pod": "^0.5.0",
+    "@pcd/proto-pod-gpc-artifacts": "^0.13.0",
     "@radix-ui/react-dialog": "^1.1.1",
-    "@semaphore-protocol/core": "^4.4.1",
+    "@semaphore-protocol/core": "^4.5.0",
     "@semaphore-protocol/identity": "3.15.2",
     "class-variance-authority": "^0.7.0",
     "clsx": "^2.1.1",

diff --git a/apps/client-web/src/App.tsx b/apps/client-web/src/App.tsx
@@ -2,7 +2,7 @@ import { listen } from "@parcnet-js/client-helpers/connection/iframe";
 import type { Zapp } from "@parcnet-js/client-rpc";
 import type { EntriesSchema, ProofConfigPODSchema } from "@parcnet-js/podspec";
 import { proofRequest } from "@parcnet-js/podspec";
-import { gpcProve } from "@pcd/gpc";
+import { type GPCProofInputs, gpcProve } from "@pcd/gpc";
 import type { POD } from "@pcd/pod";
 import { POD_INT_MAX, POD_INT_MIN } from "@pcd/pod";
 import type { Dispatch, ReactNode } from "react";
@@ -130,9 +130,10 @@ function ProvePODInfo({
     })
     .filter(
       ([_, entry]) =>
-        !!entry.isMemberOf ||
-        !!entry.isNotMemberOf ||
-        !!(entry.type === "int" && entry.inRange)
+        entry.type !== "null" &&
+        (!!entry.isMemberOf ||
+          !!entry.isNotMemberOf ||
+          !!(entry.type === "int" && entry.inRange))
     );
 
   return (
@@ -155,7 +156,7 @@ function ProvePODInfo({
                 {schema.pod.meta?.labelEntry
                   ? pod.content
                       .asEntries()
-                      [schema.pod.meta.labelEntry].value.toString()
+                      [schema.pod.meta.labelEntry].value?.toString()
                   : pod.signature.substring(0, 16)}
               </option>
             );
@@ -171,7 +172,7 @@ function ProvePODInfo({
             <Fragment key={`${name}-${entryName}`}>
               <div>{entryName}</div>
               <div>
-                {selectedPODEntries?.[entryName].value.toString() ?? "-"}
+                {selectedPODEntries?.[entryName].value?.toString() ?? "-"}
               </div>
             </Fragment>
           );
@@ -183,7 +184,7 @@ function ProvePODInfo({
           {entriesWithConstraints.map(([entryName, entry]) => {
             return (
               <div key={`${name}-${entryName}-constraints`} className="my-1">
-                {entry.isMemberOf && (
+                {entry.type !== "null" && entry.isMemberOf && (
                   <div>
                     <span className="font-semibold">{entryName}</span> is member
                     of list:{" "}
@@ -196,7 +197,7 @@ function ProvePODInfo({
                     </Reveal>
                   </div>
                 )}
-                {entry.isNotMemberOf && (
+                {entry.type !== "null" && entry.isNotMemberOf && (
                   <div>
                     <span className="font-semibold">{entryName}</span> is not
                     member of list:{" "}
@@ -294,7 +295,7 @@ export function Prove({
               const prs = proofRequest(
                 proveOperation.proofRequest
               ).getProofRequest();
-              const inputs = {
+              const inputs: GPCProofInputs = {
                 pods: proveOperation.selectedPods as Record<string, POD>,
                 membershipLists: prs.membershipLists,
                 watermark: prs.watermark,
@@ -303,7 +304,6 @@ export function Prove({
                   externalNullifier: prs.externalNullifier
                 }
               };
-              console.log(inputs);
               gpcProve(
                 {
                   ...prs.proofConfig,

diff --git a/packages/app-connector/package.json b/packages/app-connector/package.json
@@ -38,8 +38,8 @@
   "dependencies": {
     "@parcnet-js/client-rpc": "workspace:*",
     "@parcnet-js/podspec": "workspace:*",
-    "@pcd/gpc": "^0.3.0",
-    "@pcd/pod": "^0.4.0",
+    "@pcd/gpc": "^0.4.0",
+    "@pcd/pod": "^0.5.0",
     "nanoevents": "^9.0.0",
     "valibot": "^0.42.0"
   },

diff --git a/packages/client-rpc/package.json b/packages/client-rpc/package.json
@@ -27,8 +27,8 @@
   "files": ["dist", "LICENSE"],
   "dependencies": {
     "@parcnet-js/podspec": "workspace:*",
-    "@pcd/gpc": "^0.3.0",
-    "@pcd/pod": "^0.4.0",
+    "@pcd/gpc": "^0.4.0",
+    "@pcd/pod": "^0.5.0",
     "valibot": "^0.42.0"
   },
   "devDependencies": {

diff --git a/packages/client-rpc/src/schema_elements.ts b/packages/client-rpc/src/schema_elements.ts
@@ -73,6 +73,30 @@ export const DefinedEntrySchema = v.variant("type", [
     isNotMemberOf: v.optional(v.array(PODValueSchema)),
     isRevealed: v.optional(v.boolean()),
     equalsEntry: v.optional(v.string())
+  }),
+  v.object({
+    type: v.literal("null")
+  }),
+  v.object({
+    type: v.literal("bytes"),
+    isMemberOf: v.optional(v.array(PODValueSchema)),
+    isNotMemberOf: v.optional(v.array(PODValueSchema))
+  }),
+  v.object({
+    type: v.literal("date"),
+    isMemberOf: v.optional(v.array(PODValueSchema)),
+    isNotMemberOf: v.optional(v.array(PODValueSchema)),
+    inRange: v.optional(
+      v.object({
+        min: v.bigint(),
+        max: v.bigint()
+      })
+    )
+  }),
+  v.object({
+    type: v.literal("boolean"),
+    isMemberOf: v.optional(v.array(PODValueSchema)),
+    isNotMemberOf: v.optional(v.array(PODValueSchema))
   })
 ]);
 

diff --git a/packages/podspec/package.json b/packages/podspec/package.json
@@ -36,8 +36,8 @@
   },
   "files": ["dist", "./README.md", "./LICENSE"],
   "dependencies": {
-    "@pcd/gpc": "^0.3.0",
-    "@pcd/pod": "^0.4.0"
+    "@pcd/gpc": "^0.4.0",
+    "@pcd/pod": "^0.5.0"
   },
   "devDependencies": {
     "@parcnet-js/eslint-config": "workspace:*",

diff --git a/packages/ticket-spec/package.json b/packages/ticket-spec/package.json
@@ -32,9 +32,9 @@
   "devDependencies": {
     "@parcnet-js/eslint-config": "workspace:*",
     "@parcnet-js/typescript-config": "workspace:*",
-    "@pcd/gpc": "^0.3.0",
-    "@pcd/pod": "^0.4.0",
-    "@pcd/proto-pod-gpc-artifacts": "^0.9.0",
+    "@pcd/gpc": "^0.4.0",
+    "@pcd/pod": "^0.5.0",
+    "@pcd/proto-pod-gpc-artifacts": "^0.13.0",
     "@semaphore-protocol/core": "^4.0.3",
     "@semaphore-protocol/identity": "^3.15.2",
     "@types/uuid": "^9.0.0",