Open jonathanpwang opened 12 months ago
See https://github.com/axiom-crypto/snark-verifier/issues/43 for a cargo bisect.
In short, for very unknown reasons, the change from ruint v1.10 -> v1.11 has caused something to change in how the recent rustc compilers / LLVM optimizes raw assembly code blocks in https://github.com/axiom-crypto/halo2curves/blob/main/src/bn256/assembly.rs
ruint
I have no idea what could have caused this, so would be interested in learning.
FFR here is the diff between 1.10.1 and 1.11.0
https://github.com/recmo/uint/compare/v1.10.1...v1.11.0
See https://github.com/axiom-crypto/snark-verifier/issues/43 for a cargo bisect.
In short, for very unknown reasons, the change from
ruint
v1.10 -> v1.11 has caused something to change in how the recent rustc compilers / LLVM optimizes raw assembly code blocks in https://github.com/axiom-crypto/halo2curves/blob/main/src/bn256/assembly.rsI have no idea what could have caused this, so would be interested in learning.