fix solidity proof verification

Author: olehmisar

README.md

@@ -117,7 +117,8 @@ it("proves and verifies on-chain", async () => {
   expect(BigInt(publicInputs[0])).to.eq(BigInt(input.y));
 
   // Verify the proof on-chain
-  const result = await contract.verify(proof, input.y);
+  // slice the proof to remove length information
+  const result = await contract.verify(proof.slice(4), input.y);
   expect(result).to.eq(true);
 
   // You can also verify in JavaScript.

test/noir.test.ts

@@ -65,7 +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, [
+      const result = await contract.verify(proof.slice(4), [
         this.hre.ethers.toBeHex(input.y, 32),
       ]);
       expect(result).to.eq(true);