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
reply
I saw that Vitalik published a post about formal verification earlier this month and I think I heard that Toby Sharp was also working on formal verification.