test on-chain verification

Author: klizz111

.env.example

@@ -0,0 +1,7 @@
+export RPC_URL=https://*****/*************8b549a8a377a52d0f
+export CHAIN_ID=11155111
+export PRIVATE_KEY=****************
+export VERIFIER_ADDRESS=0xYourVerifierAddress
+
+export PARAMS_JSON='{"L":2,"H":[{"x":1,"y":2},{"x":3,"y":4},{"x":5,"y":6}]}'
+export PK_JSON='{"w":{"x":[1,2],"y":[3,4]}}'

.gitignore

@@ -14,4 +14,8 @@ docs/
 .env
 
 # vscode
-.vscode/
+.vscode/
+
+tmp
+
+broadcast/

README.md

@@ -2,6 +2,25 @@
 
 bbs on-chain verifier contracts
 
+## How to use
+
+1. Edit `.env` 
+2. Run command below:
+```bash
+forge script script/DeployVerifier.s.sol:DeployVerifier \
+  --rpc-url "$RPC_URL" \
+  --private-key "$PRIVATE_KEY" \
+  --broadcast
+```
+3. To verify, use the command below:
+```bash
+cast call $VERIFIER_ADDRESS \
+  "verify(((uint256,uint256),uint256,uint256),uint256[])(bool)" \
+  "((Ax,Ay),e,s)" \
+  "[M1,M2,M3]" \
+  --rpc-url $RPC_URL
+```
+
 ## Thanks
 
-The precompile pairing refer to [zkREPL](https://zkrepl.dev/)
++ The precompile pairing references [zkREPL](https://zkrepl.dev/)

script/DeployVerifier.s.sol

@@ -0,0 +1,39 @@
+// SPDX-License-Identifier: UNLICENSED
+pragma solidity ^0.8.20;
+
+import "forge-std/Script.sol";
+import "../src/Verifier.sol";
+
+contract DeployVerifier is Script {
+    function run() external {
+        // Read data
+        string memory paramsJson = vm.envString("PARAMS_JSON");
+        string memory pkJson = vm.envString("PK_JSON");
+
+        // Deserialize
+        uint256 L = vm.parseJsonUint(paramsJson, ".L");
+        bytes memory hRaw = vm.parseJson(paramsJson, ".H");
+        BN254.G1Point[] memory H = abi.decode(hRaw, (BN254.G1Point[]));
+
+        Verifier.Parameters memory p;
+        p.L = L;
+        p.H = H;
+
+        // Deserialize public key
+        BN254.G2Point memory w;
+        w.x[0] = vm.parseJsonUint(pkJson, ".w.x[0]");
+        w.x[1] = vm.parseJsonUint(pkJson, ".w.x[1]");
+        w.y[0] = vm.parseJsonUint(pkJson, ".w.y[0]");
+        w.y[1] = vm.parseJsonUint(pkJson, ".w.y[1]");
+
+        Verifier.PublicKey memory pk;
+        pk.w = w;
+
+        vm.startBroadcast();
+        Verifier v = new Verifier(p, pk);
+        vm.stopBroadcast();
+
+        console2.log("Verifier deployed at:", address(v));
+        console2.log("If you are using sepolia, see: https://sepolia.etherscan.io/address/", address(v));
+    }
+}

src/Verifier.sol

@@ -6,8 +6,21 @@ import {BN254} from "./lib.sol";
 contract Verifier {
     using BN254 for BN254.G1Point;
 
-    BN254.G1Point internal g1;
-    BN254.G2Point internal g2;
+    BN254.G1Point internal g1 = BN254.G1Point({
+        x: 1,
+        y: 2
+    });
+
+    BN254.G2Point internal g2 = BN254.G2Point({
+        x: [
+            uint256(10857046999023057135944570762232829481370756359578518086990519993285655852781),
+            uint256(11559732032986387107991004021392285783925812861821192530917403151452391805634)
+        ],
+        y: [
+            uint256(8495653923123431417604973247489272438418190587263600148770280649306958101930),
+            uint256(4082367875863433681332203403145435568316851327593401208105741076214120093531)
+        ]
+    });
 
     uint256 public constant FR_MODULUS = 21888242871839275222246405745257275088548364400416034343698204186575808495617;
 
@@ -50,9 +63,6 @@ contract Verifier {
 
         owner = msg.sender;
 
-        g1 = BN254.g1Generator();
-        g2 = BN254.g2Generator();
-
         _setParameters(_params);
         _setPublicKey(_pk);
     }
@@ -78,11 +88,12 @@ contract Verifier {
     }
 
     /// @notice allows updating generators
-    function updateGenerators(BN254.G1Point memory _g1, BN254.G2Point memory _g2) external onlyOwner {
+    // uncomment these to activate
+/*     function updateGenerators(BN254.G1Point memory _g1, BN254.G2Point memory _g2) external onlyOwner {
         g1 = _g1;
         g2 = _g2;
         emit GeneratorsUpdated();
-    }
+    } */
 
     function _setPublicKey(PublicKey memory _pk) internal {
         pk = _pk;
@@ -108,9 +119,9 @@ contract Verifier {
         return pk;
     }
 
-    function getGenerators() external view returns (BN254.G1Point memory, BN254.G2Point memory) {
+/*     function getGenerators() external view returns (BN254.G1Point memory, BN254.G2Point memory) {
         return (g1, g2);
-    }
+    } */
 
     function getParametersMeta() external view returns (uint256 L, uint256 hLen) {
         return (params.L, params.H.length);