Zapata Quantum and the University of Maryland are collaborating to advance formally verified quantum software. The initiative will deliver a mathematically proven implementation of Shor’s quantum factoring algorithm, a complex algorithm relevant to cryptography. This work establishes a “verification-first” model essential for building viable, complex quantum applications.
Formal Verification Addresses Quantum Application Reliability
The collaboration between Zapata and the University of Maryland centers on formal verification, a method utilizing mathematical proofs to ensure the correctness of quantum applications throughout development. This contrasts with traditional methods where code is manually created and validated afterward, potentially introducing errors as algorithms grow more complex. Researchers aim to begin with a proven correctness and then build the software, a crucial step for building viable commercial quantum applications. Recognizing a systemic under-investment in application development within the quantum industry—highlighted in a December 2025 Google paper—Zapata intends to extend this template to domains including chemistry, materials science, and finance, ultimately delivering provable reliability.
Shor’s Algorithm Implementation Validates Verification-First Model
Specifically, the project focuses on formal verification – using mathematical proof to ensure correctness – throughout the development process, rather than post-implementation validation. Resource estimates accompanying the implementation will allow external researchers to independently verify and utilize the work. Formal verification addresses a key obstacle in quantum application development, as translating complex math into functional circuits is often manual and prone to error. Researchers see this work as a template extendable beyond Shor’s algorithm to areas like quantum chemistry, materials science, and finance, offering a path toward reliable, commercially viable quantum applications. This approach contrasts with the industry’s current focus on lower-level hardware concerns.
Zapata and UMD Collaboration Targets Systemic Industry Gap
Zapata’s collaboration with UMD directly responds to a recognized industry issue: under-investment in developing reliable quantum applications. A recent Google paper highlighted this “collective action problem,” noting a systemic gap exists in proving the value of quantum solutions. As a publicly traded, hardware-agnostic company, Zapata is positioned to tackle this challenge by focusing on application-level software, unlike many competitors concentrating on hardware. This isn’t simply coding and then testing; instead, the team begins with a proven mathematical correctness, building the software from that foundation.
