matthiasspielberg1

You're correct, we are using https://github.com/hacspec/specs/tree/main/bls12-381. Is there anything we can do to fix this dependency issue, even though it's from the outdated hacspec lib?

We don’t need it anymore tors. 21. aug. 2025 kl. 13.54 skrev Clément Blaudeau < ***@***.***>: > *clementblaudeau* left a comment (cryspen/hax#1452) > > > Is it still needed @matthiasspielberg1...