Repository navigation

clazel-crypto: verified CertificateVerify signatures (ECDSA P-256, RSA-PSS, Ed25519); stop offering rsa_pss_pss - #21

Merged

atiernan merged 9 commits into

phase3/crypto-providerfrom

phase3/tls-signatures

Oct 27, 2026

Merged

clazel-crypto: verified CertificateVerify signatures (ECDSA P-256, RSA-PSS, Ed25519); stop offering rsa_pss_pss#21
atiernan merged 9 commits into
phase3/crypto-providerfrom
phase3/tls-signatures

Commits on Oct 26, 2026
- spec(tls): stop offering rsa_pss_pss_* signature schemes
  
  atiernan
  and
  claude
  committed
  52590a4
- feat(tls): offer and accept only the verifiable signature schemes
  
  atiernan
  and
  claude
  committed
  a2bdc1c
- spec(crypto): CertificateVerify signature verification contract
  
  atiernan
  and
  claude
  committed
  bd5217d
- refactor(x509): open the SubjectPublicKeyInfo exec views
  
  atiernan
  and
  claude
  committed
  848e0d7
- feat(crypto): verified CertificateVerify signature dispatcher
  
  atiernan
  and
  claude
  committed
  2bb7a84
Commits on Oct 27, 2026
- refactor(crypto): move the signature check to signature/{spec,exec}.rs
  
  atiernan
  and
  claude
  committed
  3442a9f
- spec(crypto): refuse small-order Ed25519 keys
  
  atiernan
  and
  claude
  committed
  e80867c
- feat(crypto): refuse small-order Ed25519 keys
  
  atiernan
  and
  claude
  committed
  646452a
- test(crypto): proof mutation tests for the signature spec
  
  atiernan
  and
  claude
  committed
  4cff792