secp256k1
secp256k1 is So far we have manually checkable proofs for the field mul and square inner loops, and machine verification (via frama-c) of overflow-freeness for 10x26 (5x52 requires hacking on frama-c to get a 1.... It is ranked #7196 on the Dev Radar, in Security, first seen 55 days ago and shared in 1 post (2.3k views).
Formal methods progress · Issue #181 · bitcoin-core/secp256k1 · GitHub Skip to content Navigation Menu Sign in Appearance settings Search / Sign in Sign up Appearance settings You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} bitcoin-core / secp256k1 Public Notifications You must be signed in to change notification settings Fork 1.2k Star 2.5k Formal methods progress #181 New issue Copy link New issue Copy link Open Open Formal methods…
Alternatives to secp256k1
- Vercel — Vercel Security Review is now in public beta. Every push to your GitHub repositories is reviewed for vulnerabilities,…
- OrcaRouter — Cyber Tier API
- cve.now — puts the ones that need action in one free feed, and your coding agent can check them for you.
- Pareto Credit Bug Bounty — Start hunting
- OpenClaw — There’s more in the full notes
- Steal My Bitcoin — Someone has created a vulnerable PHP website, loaded it with a Bitcoin wallet, and challenged the Internet to hack…
secp256k1 in numbers
- Rank on the Dev Radar: #7196 of 9220
- Shared in 1 post by 1 account: @fanquake
- 2.3k views on those posts
- First seen 55 days ago, last shared 55 days ago
- Pricing seen by AGK Intelligence: open source
- Market: Security
FAQ
What is secp256k1?
So far we have manually checkable proofs for the field mul and square inner loops, and machine verification (via frama-c) of overflow-freeness for 10x26 (5x52 requires hacking on frama-c to get a 1... It was first shared on X 55 days ago and is ranked #7196 on the Dev Radar.
Is secp256k1 free?
It is open source.
Who shared secp256k1?
1 account on X, including @fanquake, in 1 post totalling 2.3k views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.4k posts from 5k X accounts over the last 21 days, 9.2k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-04 04:17 UTC. Full method.