Diego F. Aranha 🕷️
Credits to the libsecp256k1/safegcd crew (@pwuille, @real_or_random, O’Connor and Poelstra) for many cool tricks in their code and Coq proofs; the Fiat-Crypto team for the framework; @hashbreaker and Bo-Yin Yang for proposing such an interesting algorithm in the first place.