ox 1.1.0 → 1.2.0

package/src/wasm/_test/Hash.test.ts

@@ -1,3 +1,4 @@
+import { blake3 } from '@noble/hashes/blake3.js'
 import { hmac } from '@noble/hashes/hmac.js'
 import { ripemd160 } from '@noble/hashes/legacy.js'
 import { sha256 } from '@noble/hashes/sha2.js'
@@ -5,25 +6,23 @@ import { keccak_256 } from '@noble/hashes/sha3.js'
 import { Bytes, Engine, Hash } from 'ox'
 import { Hash as WasmHash } from 'ox/wasm'
 import { beforeAll, describe, expect, test } from 'vp/test'
+import { wasmBase64 as blake3WasmBase64 } from '../internal/blake3.wasm.js'
+import * as blake3_internal from '../internal/blake3.js'
 import { hmacSha256ScratchSize, wasmBase64 } from '../internal/hashes.wasm.js'
 import * as hash from '../internal/hash.js'
 import * as internal from '../internal/instantiate.js'
 
-let engine: WasmHash.create.ReturnType
+let engine: WasmHash.engine.ReturnType
 
 beforeAll(async () => {
-  engine = await WasmHash.create()
+  engine = await WasmHash.engine()
 })
 
-describe('create', () => {
+describe('engine', () => {
   test('default', async () => {
-    expect(Object.keys(await WasmHash.create())).toMatchInlineSnapshot(`
-      [
-        "Hash",
-      ]
-    `)
-    expect(Object.keys((await WasmHash.create()).Hash)).toMatchInlineSnapshot(`
+    expect(Object.keys(await WasmHash.engine())).toMatchInlineSnapshot(`
       [
+        "blake3",
         "hmacSha256",
         "keccak256",
         "ripemd160",
@@ -33,28 +32,26 @@ describe('create', () => {
   })
 
   test('behavior: hands every caller its own engine', async () => {
-    const [a, b] = await Promise.all([WasmHash.create(), WasmHash.create()])
+    const [a, b] = await Promise.all([WasmHash.engine(), WasmHash.engine()])
 
-    // Deliberately not the same object. A shared slot lets one caller's
-    // customisation for composition leak into what a later `create` -- or
-    // `Engine.load` -- installs.
+    // Deliberately not the same object. Sharing the slot object would let one
+    // caller's customisation leak into a later `engine` or `Engine.install`.
     expect(a).not.toBe(b)
-    expect(a.Hash).not.toBe(b.Hash)
 
-    a.Hash.keccak256 = () => new Uint8Array(32).fill(9)
-    const c = await WasmHash.create()
-    expect(c.Hash.keccak256(Bytes.from('0xdeadbeef'))).toEqual(
-      b.Hash.keccak256(Bytes.from('0xdeadbeef')),
+    a.keccak256 = () => new Uint8Array(32).fill(9)
+    const c = await WasmHash.engine()
+    expect(c.keccak256(Bytes.from('0xdeadbeef'))).toEqual(
+      b.keccak256(Bytes.from('0xdeadbeef')),
     )
   })
 })
 
 // Sizes chosen around the block boundaries where padding bugs live: keccak256's
 // rate is 136 bytes, sha256 and ripemd160 use 64-byte blocks and need a second
-// block once the remainder reaches 56.
+// block once the remainder reaches 56, and BLAKE3 uses 1024-byte chunks.
 const sizes = [
   0, 1, 2, 31, 32, 55, 56, 63, 64, 65, 71, 72, 111, 135, 136, 137, 199, 200,
-  271, 272, 1000,
+  271, 272, 1000, 1023, 1024, 1025, 2048, 2049,
 ]
 
 function input(size: number) {
@@ -62,16 +59,20 @@ function input(size: number) {
 }
 
 describe('Hash', () => {
+  test.each(sizes)('blake3 matches the default at %i bytes', (size) => {
+    expect(engine.blake3(input(size))).toEqual(blake3(input(size)))
+  })
+
   test.each(sizes)('keccak256 matches the default at %i bytes', (size) => {
-    expect(engine.Hash.keccak256(input(size))).toEqual(keccak_256(input(size)))
+    expect(engine.keccak256(input(size))).toEqual(keccak_256(input(size)))
   })
 
   test.each(sizes)('sha256 matches the default at %i bytes', (size) => {
-    expect(engine.Hash.sha256(input(size))).toEqual(sha256(input(size)))
+    expect(engine.sha256(input(size))).toEqual(sha256(input(size)))
   })
 
   test.each(sizes)('ripemd160 matches the default at %i bytes', (size) => {
-    expect(engine.Hash.ripemd160(input(size))).toEqual(ripemd160(input(size)))
+    expect(engine.ripemd160(input(size))).toEqual(ripemd160(input(size)))
   })
 
   test.each([0, 1, 32, 63, 64, 65, 200])(
@@ -79,33 +80,117 @@ describe('Hash', () => {
     (size) => {
       const key = new Uint8Array(size).fill(0xa5)
       const message = input(100)
-      expect(engine.Hash.hmacSha256(key, message)).toEqual(
+      expect(engine.hmacSha256(key, message)).toEqual(
         hmac(sha256, key, message),
       )
     },
   )
 
   test('behavior: known vectors', () => {
-    expect(Bytes.toHex(engine.Hash.keccak256(new Uint8Array(0)))).toBe(
+    expect(Bytes.toHex(engine.blake3(new Uint8Array(0)))).toBe(
+      '0xaf1349b9f5f9a1a6a0404dea36dcc9499bcb25c9adc112b7cc9a93cae41f3262',
+    )
+    expect(Bytes.toHex(engine.keccak256(new Uint8Array(0)))).toBe(
       '0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470',
     )
-    expect(Bytes.toHex(engine.Hash.sha256(new Uint8Array(0)))).toBe(
+    expect(Bytes.toHex(engine.sha256(new Uint8Array(0)))).toBe(
       '0xe3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855',
     )
-    expect(Bytes.toHex(engine.Hash.ripemd160(new Uint8Array(0)))).toBe(
+    expect(Bytes.toHex(engine.ripemd160(new Uint8Array(0)))).toBe(
       '0x9c1185a5c5e9fc54612808977ee8f548b2258d31',
     )
   })
 
   test('behavior: grows memory past 64 MiB, then still hashes small inputs', () => {
     // The input itself is exactly 64 MiB, so the heap base and digest force
-    // memory past that boundary. Growing detaches the previous `ArrayBuffer`; a
-    // retained view would silently read zero bytes in the assertion below.
+    // memory past that boundary. Growing detaches the previous `ArrayBuffer`;
+    // a retained view would silently read zero bytes in the assertion below.
     const large = new Uint8Array(64 * 1024 * 1024).fill(7)
-    expect(engine.Hash.sha256(large)).toEqual(sha256(large))
+    expect(engine.sha256(large)).toEqual(sha256(large))
+    expect(engine.blake3(large)).toEqual(blake3(large))
 
     const small = input(32)
-    expect(engine.Hash.sha256(small)).toEqual(sha256(small))
+    expect(engine.sha256(small)).toEqual(sha256(small))
+    expect(engine.blake3(small)).toEqual(blake3(small))
+  }, 60_000)
+
+  test('behavior: accepts Uint8Array subviews without mutation', () => {
+    const backing = input(1027)
+    const subview = backing.subarray(1, 1026)
+    const snapshot = backing.slice()
+    expect(engine.blake3(subview)).toEqual(blake3(subview))
+    expect(backing).toEqual(snapshot)
+  })
+
+  test('behavior: blake3 clears its complete memory region', async () => {
+    const module =
+      await internal.instantiate<blake3_internal.Exports>(blake3WasmBase64)
+    const message = input(1025)
+    const end = module.heapBase + message.length + 32
+
+    expect(blake3_internal.hash(module, message)).toEqual(blake3(message))
+    expect(module.view().slice(module.heapBase, end)).toEqual(
+      new Uint8Array(end - module.heapBase),
+    )
+  })
+
+  test('behavior: blake3 clears its complete region after a late trap', async () => {
+    const module =
+      await internal.instantiate<blake3_internal.Exports>(blake3WasmBase64)
+    const message = input(1025)
+    const end = module.heapBase + message.length + 32
+    const exports = {
+      blake3_hash(inputPtr: number, length: number, outPtr: number) {
+        module.exports.blake3_hash(inputPtr, length, outPtr)
+        throw new WebAssembly.RuntimeError('forced late trap')
+      },
+      zero: (ptr: number, length: number) => module.exports.zero(ptr, length),
+    }
+
+    expect(() =>
+      blake3_internal.hash({ ...module, exports }, message),
+    ).toThrowError('forced late trap')
+    expect(module.view().slice(module.heapBase, end)).toEqual(
+      new Uint8Array(end - module.heapBase),
+    )
+  })
+
+  test('behavior: rejects wasm32 pointer overflow before reserving', () => {
+    let reserved = false
+    const module: internal.Module<blake3_internal.Exports> = {
+      exports: {
+        blake3_hash() {},
+        zero() {},
+      },
+      heapBase: 0xffff_fff0,
+      reserve() {
+        reserved = true
+      },
+      view: () => new Uint8Array(0),
+    }
+
+    expect(() => blake3_internal.hash(module, input(1))).toThrow(
+      internal.MemoryError,
+    )
+    expect(reserved).toBe(false)
+  })
+
+  test('behavior: accepts a workspace ending exactly at the wasm32 boundary', () => {
+    const marker = new Error('reserve reached')
+    const module: internal.Module<blake3_internal.Exports> = {
+      exports: {
+        blake3_hash() {},
+        zero() {},
+      },
+      heapBase: 0x1_0000_0000 - 33,
+      reserve(bytes) {
+        expect(bytes).toBe(33)
+        throw marker
+      },
+      view: () => new Uint8Array(0),
+    }
+
+    expect(() => blake3_internal.hash(module, input(1))).toThrow(marker)
   })
 
   test('behavior: hmacSha256 clears its complete memory region', async () => {
@@ -182,30 +267,45 @@ describe('Hash', () => {
   test('behavior: consecutive calls do not corrupt each other', () => {
     const a = input(200)
     const b = input(7)
-    expect(engine.Hash.keccak256(a)).toEqual(keccak_256(a))
-    expect(engine.Hash.keccak256(b)).toEqual(keccak_256(b))
-    expect(engine.Hash.keccak256(a)).toEqual(keccak_256(a))
+    expect(engine.keccak256(a)).toEqual(keccak_256(a))
+    expect(engine.blake3(a)).toEqual(blake3(a))
+    expect(engine.blake3(b)).toEqual(blake3(b))
+    expect(engine.blake3(a)).toEqual(blake3(a))
+    expect(engine.keccak256(b)).toEqual(keccak_256(b))
+    expect(engine.keccak256(a)).toEqual(keccak_256(a))
   })
 
   test('behavior: results do not alias WASM memory', () => {
-    const first = engine.Hash.keccak256(input(32))
+    const first = engine.keccak256(input(32))
     const snapshot = first.slice()
-    engine.Hash.keccak256(input(64))
+    engine.keccak256(input(64))
     expect(first).toEqual(snapshot)
+
+    const blake3First = engine.blake3(input(32))
+    const blake3Snapshot = blake3First.slice()
+    engine.blake3(input(64))
+    expect(blake3First).toEqual(blake3Snapshot)
   })
 })
 
-describe('Engine.set', () => {
-  test('behavior: ox uses the WASM implementation once installed', () => {
-    Engine.set(engine)
-    expect(Hash.keccak256('0xdeadbeef')).toBe(
-      '0xd4fd4e189132273036449fc9e11198c739161b4c0116a9a2dccdfa1c492006f1',
-    )
-    expect(Hash.sha256('0xdeadbeef')).toBe(
-      '0x5f78c33274e43fa9de5659265c1d917e25c03722dcb0b8d27db8d5feaa813953',
-    )
-    expect(Hash.ripemd160('0xdeadbeef')).toBe(
-      '0x226821c2f5423e11fe9af68bd285c249db2e4b5a',
-    )
+describe('Engine.install', () => {
+  test('behavior: ox uses the WASM implementation once installed', async () => {
+    await Engine.install({ Hash: engine })
+    try {
+      expect(Hash.blake3('0xdeadbeef')).toBe(
+        '0x53147f3ce49ed4f60dfa5b9654c36ba6103c11f5737df3dabd4cbd296c4161bd',
+      )
+      expect(Hash.keccak256('0xdeadbeef')).toBe(
+        '0xd4fd4e189132273036449fc9e11198c739161b4c0116a9a2dccdfa1c492006f1',
+      )
+      expect(Hash.sha256('0xdeadbeef')).toBe(
+        '0x5f78c33274e43fa9de5659265c1d917e25c03722dcb0b8d27db8d5feaa813953',
+      )
+      expect(Hash.ripemd160('0xdeadbeef')).toBe(
+        '0x226821c2f5423e11fe9af68bd285c249db2e4b5a',
+      )
+    } finally {
+      Engine.reset()
+    }
   })
 })

package/src/wasm/_test/Hash.vectors.test.ts

@@ -13,16 +13,23 @@ import { instantiate } from '../internal/instantiate.js'
  * See `test/vectors/hashes/README.md`.
  */
 
-let engine: WasmHash.create.ReturnType
+let engine: WasmHash.engine.ReturnType
 
 beforeAll(async () => {
-  engine = await WasmHash.create()
+  engine = await WasmHash.engine()
+})
+
+describe('blake3', () => {
+  test(`matches ${vectors.blake3.length} official BLAKE3 vectors`, () => {
+    for (const { digest, message } of vectors.blake3)
+      expect(engine.blake3(message)).toEqual(digest)
+  })
 })
 
 describe('sha256', () => {
   test(`matches ${vectors.sha256.length} NIST CAVP vectors`, () => {
     for (const { digest, message } of vectors.sha256)
-      expect(engine.Hash.sha256(message)).toEqual(digest)
+      expect(engine.sha256(message)).toEqual(digest)
   })
 })
 
@@ -31,26 +38,26 @@ describe('hmacSha256', () => {
     // Two of these use 131-byte keys, which is the only coverage of the
     // longer-than-a-block path where the key is hashed before padding.
     for (const { digest, key, message } of vectors.hmacSha256)
-      expect(engine.Hash.hmacSha256(key, message)).toEqual(digest)
+      expect(engine.hmacSha256(key, message)).toEqual(digest)
   })
 })
 
 describe('ripemd160', () => {
   test(`matches ${vectors.ripemd160.length} reference vectors`, () => {
     for (const { digest, message } of vectors.ripemd160)
-      expect(engine.Hash.ripemd160(message)).toEqual(digest)
+      expect(engine.ripemd160(message)).toEqual(digest)
   })
 
   test('matches the million-`a` reference vector', () => {
     const { digest, message } = vectors.ripemd160MillionA
-    expect(engine.Hash.ripemd160(message)).toEqual(digest)
+    expect(engine.ripemd160(message)).toEqual(digest)
   })
 })
 
 describe('keccak256', () => {
   test(`matches ${vectors.keccak256.length} OpenSSL vectors`, () => {
     for (const { digest, message } of vectors.keccak256)
-      expect(engine.Hash.keccak256(message)).toEqual(digest)
+      expect(engine.keccak256(message)).toEqual(digest)
   })
 })
 
@@ -60,7 +67,7 @@ describe('keccak_f1600', () => {
   /** Writes 25 lanes as little-endian 64-bit words, permutes, and reads back. */
   async function permute(lanes: readonly bigint[]) {
     // A separate instance, because this export is not part of the engine and so
-    // is deliberately not reachable through `WasmHash.load`.
+    // is deliberately not reachable through `WasmHash.engine`.
     const module = await instantiate<Exports>(wasmBase64)
     module.reserve(200)
     const view = module.view()

package/src/wasm/_test/Keystore.browser.test.ts

@@ -0,0 +1,73 @@
+import { pbkdf2 as pbkdf2_noble } from '@noble/hashes/pbkdf2.js'
+import { scrypt as scrypt_noble } from '@noble/hashes/scrypt.js'
+import { sha256 } from '@noble/hashes/sha2.js'
+import { describe, expect, test } from 'vp/test'
+import * as Bytes from '../../core/Bytes.js'
+import * as Engine from '../../core/Engine.js'
+import * as Keystore from '../../core/Keystore.js'
+import * as WasmKeystore from '../Keystore.js'
+
+describe('engine', () => {
+  test('behavior: derives arbitrary-length keys in a real browser', async () => {
+    const engine = await WasmKeystore.engine()
+    const password = Bytes.fromString('testpassword')
+    const salt = new Uint8Array(52).fill(0xa5)
+
+    expect(engine.pbkdf2Sha256(password, salt, { c: 3, dkLen: 65 })).toEqual(
+      pbkdf2_noble(sha256, password, salt, { c: 3, dkLen: 65 }),
+    )
+    expect(
+      engine.scrypt(password, salt, { N: 1024, dkLen: 65, p: 2, r: 1 }),
+    ).toEqual(scrypt_noble(password, salt, { N: 1024, dkLen: 65, p: 2, r: 1 }))
+  })
+
+  test('behavior: ox uses synchronous WASM PBKDF2 once installed', async () => {
+    const engine = await WasmKeystore.engine()
+    await Engine.install({ Keystore: engine })
+    try {
+      const salt = new Uint8Array(32).fill(7)
+      const [key] = Keystore.pbkdf2({
+        iterations: 1_000,
+        password: 'testpassword',
+        salt,
+      })
+      expect(key()).toBe(
+        Bytes.toHex(
+          pbkdf2_noble(sha256, Bytes.fromString('testpassword'), salt, {
+            c: 1_000,
+            dkLen: 32,
+          }),
+        ),
+      )
+    } finally {
+      Engine.reset()
+    }
+  })
+
+  test('behavior: ox uses synchronous WASM scrypt once installed', async () => {
+    const engine = await WasmKeystore.engine()
+    await Engine.install({ Keystore: engine })
+    try {
+      const salt = new Uint8Array(32).fill(7)
+      const [key] = Keystore.scrypt({
+        n: 1024,
+        p: 2,
+        password: 'testpassword',
+        r: 1,
+        salt,
+      })
+      expect(key()).toBe(
+        Bytes.toHex(
+          scrypt_noble(Bytes.fromString('testpassword'), salt, {
+            N: 1024,
+            dkLen: 32,
+            p: 2,
+            r: 1,
+          }),
+        ),
+      )
+    } finally {
+      Engine.reset()
+    }
+  })
+})

package/src/wasm/_test/Keystore.fuzz.ts

@@ -0,0 +1,163 @@
+import { fc, test } from '@fast-check/vitest'
+import { pbkdf2 as pbkdf2_noble } from '@noble/hashes/pbkdf2.js'
+import { scrypt as scrypt_noble } from '@noble/hashes/scrypt.js'
+import { sha256 } from '@noble/hashes/sha2.js'
+import { beforeAll, describe, expect } from 'vp/test'
+import { numRuns } from '../../../test/fuzz/numRuns.js'
+import * as WasmHash from '../Hash.js'
+import * as WasmKeystore from '../Keystore.js'
+
+let hash: WasmHash.engine.ReturnType
+let keystore: WasmKeystore.engine.ReturnType
+
+beforeAll(async () => {
+  ;[hash, keystore] = await Promise.all([
+    WasmHash.engine(),
+    WasmKeystore.engine(),
+  ])
+})
+
+const arbitraryPassword = fc.oneof(
+  {
+    arbitrary: fc
+      .constantFrom(0, 1, 32, 63, 64, 65, 128, 129)
+      .chain((size) => fc.uint8Array({ maxLength: size, minLength: size })),
+    weight: 3,
+  },
+  { arbitrary: fc.uint8Array({ maxLength: 200 }), weight: 2 },
+)
+
+const arbitrarySalt = fc.oneof(
+  {
+    arbitrary: fc
+      .constantFrom(0, 1, 31, 32, 51, 52, 55, 56, 63, 64, 65, 136)
+      .chain((size) => fc.uint8Array({ maxLength: size, minLength: size })),
+    weight: 3,
+  },
+  { arbitrary: fc.uint8Array({ maxLength: 200 }), weight: 2 },
+)
+
+const arbitraryDkLen = fc.oneof(
+  {
+    arbitrary: fc.constantFrom(1, 2, 31, 32, 33, 63, 64, 65, 96, 97),
+    weight: 3,
+  },
+  { arbitrary: fc.integer({ max: 256, min: 1 }), weight: 2 },
+)
+
+function asSubview(input: Uint8Array) {
+  const backing = new Uint8Array(input.length + 11).fill(0xa5)
+  backing.set(input, 7)
+  return { backing, view: backing.subarray(7, 7 + input.length) }
+}
+
+describe('pbkdf2Sha256', () => {
+  test.prop(
+    {
+      c: fc.integer({ max: 20, min: 1 }),
+      dkLen: arbitraryDkLen,
+      password: arbitraryPassword,
+      salt: arbitrarySalt,
+    },
+    { numRuns },
+  )(
+    'matches @noble/hashes for arbitrary inputs and output lengths',
+    ({ c, dkLen, password, salt }) => {
+      expect(keystore.pbkdf2Sha256(password, salt, { c, dkLen })).toEqual(
+        pbkdf2_noble(sha256, password, salt, { c, dkLen }),
+      )
+    },
+  )
+
+  test.prop(
+    {
+      c: fc.integer({ max: 10, min: 1 }),
+      dkLen: arbitraryDkLen,
+      password: arbitraryPassword,
+      salt: arbitrarySalt,
+    },
+    { numRuns },
+  )(
+    'handles subviews without mutating either backing buffer',
+    ({ c, dkLen, password, salt }) => {
+      const password_ = asSubview(password)
+      const salt_ = asSubview(salt)
+      const passwordSnapshot = password_.backing.slice()
+      const saltSnapshot = salt_.backing.slice()
+
+      expect(
+        keystore.pbkdf2Sha256(password_.view, salt_.view, {
+          c,
+          dkLen,
+        }),
+      ).toEqual(pbkdf2_noble(sha256, password_.view, salt_.view, { c, dkLen }))
+      expect(password_.backing).toEqual(passwordSnapshot)
+      expect(salt_.backing).toEqual(saltSnapshot)
+    },
+  )
+
+  test.prop(
+    {
+      dkLen: arbitraryDkLen,
+      input: fc.uint8Array({ maxLength: 256 }),
+    },
+    { numRuns },
+  )('shares memory safely with hash calls', ({ dkLen, input }) => {
+    const derived = keystore.pbkdf2Sha256(input, input, {
+      c: 2,
+      dkLen,
+    })
+    const snapshot = derived.slice()
+    expect(hash.sha256(input)).toEqual(sha256(input))
+    expect(derived).toEqual(snapshot)
+  })
+})
+
+describe('scrypt', () => {
+  test.prop(
+    {
+      dkLen: arbitraryDkLen,
+      logN: fc.integer({ max: 7, min: 1 }),
+      p: fc.integer({ max: 3, min: 1 }),
+      password: arbitraryPassword,
+      r: fc.integer({ max: 4, min: 1 }),
+      salt: arbitrarySalt,
+    },
+    { numRuns },
+  )(
+    'matches @noble/hashes for arbitrary parameters and inputs',
+    ({ dkLen, logN, p, password, r, salt }) => {
+      const options = { N: 2 ** logN, dkLen, p, r }
+      expect(keystore.scrypt(password, salt, options)).toEqual(
+        scrypt_noble(password, salt, options),
+      )
+    },
+  )
+
+  test.prop(
+    {
+      dkLen: arbitraryDkLen,
+      logN: fc.integer({ max: 7, min: 1 }),
+      p: fc.integer({ max: 3, min: 1 }),
+      password: arbitraryPassword,
+      r: fc.integer({ max: 4, min: 1 }),
+      salt: arbitrarySalt,
+    },
+    { numRuns },
+  )(
+    'handles subviews without mutating either backing buffer',
+    ({ dkLen, logN, p, password, r, salt }) => {
+      const password_ = asSubview(password)
+      const salt_ = asSubview(salt)
+      const passwordSnapshot = password_.backing.slice()
+      const saltSnapshot = salt_.backing.slice()
+      const options = { N: 2 ** logN, dkLen, p, r }
+
+      expect(keystore.scrypt(password_.view, salt_.view, options)).toEqual(
+        scrypt_noble(password_.view, salt_.view, options),
+      )
+      expect(password_.backing).toEqual(passwordSnapshot)
+      expect(salt_.backing).toEqual(saltSnapshot)
+    },
+  )
+})

package/src/wasm/_test/Keystore.test-d.ts

@@ -0,0 +1,42 @@
+import type { Engine } from 'ox'
+import { expectTypeOf, test } from 'vp/test'
+import * as core_Keystore from '../../core/Keystore.js'
+import * as WasmKeystore from '../Keystore.js'
+
+type Slot = Awaited<ReturnType<typeof WasmKeystore.engine>>
+
+test('synchronous PBKDF2 is present', () => {
+  expectTypeOf<Slot['pbkdf2Sha256']>().toEqualTypeOf<
+    (
+      password: Uint8Array,
+      salt: Uint8Array,
+      options: { c: number; dkLen: number },
+    ) => Uint8Array
+  >()
+})
+
+test('synchronous scrypt is present', () => {
+  expectTypeOf<Slot['scrypt']>().toEqualTypeOf<
+    (
+      password: Uint8Array,
+      salt: Uint8Array,
+      options: { N: number; dkLen: number; p: number; r: number },
+    ) => Uint8Array
+  >()
+})
+
+test('unsupported primitives are absent', () => {
+  expectTypeOf<Slot>().not.toHaveProperty('aesCtrDecrypt')
+  expectTypeOf<Slot>().not.toHaveProperty('aesCtrEncrypt')
+  expectTypeOf<Slot>().not.toHaveProperty('pbkdf2Sha256Async')
+  expectTypeOf<Slot>().not.toHaveProperty('scryptAsync')
+})
+
+test('the result is the raw slot', () => {
+  expectTypeOf<{ Keystore: Slot }>().toExtend<Engine.Engine>()
+})
+
+test('the WASM namespace exposes the public Keystore API', () => {
+  expectTypeOf(WasmKeystore.pbkdf2).toEqualTypeOf(core_Keystore.pbkdf2)
+  expectTypeOf<typeof WasmKeystore>().not.toHaveProperty('create')
+})