Certified randomness using a trapped-ion quantum processor - Minzhao Liu; Ruslan Shaydulin; Pradeep Niroula; Matthew DeCross; Shih-Han Hung; Wen Yu Kon; Enrique Cervero-Martín; Kaushik Chakraborty; Omar Amer; Scott Aaronson; Atithi Acharya; Yuri Alexeev; et al. (Nature, 2025)