https://blog.zksecurity.xyz/posts/barrett-tighter-bound/
使用 Barrett Reduction 优化 P256 椭圆曲线算法