This talk discusses the concept of self-testing which aims to answer the fundamental question of how do we certify proper functioning of black-box quantum devices.
We will see that there is a close link between self-testing and representations of algebraic relations. We will leverage this link to propose a family of protocols capable of certifying quantum states and measurements of arbitrarily large dimension with just four binary-outcome measurements.