compress user data (#39)

* compress user data

* 1. rename `verifyUserData` to `calculatePublicInput`
2. use typescript in hardhat
3. use bincoder lib to encode userData

* add the demo of encode sha2's user data

hardhat/.env.example

@@ -1,2 +1,2 @@
-PRIVATE_KEY=8da4ef21b864d2cc526dbdb2a120bd2874c36c9d0a1fb7f8c63d7f7a8b41de8f
+PRIVATE_KEY=
 RPC_URL=https://ethereum-sepolia-rpc.publicnode.com

hardhat/README.md

@@ -9,5 +9,5 @@ npx hardhat help
 npx hardhat test
 REPORT_GAS=true npx hardhat test
 npx hardhat node
-npx hardhat ignition deploy ./ignition/modules/Verifier.js
+npx hardhat ignition deploy ./ignition/modules/Verifier.ts
 ```

hardhat/contracts/verifier.sol

@@ -218,15 +218,13 @@ contract Verifier {
 
     }
 
-    function verifyUserData(
-        uint8[32] memory _userData,
+    function calculatePublicInput(
+        bytes memory _userData,
         uint32[8] memory _memRootBefore,
         uint32[8] memory _memRootAfter
     ) public pure returns (uint256) {
-        uint256 userData = 0;
-        for (uint256 i = 0; i < 32; i++) {
-            userData |= uint256(_userData[i]) << (8 * (31 - i));
-        }
+        bytes32 userData = sha256(_userData);
+
         uint256 memRootBefore = 0;
         for (uint256 i = 0; i < 8; i++) {
             memRootBefore |= uint256(_memRootBefore[i]) << (32 * (7 - i));

hardhat/hardhat.config.js → hardhat/hardhat.config.ts

@@ -1,10 +1,10 @@
-require("dotenv").config({ path: __dirname + "/.env" });
-require("@nomicfoundation/hardhat-toolbox");
+import { HardhatUserConfig } from "hardhat/config";
+import "@nomicfoundation/hardhat-toolbox";
+import "dotenv/config";
 
-/** @type import('hardhat/config').HardhatUserConfig */
-module.exports = {
+const config: HardhatUserConfig = {
   solidity: "0.8.24",
-  defaultNetwork: "localhost",
+  defaultNetwork: "hardhat",
   networks: {
     hardhat: {},
     // example
@@ -16,3 +16,5 @@ module.exports = {
     },
   },
 };
+
+export default config;

hardhat/ignition/modules/Verifier.ts

@@ -0,0 +1,11 @@
+// This setup uses Hardhat Ignition to manage smart contract deployments.
+// Learn more about it at https://hardhat.org/ignition
+
+import { buildModule } from "@nomicfoundation/hardhat-ignition/modules";
+
+const VerifierModule = buildModule("VerifierModule", (m) => {
+  const verifier =  m.contract("Verifier");
+  return { verifier };
+});
+
+export default VerifierModule;