Certified randomness using a trapped-ion quantum processor | Synapse