Outfox notes

This commit is contained in:
Georgio Nicolas
2025-07-14 23:45:23 +02:00
parent ae607d300a
commit f94acf95b2
+2 -2
View File
@@ -3,11 +3,11 @@
## Notes from Georgio:
### DO NOT INTEGRATE BEFORE:
- Checking the situation with empty Nonces/Additional Data for `ChaCha20Poly1305` Calls.
- Checking the situation with empty Nonces/Additional Data for `ChaCha20Poly1305` calls marked by HAZARD.
- Programmatically checking which KEM is used during packet handling, and handling related errors.
- Crypto audit of `src/lion.rs`.
- Updating documentation to replace discrete-log operations with KEM operations.
### Things to optimize:
- Copying and allocations.
- Using libcrux for `ChaCha20`/`ChaCha20Poly1305`
- Using libcrux for `ChaCha20`/`ChaCha20Poly1305`.