diff --git a/packages/types/package.json b/packages/types/package.json
index de31200..4ec4f78 100644
--- a/packages/types/package.json
+++ b/packages/types/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@libsem/types",
-  "version": "1.0.3",
+  "version": "1.0.4",
   "description": "Common type definitions for Semaphore modules.",
   "main": "src/index.ts",
   "types": "dist/index.d.ts",
diff --git a/packages/types/src/index.ts b/packages/types/src/index.ts
index 2c299b3..38d5327 100644
--- a/packages/types/src/index.ts
+++ b/packages/types/src/index.ts
@@ -3,8 +3,18 @@ export interface Identity {
   identityTrapdoor: bigint
 }
 
+export type Proof = {
+  proof: {
+    pi_a: Array<string>,
+    pi_b: [ [Array<string>], [Array<string>], [Array<string>] ],
+    pi_c: Array<string>
+    protocol: string,
+    curve: string
+  },
+}
+
 export interface IProof {
-  proof: any
+  proof: Proof
   publicSignals: Array<bigint | string>
 }