{"slug": "bitcoin-developers-unveil-libshrincs-a-proof-of-concept-library-for-post-quantum", "title": "Bitcoin developers unveil libshrincs, a proof-of-concept library for post-quantum security", "summary": "Bitcoin developers Jonas Nick of Blockstream Research and collaborator remix7531 released libshrincs, a proof-of-concept C library implementing the WOTS+C one-time signature component of the post-quantum SHRINCS scheme, announced August 11 on Delving Bitcoin. The library includes machine-checked proofs of functional correctness and a security proof verified using SSProve in Rocq, with approximately 6,200 lines of VST code and 13,400 lines of Rocq code, and used large language models including ChatGPT and Fable to generate substantial portions of the verification code under human oversight. The work aims to protect Bitcoin cryptography against future quantum computing threats but is not yet production-ready, lacking a complete post-quantum bound in the quantum random oracle model.", "body_md": "Via figma.com\n\n# Bitcoin developers unveil libshrincs, a proof-of-concept library for post-quantum security\n\nThe new C library uses machine-checked proofs and AI-assisted verification to protect Bitcoin cryptography against future quantum computing threats\n\nJonas Nick of Blockstream Research and collaborator remix7531 have released libshrincs, a proof-of-concept C library that implements a key component of a quantum-resistant signature scheme designed for Bitcoin. The library, announced on August 11 on Delving Bitcoin, represents one of the most rigorous attempts yet to formally verify cryptographic code meant to shield Bitcoin from the eventual arrival of powerful quantum computers.\n\nThe project is notable not just for what it protects against, but for how it was built. The security and correctness proofs were largely generated with the help of large language models, including ChatGPT and Fable, under human oversight.\n\n## What libshrincs actually does\n\nLibshrincs implements WOTS+C, the one-time signature component of a broader scheme called SHRINCS. SHRINCS, first proposed in December 2025, is a signature scheme that blends stateful and stateless hash-based signatures. The goal is to keep signature sizes compact enough to be practical for Bitcoin transactions while still providing quantum resistance.\n\nIn stateful mode, signatures clock in at roughly 324 bytes. The scheme also includes a stateless fallback mechanism, essentially a safety net in case the stateful component’s tracking gets mismanaged.\n\nThe library ships with machine-checked proofs of functional correctness and a security proof verified using SSProve in Rocq. The proofs are substantial: approximately 6,200 lines of VST (Verified Software Toolchain) code and around 13,400 lines of Rocq code.\n\n## The AI angle, and why it matters\n\nLarge language models were used to generate substantial portions of the verification code, with human developers guiding and reviewing the output. Formal verification in cryptography has historically been expensive and slow. If AI-assisted methods can reliably produce this kind of output, it could dramatically lower the barrier to building verified cryptographic software.\n\n## Limitations and the road ahead\n\nThe researchers are transparent about what libshrincs does not yet accomplish. The current security theorem does not provide a complete post-quantum bound in the quantum random oracle model (QROM). It also uses a weaker security notion relative to how SHRINCS signatures would actually be deployed in practice. Numerical hash assumptions that would strengthen the security argument have not yet been incorporated.\n\nThere are no claims of production deployment or integration into Bitcoin Core. The work sits within Blockstream Research’s broader initiative to develop quantum-resistant signatures for both Bitcoin and Blockstream’s Liquid sidechain network. Related efforts include C++ implementations and Simplicity verifier libraries.\n\n**Disclosure:** This article was edited by Editorial Team. For more information on how we create and review content, see our\n\n[Editorial Policy](https://cryptobriefing.com/editorial-policy/).", "url": "https://wpnews.pro/news/bitcoin-developers-unveil-libshrincs-a-proof-of-concept-library-for-post-quantum", "canonical_source": "https://cryptobriefing.com/bitcoin-libshrincs-post-quantum-security/", "published_at": "2026-08-12 20:35:47+00:00", "updated_at": "2026-08-12 20:53:44.757614+00:00", "lang": "en", "topics": ["artificial-intelligence", "ai-research", "ai-tools", "ai-safety"], "entities": ["Jonas Nick", "Blockstream Research", "remix7531", "libshrincs", "SHRINCS", "WOTS+C", "ChatGPT", "Fable"], "alternates": {"html": "https://wpnews.pro/news/bitcoin-developers-unveil-libshrincs-a-proof-of-concept-library-for-post-quantum", "markdown": "https://wpnews.pro/news/bitcoin-developers-unveil-libshrincs-a-proof-of-concept-library-for-post-quantum.md", "text": "https://wpnews.pro/news/bitcoin-developers-unveil-libshrincs-a-proof-of-concept-library-for-post-quantum.txt", "jsonld": "https://wpnews.pro/news/bitcoin-developers-unveil-libshrincs-a-proof-of-concept-library-for-post-quantum.jsonld"}}