Projects

TNO Quantum provides generic software components aimed at facilitating the development of quantum applications. This package provides a comprehensive suite of tools for creating QUBO objects, defining QUBO solvers, and using them to solve QUBO problems. It includes features for pre- and post-processing, as well as the ability to create pipelines that integrate all these components seamlessly.

Verifiable AI for federated learning — applying zero-knowledge proofs to give cryptographic guarantees over ML models trained in a federated setting. Implementation and paper forthcoming.