test: add mock test for falconVerify

Author: boblat

docs/coverage.md

@@ -151,3 +151,4 @@ See which `algorand-typescript` stubs are implemented by the `algorand-typescrip
 | op.sqrt                      | Native              |
 | op.substring                 | Native              |
 | op.vrfVerify                 | Mockable            |
+| op.falconVerify              | Mockable            |

src/impl/crypto.ts

@@ -147,6 +147,11 @@ export const mimc = (_c: MimcConfigurations, _a: StubBytesCompat): bytes => {
   throw new NotImplementedError('mimc')
 }
 
+/** @internal */
+export const falconVerify = (_a: StubBytesCompat, _b: StubBytesCompat, _c: StubBytesCompat): boolean => {
+  throw new NotImplementedError('falconVerify')
+}
+
 const curveMap = {
   [Ecdsa.Secp256k1]: 'secp256k1',
   [Ecdsa.Secp256r1]: 'p256',

src/internal/op.ts

@@ -24,6 +24,7 @@ export {
   ed25519verify,
   ed25519verifyBare,
   EllipticCurve,
+  falconVerify,
   keccak256,
   mimc,
   sha256,

tests/crypto-op-codes.algo.spec.ts

@@ -30,6 +30,7 @@ vi.mock('../src/impl/crypto', async (importOriginal) => {
     ...mod,
     vrfVerify: vi.fn(mod.vrfVerify),
     mimc: vi.fn(mod.mimc),
+    falconVerify: vi.fn(mod.falconVerify),
   }
 })
 
@@ -362,6 +363,27 @@ describe('crypto op codes', async () => {
       )
     })
   })
+
+  describe('falconVerify', async () => {
+    const a = Bytes.fromHex('528b9e23d93d0e020a119d7ba213f6beb1c1f3495a217166ecd20f5a70e7c2d7')
+    const b = op.bzero(1232).toFixed({ length: 1232 })
+
+    const c = op.bzero(1793).toFixed({ length: 1793 })
+
+    test('should throw not available error', async () => {
+      const mockedFalconVerify = op.falconVerify as Mock<typeof op.falconVerify>
+      // restore to original stub implemention which should throw not available error
+      mockedFalconVerify.mockRestore()
+      expect(() => op.falconVerify(a, b, c)).toThrow('falconVerify is not available in test context')
+    })
+
+    test('should return mocked result', () => {
+      const mockedFalconVerify = op.falconVerify as Mock<typeof op.falconVerify>
+      mockedFalconVerify.mockReturnValue(true)
+      const result = op.falconVerify(a, b, c)
+      expect(result).toBe(true)
+    })
+  })
 })
 
 const generateEcdsaTestData = (v: Ecdsa) => {