Skip to content

Commit 51fbee9

Browse files
committed
Remove test for invalid proof data in recursive verification tests
1 parent 58a6386 commit 51fbee9

File tree

1 file changed

+0
-15
lines changed

1 file changed

+0
-15
lines changed

recursive_verification/tests/recursive_verification.test.ts

Lines changed: 0 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -131,19 +131,4 @@ describe("Recursive Verification", () => {
131131
console.log(`User1 counter value: ${user1Counter}`)
132132
}, TEST_TIMEOUT)
133133

134-
test("should fail with invalid proof data", async () => {
135-
// Create invalid proof data by modifying one element
136-
const invalidProof = [...data.proofAsFields]
137-
invalidProof[0] = "0x1234567890abcdef" // Invalid proof element
138-
139-
// This should throw an error when trying to verify the invalid proof
140-
await expect(async () => {
141-
await valueNotEqualContract.methods.increment(
142-
owner.getAddress(),
143-
data.vkAsFields as unknown as FieldLike[],
144-
invalidProof as unknown as FieldLike[],
145-
data.publicInputs as unknown as FieldLike[]
146-
).send({ from: owner.getAddress() }).wait()
147-
}).toThrow()
148-
}, TEST_TIMEOUT)
149134
})

0 commit comments

Comments
 (0)