Repository navigation

clazel-p384: ECDSA P-384 verification spec (3.5h, PR1), tier 0 - #22

Merged

atiernan merged 3 commits into

phase3/tls-handoverfrom

phase3/p384-spec

Oct 27, 2026

Merged

clazel-p384: ECDSA P-384 verification spec (3.5h, PR1), tier 0#22
atiernan merged 3 commits into
phase3/tls-handoverfrom
phase3/p384-spec

Commits on Oct 27, 2026
- spec(p384): ECDSA P-384 verification, FIPS 186-5 section 6.4.2
  
  atiernan
  and
  claude
  committed
  c906b96
- spec(p384): evaluated known answers on the toy curve and P-384
  
  atiernan
  and
  claude
  committed
  2a45487
- test(p384): proof mutation tests for the spec
  
  atiernan
  and
  claude
  committed
  634b395