Wycheproof Tester

Leancrypto is tested against all applicable Wycheproof test vectors using the Rust Crate. The test harness is found in rust/test/lc_wycheproof_*.rs.

Tested Algorithms

The following algorithms with their accelerations are tested:

  • AES-GCM

  • ChaCha20-Poly1305

  • ML-DSA44/65/87 with both full key and seed-keys

  • ML-KEM512/768/1024 with both full key and seed-keys

  • Ed25519 signature verification

  • Ed448 signature verification

  • HKDF

  • HMAC (SHA2-[256|384|512], SHA3-[224|256|384|512])

  • KMAC-128, KMAC-256

  • PBKDF2 HMAC-SHA2-[256|384|512]

  • AES-XTS

  • AES-KW

  • X25519 ECDH

  • X448 ECDH

Execute Test Cases

The following steps are to be executed within the rust directory. As a prerequisite at the time of writing, ensure that the Wycheproof Crate 0.7 is present by cloning or symlinking it into the root directory of leancrypto.

  1. cargo test