pull down to refresh
Some components of secp256k1 as well:https://bitcoinops.org/en/newsletters/2026/04/17/#formal-verification-of-secp256k1-modular-scalar-multiplication
There is a lot that goes into it:https://www.youtube.com/watch?v=D2w1uX85rW8
Some components of secp256k1 as well:
https://bitcoinops.org/en/newsletters/2026/04/17/#formal-verification-of-secp256k1-modular-scalar-multiplication
There is a lot that goes into it:
https://www.youtube.com/watch?v=D2w1uX85rW8