xmmrm
Joined 9 years ago
Karma
544
Submissions
36
Member since
Oct 16
Recent submissions
Comment · 6 years ago
Comment · 6 years ago
>Why is this being posted now?
Comment · 6 years ago
>completely removing the need for tests
That would be formal verification.
Comment · 6 years ago
Specifically, MathML Core: https://mathml-refresh.github.io/mathml-core/
Comment · 6 years ago
Have you seen Curve9767 [0] ? Short-Weierstrass, prime-order, but the implementation does not use the complete formulas. Competitive performance, on the ARM Cortex-M0+ at least.
Comment · 6 years ago
By the way, what’s the status of ristretto255? The latest version of the internet-draft [0] expired a while ago.
[0] https://datatracker.ietf.org/doc/draft-hdevalence-cfrg-ristr...
Comment · 6 years ago
Yeah, they should drop bleach from that list. It degrades the shield and it might just do more harm than good.
Comment · 6 years ago
There’s good news on that front: https://mathml-refresh.github.io/mathml-core/
Comment · 6 years ago
For comparison, here‘s a sane interface: https://fuchsia.dev/fuchsia-src/reference/syscalls/cprng_dra...
As noted, -Ofast turns on -ffast-math which turns on -funsafe-math-optimizations which "enables optimizations that allow arbitrary reassociations and transformations with no accuracy guarantees."[0] In this case, sincosf by itself is probably more accurate.
[0] https://gcc.gnu.org/wiki/FloatingPointMath