# 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. ---