RT by @adam3us: 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.

Published by andrewpbreen@gmail.com on

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.

Categories: Uncategorized