BTQ Technologies Launches Bitcoin Quantum Testnet

Insider Brief BTQ Technologies launched the Bitcoin Quantum testnet, the first quantum-safe fork of Bitcoin, replacing ECDSA with NIST-standardized ML-DSA to address long-term quantum risks to the Bitcoin network 17 years after the genesis block. The open, permissionless testnet is designed as a production-grade proving ground for miners, developers, researchers, Read more

Guest Post — Beyond Post-Quantum Cryptography: Why Execution Integrity Is Central to Quantum-Safe Web3

Guest Post by Alexander Rogan As the transition toward post-quantum cryptography accelerates, much of the Web3 security conversation has focused on mathematical resilience. With NIST finalising standards such as ML-DSA, the standardised form of CRYSTALS-Dilithium, the industry is rightly preparing for a future in which classical signature schemes can no Read more

Zapata and University of Maryland Collaborate to Advance New Paradigm in Quantum Software

Insider Brief Zapata Quantum announced a collaborative research effort with the University of Maryland to develop a verification-first approach to quantum application development using end-to-end formal, proof-based methods. The collaboration applies formal verification to ensure correctness throughout the translation from mathematical algorithm design to quantum circuits, addressing a key source Read more

SEEQC Forms U.S.–Taiwan Partnerships for Quantum Computing Development

SEEQC announced the formation of a U.S.–Taiwan quantum technology ecosystem bringing together semiconductor, electronics, and academic partners to support commercialization of its SFQ-based quantum computing platform. The ecosystem includes partnerships with Kinpo Group, ITRI, National Taiwan University, and UC Berkeley, covering electronics development, semiconductor process manufacturing, and high-speed CMOS research. Read more

Quantum Advantage Has Likely Been Achieved — The Debate Is Over What Counts

Insider Brief Quantum advantage has likely been demonstrated through multiple large-scale random circuit sampling experiments that perform programmable computational tasks beyond feasible classical simulation, even if those tasks have no practical use. Scientific skepticism persists largely because the benchmark tasks are contrived, verification relies on indirect proxies and extrapolation, and Read more