Skip to content

Commit

Permalink
verif status
Browse files Browse the repository at this point in the history
  • Loading branch information
@karthikbhargavan
karthikbhargavan committed Dec 11, 2024
1 parent d8a1a29 commit 38cc1db
Showing 1 changed file with 7 additions and 8 deletions.
15 changes: 7 additions & 8 deletions libcrux-ml-kem/proofs/verification_status.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ functions in the modules still need some proofs in that category.

| Category | File | Lax Checking | Runtime Safety | Correctness |
| -------- | ----------------- | ------------ | -------------- | ------------ |
| Generic | constant_time_ops | yes | yes | yes |
| _Generic_ | constant_time_ops | yes | yes | yes |
| | hash_functions | yes | yes | yes |
| | ind_cpa | yes | yes | yes |
| | ind_cca | yes | yes | yes |
Expand All @@ -28,23 +28,22 @@ functions in the modules still need some proofs in that category.
| | sampling | yes | needs proofs | needs proofs |
| | polynomial | yes | needs proofs | needs proofs |
| | serialize | yes | needs proofs | needs proofs |
| -------- | ----------------- | ------------ | -------------- | ------------ |
| Portable | arithmetic | yes | yes | yes |
| | | | | |
| _Portable_ | arithmetic | yes | yes | yes |
| | ntt | yes | yes | yes |
| | compress | yes | yes | yes |
| | serialize | yes | yes | yes |
| | sampling | yes | needs proofs | needs proofs |
| -------- | ----------------- | ------------ | -------------- | ------------ |
| avx2 | arithmetic | yes | yes | yes |
| | | | | |
| _Avx2_ | arithmetic | yes | yes | yes |
| | ntt | yes | yes | yes |
| | compress | yes | yes | needs proofs |
| | serialize | yes | needs proofs | needs proofs |
| | sampling | yes | needs proofs | needs proofs |
| -------- | ----------------- | ------------ | -------------- | ------------ |
| neon | arithmetic | yes | needs proofs | needs proofs |
| | | | | |
| _Neon_ | arithmetic | yes | needs proofs | needs proofs |
| | ntt | yes | needs proofs | needs proofs |
| | compress | yes | needs proofs | needs proofs |
| | serialize | yes | needs proofs | needs proofs |
| | sampling | yes | needs proofs | needs proofs |
| -------- | ----------------- | ------------ | -------------- | ------------ |

0 comments on commit 38cc1db

Please sign in to comment.