Skip to content

Starknet
StarkEx
Developers
Resources
- StarkWare Blog
- Integrity Matters Blog
STARK
- Overview
- STARKs over Bitcoin
Company
Contact Us

join our newsletter

Home » StarkWare Blog » Quantum-Safe Bitcoin Transactions Without Softforks

Quantum-Safe Bitcoin Transactions Without Softforks

Published on: April 9, 2026

Quantum-Safe Bitcoin Transactions Without Softforks

Share

By Avihu Mordechai Levy — StarkWare

Proves that Bitcoin transactions can be made quantum-resistant today, with no softfork or protocol change required.

GitHub Repository →

ON THIS PAGE

More From The Starkware Collection

Bitcoin’s quantum proposal features StarkWare co-author

Post-Quantum security

Bitcoin’s quantum proposal features StarkWare co-author

We’re proud to share that Isabel Foxen Duke, who leads Bitcoin Growth…

February 16, 2026

Minutes to Seconds: Efficiency Gains with Recursive Circuit Proving

RecursionStwoStwo

Minutes to Seconds: Efficiency Gains with Recursive Circuit Proving

StarkWare, led by Eli Ben-Sasson, a co-inventor of the zk-STARK proof system,…

March 31, 2026

StarkWare’s Gold Standard of Soundness with Formal Verification

Blockchain ResearchMath

StarkWare’s Gold Standard of Soundness with Formal Verification

TL;DR StarkWare uses a proof assistant called Lean to conduct formal verification…

March 5, 2026

Subscribe to our mailing list

Follow us

Twitter
Medium
LinkedIn
Youtube
Github

Starknet
Starknet Documentation
StarkEx
StarkEx Ecosystem
STARK 101
StarkWare Delegation Program

Vision and Mission
About Us
Careers
StarkWare-Blog
Media Kit

Cairo for Developers
Open Source License
Licenses
Terms of Use
Privacy Policy

Starknet
StarkEx
Careers
Cairo-lang.org
StarkWare-Blog
STARK
StarkWare Delegation Program
About Us
Media Kit
Terms of Use
Privacy Policy

© 2025 All Rights Reserved

© 2026 StarkWare • Powered by GeneratePress

Contact us

Full name

Email

Topic

Your message