Software engineer Rafael Cordón’s Simple Proof system helped prevent fraud in Guatemala’s most recent presidential election. Can this technology be used to insure against election interference in other jurisdictions?