Read the blogpost here: https://blog.zksecurity.xyz/posts/barrett-tighter-bound/
Optimizing Barrett Reduction: Tighter Bounds Eliminate Redundant Subtractions
Our analysis, conducted during the Rust p256 crate audit, shows that the error bound for Barrett reduction can be tighter than traditionally assumed.