Timmy Time 410a0a56c0 Fix #55: Add safety wrapper and constant-time implementation ...

Security improvements:
- Input validation (dimension must be power of 2, <= 4096)
- Null pointer checks for all parameters
- Constant-time quantization (no data-dependent branches)
- Bounds checking in bit packing/unpacking
- Safe wrapper functions (safe_polar_quant_encode/decode_turbo4)
- RAII SafeBuffer for memory safety

Added turbo-safety.h with:
- is_power_of_2() validation
- validate_dimension() with clear error messages
- validate_pointers() for null checks
- ct_abs(), ct_min_index(), ct_abs_diff() for constant-time ops
- SafeBuffer<T> RAII wrapper

Updated llama-turbo.cpp to use validation and constant-time ops.
Updated llama-turbo.h with safety documentation.

13 tests pass.

Fixes #55

2026-04-14 21:59:38 -04:00

..

test_safety.py

Fix #55: Add safety wrapper and constant-time implementation

2026-04-14 21:59:38 -04:00