Proof of correctness for secp256k1_modinv64_var

BlockstreamResearch / simplicity

Simplicity is a blockchain programming language designed as an alternative to Bitcoin script.

MIT License

305 stars 45 forks source link

Closed roconnor-blockstream closed 14 hours ago

roconnor-blockstream commented 16 hours ago

This is ready now. You should be able to run CI on all commits.