remix7531 on nostr

Recent Notes

Checkout my latest post: [Formal Verification of secp256k1 modular scalar multiplication](https://remix7531.com/post/formal_verification_secp256k1_scalar_mul/)

YODL · 7w

Looking into the Software Foundations book a little bit. Interesting stuff, but seems like it would take a while to get competent with Rocq. Giving it a look though, as I've wanted to check out proof software for a while now.

remix7531

@remix7531 1771883461

One can now rotate a machine integer in F*. WOW

https://github.com/FStarLang/FStar/pull/4080

OpenSats · 19w

Can't stop, won't stop. Announcing 17 new grants to move the needle towards freedom: formal verification, BitcoinerLAB, RewindBitcoin, Mastering Taproot, CDK, cashu-ts, Coco, krux-installer, libbitcoi...

remix7531 @remix7531 1770227258

If you are interested in formal verification. Check out the project website: https://remix7531.com

1❤️2👀1

remix7531

@remix7531 1770043590

Check out my latest post "Learning Rocq with Software Foundations": https://remix7531.com/post/learning-rocq-with-software-foundations/

ODELL · 20w

34,600,000,000 sats nostr:nprofile1qqs8suecw4luyht9ekff89x4uacneapk8r5dyk0gmn6uwwurf6u9ruspzpmhxue69uhkumewwd68ytnrwghsz8nhwden5te0dehhxarj94c82c3wwajkcmr0wfjx2u3wdejhgtcqujekd 📈 https://blossom.p...

remix7531 @remix7531 1769706171

Thanks so much @OpenSats! Three months ago, if someone had told me I’d be working on formal verification for open-source cryptography, and actually getting paid for it, I never would have believed it. 100% remote and no annoying boss is the cherry on top.

15❤️13👍2🤙2❤️1🎉1🔥1

Toby Sharp · 19w

Tell us more about what you're working on?!

remix7531

@remix7531 1767294610

Hello, World!

❤️1