+
+
+
+
+
+
+
+ {verifying ? (
+
+
+
+ ) : (
+
+ )}
+
+ {proofValidity != null ? (
+
+ {proofValidity ? `Valid proof ✅` : `Invalid proof ❌`}
+
+ ) : null}
+
+
+ );
+};
+
+export default Verify;
diff --git a/zkrsa/frontend/src/types.ts b/zkrsa/frontend/src/types.ts
new file mode 100644
index 000000000..f27afd5c9
--- /dev/null
+++ b/zkrsa/frontend/src/types.ts
@@ -0,0 +1,94 @@
+import { Dispatch, SetStateAction } from 'react';
+
+export type SetProof = Dispatch