Repository navigation

toyos-crypto stage 4, the test side: vectors, integer oracle, differential, fuzz, controls, Miri and the constant-time harness - #993

Merged

Japabu merged 18 commits into

mainfrom

wt/toyos-crypto-sec

Oct 22, 2026

Merged

toyos-crypto stage 4, the test side: vectors, integer oracle, differential, fuzz, controls, Miri and the constant-time harness#993
Japabu merged 18 commits into
mainfrom
wt/toyos-crypto-sec

Commits on Oct 22, 2026
- toyos-crypto: every Wycheproof file for its interfaces, and NIST's vectors
  
  Japabu
  and
  claude
  committed
  fd91da0
- toyos-crypto: hold field and scalar arithmetic to integers, not fiat-crypto
  
  Japabu
  and
  claude
  committed
  231d6ee
- toyos-crypto: 10,000 seeded differential cases per primitive
  
  Japabu
  and
  claude
  committed
  e4e5ef4
- toyos-crypto: a structured, seeded fuzz of every decoder
  
  Japabu
  and
  claude
  committed
  2adb91b
- toyos-crypto: unit tests of the volatile wipes and the ct barriers
  
  Japabu
  and
  claude
  committed
  87fb373
- toyos-crypto: test the two checks no test reached
  
  Japabu
  and
  claude
  committed
  41c3554
- crypto_constant_time: fixed-versus-random timing of toyos-crypto's secrets
  
  Japabu
  and
  claude
  committed
  fff178c
- toyos-crypto: the vector and fuzz tests as clippy reads them
  
  Japabu
  and
  claude
  committed
  d25f673
- crypto_constant_time: time on the CPU's counter, and name the rows apart
  
  Japabu
  and
  claude
  committed
  5a658f9
- issues: stage 4's test side, and fiat-crypto's rejection
  
  Japabu
  and
  claude
  committed
  ea8747d
- toyos-crypto: drop the vector files that test nothing, and count CAVP apart
  
  Japabu
  and
  claude
  committed
  6f4d3ca
- toyos-crypto: run the arithmetic-only tests in one form
  
  Japabu
  and
  claude
  committed
  d60a957
- crypto_constant_time: inputs made ahead, a null control, CPUID-serialized counter
  
  Japabu
  and
  claude
  committed
  1d524ae
- issues: stage 4's test side as review r1 of #993 left it
  
  Japabu
  and
  claude
  committed
  ff3cac2
- metal: a named-only row is its arm's property; the timing bounds measured
  
  Japabu
  and
  claude
  committed
  f6a9d59
- issues: sshserver's fiat build goes with #1005; the T14 finding's re-measure
  
  Japabu
  and
  claude
  committed
  c7a4428
- issues: the p384 fiat record as #1005's review left it
  
  Japabu
  and
  claude
  committed
  9217793
- issues: P-384 agreement's T14 verdict is a leak, and the finding names a durable owner
  
  Japabu
  and
  claude
  committed
  e37f115

Commits

Commits on Oct 22, 2026