Outfox notes

This commit is contained in:
Georgio Nicolas
2025-07-14 23:43:48 +02:00
parent f895cbd91d
commit ae607d300a
+13
View File
@@ -0,0 +1,13 @@
# Outfox
## Notes from Georgio:
### DO NOT INTEGRATE BEFORE:
- Checking the situation with empty Nonces/Additional Data for `ChaCha20Poly1305` Calls.
- 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`