use better contract to verify

Author: olehmisar

test/fixture-projects/hardhat-project/contracts/MyContract.sol

@@ -4,9 +4,15 @@ pragma solidity ^0.8.27;
 import {HonkVerifier} from "../noir2/target/my_circuit.sol";
 
 contract MyContract {
-  HonkVerifier public verifier;
+    HonkVerifier public verifier = new HonkVerifier();
 
-  constructor(HonkVerifier _verifier) {
-    verifier = _verifier;
-  }
+    function verify(
+        bytes calldata proof,
+        uint256 y
+    ) external view returns (bool) {
+        bytes32[] memory publicInputs = new bytes32[](1);
+        publicInputs[0] = bytes32(y);
+        bool result = verifier.verify(proof, publicInputs);
+        return result;
+    }
 }

test/noir.test.ts

@@ -50,7 +50,7 @@ describe("Integration tests examples", function () {
 
       // Deploy a verifier contract
       const contractFactory =
-        await this.hre.ethers.getContractFactory("HonkVerifier");
+        await this.hre.ethers.getContractFactory("MyContract");
       const contract = await contractFactory.deploy();
       await contract.waitForDeployment();
 
@@ -65,9 +65,7 @@ describe("Integration tests examples", function () {
       expect(BigInt(publicInputs[0])).to.eq(BigInt(input.y));
 
       // Verify the proof on-chain
-      const result = await contract.verify(proof.slice(4), [
-        this.hre.ethers.toBeHex(input.y, 32),
-      ]);
+      const result = await contract.verify(proof.slice(4), input.y);
       expect(result).to.eq(true);
 
       // You can also verify in JavaScript.