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 #912 on the Dev Radar, in Security, first seen 10 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…
What people said about secp256k1 on X
More progress being made by @remix7531 on the libsecp256k1 Schnorr Signature (BIP 340) formal verification front: https://github.com/bitcoin-core/secp256k1/issues/181.
— @fanquake, 10 days ago · 38 likes · see the post
Alternatives to secp256k1
- Cloudflare Blog — Use production traffic and security signals to prioritize findings, prepare edge mitigations when safe, and propose…
- security-audit-skill — A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings -…
- TheDAO Security Fund — Ecosystem-funded Ethereum security initiatives. Browse open initiatives, donate by wallet or from an exchange, back…
- user-scanner — 🕵️♂️ (2-in-1) Email & Username OSINT suite featuring native MCP support for deep data extraction just from a…
- NVIDIA Developer — Accelerates leading PQC algorithms and advances data security against quantum computer threats.
- aliens_eye — Hunt down 840+ social media accounts using AI. Contribute to arxhr007/Aliens_eye development by creating an account on…
secp256k1 in numbers
- Rank on the Dev Radar: #912 of 1355
- Shared in 1 post by 1 account: @fanquake
- 2.3k views on those posts
- First seen 10 days ago, last shared 10 days ago
- Pricing seen by Jev: 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 10 days ago and is ranked #912 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 Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 12.2k posts from 4.7k X accounts over the last 21 days, 1.4k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-19 18:39 UTC. Full method.