The Hyperrigidity Conjecture for Spectrahedra

We show that if K is a compact spectrahedron whose set of extreme points is closed, then the operator system of continuous affine functions on K is hyperrigid in the C*-algebra C(ex(K)).