Projects

Modular zero-knowledge proofs of training for federated learning, built commit-and-prove style from standard assumptions and well-understood primitives. Proofs are 10–15× smaller than prior zkPoT constructions: roughly 70 kB per training round for LeNet, generated in about 150 s.

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.