Repository navigation

clazel-p384: group law, scalar product and verify, proven against the contract (3.5h, PR3), tier 0 - #25

Merged

atiernan merged 3 commits into

phase3/p384-fieldfrom

phase3/p384-verify

Oct 27, 2026

Merged

clazel-p384: group law, scalar product and verify, proven against the contract (3.5h, PR3), tier 0#25
atiernan merged 3 commits into
phase3/p384-fieldfrom
phase3/p384-verify

Commits on Oct 27, 2026
- spec(p384): point, scalar and verify contracts
  
  atiernan
  and
  claude
  committed
  cb00c2d
- feat(p384): group law, scalar product and verify, proven against the spec
  
  atiernan
  and
  claude
  committed
  f2b4401
- test(p384): verify smoke tests with Wycheproof vectors
  
  atiernan
  and
  claude
  committed
  f6a97f1