# Building trust in the future of quantum computing

- slug: building-trust-in-the-future-of-quantum-computing
- date: 2026-03-18
- category: Quantum Computing

A trio of researchers at the Japan Advanced Institute of Science and Technology has published what they claim is a significant step forward in formally verifying quantum protocols before those protocols are deployed in the real world.

---