zkVerify integration example for on-chain zk proof verification (#11)

## zkVerify
[zkVerify](https://zkverify.io/) is a modular blockchain focused on
proof verification. It's specifically enables blockchain networks to
offload the computationally heavy and expensive process of zk
(zero-knowledge) proof verification, drastically reducing cost. It's
support multiple verification schemes, including Groth16.

## Considerations
Assessed that zkVerify can reduce proof verification costs by >90%
compared to native verification on Ethereum, at Galxe's scale, this
translates to a significant costs dropping - a transformation that could
generate millions in savings annually.

Beyond pure cost reduction, this integration opens new possibilities for
Web3 identity management. With around 1 million users actively using
Galxe Passport, cheaper verification enables more frequent credential
checks, enhanced privacy features, and broader accessibility to
trustless credential systems for smaller projects.

On a closing thought, we want to remark how specialized verification
layers can solve real problems in large-scale identity systems, with the
zkVerify-Galxe integration setting a new standard for efficient,
accessible credential verification in Web3.

---------

Co-authored-by: feka7 <feka7@hotmail.it>

Author: AndreaRettaroli

README.md

@@ -58,4 +58,4 @@ pnpm test
 
 ### NOTICE
 
-If you saw build error when building a package that is depending on local packages, try `pnpm build` in the root directory first. It is because that dependencies were not built.
+If you saw build error when building a package that is depending on local packages, try `pnpm build` in the root directory first. It is because that dependencies were not built.

apps/tutorial/.env.example

@@ -1 +1,2 @@
 NEBRA_SIGNER_PK=""
+ZKVERIFY_SIGNER_PK=""

apps/tutorial/README.md

@@ -30,3 +30,68 @@ Create `.env` file using `.env.example` as a template. Update `NEBRA_SIGNER_PK`
 ```bash
 pnpm run useNebraUpa
 ```
+# useZkVerify
+
+## Overview
+A demonstration project for integrating zkVerify with Galxe Identity Protocol. This integration aims to significantly reduce verification costs while maintaining security.
+
+### Prerequisites
+- Node.js (Latest LTS version)
+- pnpm
+- Account with testnet ETH
+
+## Workflow Overview
+The verification process consists of three main steps:
+
+1. **Credential Issuance**
+   - Issuer creates and issues credentials to the user
+   - Credentials contain verifiable claims about the user
+
+2. **Proof Generation**
+   - User generates zero-knowledge proofs
+   - Proofs demonstrate specific statements about their credentials
+   - Preserves privacy while proving credential validity
+
+3. **Verification via zkVerify**
+   - Proofs are submitted to zkVerify for verification
+   - Can be done through direct verification or registered key method
+   - Ensures efficient and cost-effective verification
+
+### Verification Methods
+1. **Registered Key Verification**
+   - Transaction Hash: [0x11c2ddf64b5ddfcb1b1404d655ac41f23190f579f4bf2d79d612375df7a1fbf6](https://zkverify-explorer.zeeve.net/extrinsics/0x11c2ddf64b5ddfcb1b1404d655ac41f23190f579f4bf2d79d612375df7a1fbf6)
+
+2. **Direct Verification**
+   - Transaction Hash: [0x7d7a24d8c0c47fcc03f24ec54fa4575f6806bc7f9ef202eff7172496a14c27a2](https://zkverify-explorer.zeeve.net/extrinsics/0x7d7a24d8c0c47fcc03f24ec54fa4575f6806bc7f9ef202eff7172496a14c27a2)
+
+
+### Configuration
+Add to `.env`:
+```
+ZKVERIFY_SIGNER_PK=your_private_key_here
+```
+### run
+
+```bash
+pnpm run useZkVerify
+```
+
+## Note
+
+### Cost Reduction
+- >90% reduction in proof verification costs compared to native Ethereum verification
+- Significant savings at Galxe's scale (31M+ active users)
+
+### Scalability
+- Supports Galxe's 350k+ credentials
+- Enables more frequent credential checks
+- Enhanced privacy features
+- Improved accessibility for smaller projects
+
+### Technical Advantages
+- Supports multiple verification schemes (Groth16, Fflonk, Risc0)
+- Modular blockchain focused on proof verification
+- Efficient on-chain verification process
+
+## Additional Resources
+- [zkVerify Documentation](https://zkverify.io/)

apps/tutorial/package.json

@@ -12,6 +12,7 @@
     "build": "echo NOTHING",
     "test": "echo TODO",
     "tutorial1": "ts-node -T src/tutorial1.ts",
+    "useZkVerify": "ts-node -T src/useZkVerify.ts",
     "useNebraUpa": "ts-node -T src/useNebraUpa.ts",
     "prettier:write": "prettier --write ./src",
     "lint": "eslint --ignore-path ./.eslintignore --ext .js,.ts ."
@@ -27,7 +28,8 @@
     "node-fetch": "^3.3.2",
     "tslog": "^4.9.2",
     "typescript": "^5.4.5",
-    "yargs": "^17.7.2"
+    "yargs": "^17.7.2",
+    "zkverifyjs": "^0.13.0"
   },
   "devDependencies": {
     "rimraf": "^5.0.6",