Employing Trapped Cold Ions to Verify the Quantum Jarzynski Equality | Synapse