Fast Keyed-Verification Anonymous Credentials on Standard Smart Cards