curve25519-dalek 4.1.3 implements Curve25519 / ristretto255 group arithmetic for X25519 and Ed25519. 37 unsafe sites, almost all AVX2/AVX512-IFMA intrinsics in the SIMD backend gated by cpufeatures CPUID dispatch, were reviewed and hold; no I/O at run time. No findings. Field-arithmetic correctness and constant-time resistance were scoped out and left unasserted.