Minor cleanup in invNTT proof

pq-code-package / mlkem-native

High-assurance, high-performance ML-KEM implementation for mobile, pc, and server targets

https://pq-code-package.github.io/mlkem-native/dev/bench/

Apache License 2.0

11 stars 9 forks source link

Minor cleanup in invNTT proof #405

Closed hanno-becker closed 1 week ago

hanno-becker commented 1 week ago

This is to address what appears to be proof brittleness in the previous, monolithic version. This version did succeed on Apple M1 machines, but failed regularly on the Graviton3 CI machines.