The goal of this project is to develop “certifiable” Secure Multi-Party Computation (SMPC) protocols that ensure that data points consumed by the protocol are derived from accredited sources. SMPC protocols in current use for, e.g., sharing information between competing entities, do not usually verify that the private data input to the protocol is legitimate. The collaborative laboratory will tackle this problem by fundamentally reworking security models for such protocols, and analysing how developments in anonymous credentials and zero-knowledge proofs (ZKPs) can be used to export trust to privacy-preserving computations.