Skip to content

Commit

Permalink
Update verification_status.md
Browse files Browse the repository at this point in the history 
panic freedom improvements
  • Loading branch information
@karthikbhargavan
karthikbhargavan authored Jan 17, 2025
1 parent 7e5d393 commit a157e78
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions libcrux-ml-kem/proofs/verification_status.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,17 +26,17 @@ functions in the modules still need some proofs in that category.
| | multiplexing | yes | yes | yes |
| | mlkem* | yes | yes | needs proofs |
| | invert_ntt | yes | yes | needs proofs |
| | ntt | yes | yes | needs proofs |
| | matrix | yes | needs proofs | needs proofs |
| | ntt | yes | yes | needs proofs |
| | polynomial | yes | yes | needs proofs |
| | sampling | yes | needs proofs | needs proofs |
| | polynomial | yes | needs proofs | needs proofs |
| | serialize | yes | needs proofs | needs proofs |
| | | | | |
| | matrix | yes | needs proofs | needs proofs |
| | | | | |
| _Portable_ | arithmetic | yes | yes | yes |
| | ntt | yes | yes | yes |
| | compress | yes | yes | yes |
| | serialize | yes | yes | yes |
| | sampling | yes | needs proofs | needs proofs |
| | sampling | yes | yes | needs proofs |
| | | | | |
| _Avx2_ | arithmetic | yes | yes | yes |
| | ntt | yes | yes | yes |
Expand Down

0 comments on commit a157e78

Please sign in to comment.