Execute ML-KEM implementations in the Jasmin interpreter

formosa-crypto / formosa-mlkem

Other

11 stars 7 forks source link

Closed vbgl closed 6 months ago

vbgl commented 6 months ago

Run (interpret) the main entry-points of ML-KEM. This tests safety and correctness.