SMC_KV: "Set-membership-check-with-keyed-verification" = 'Set-membership-check-with-keyed-verification'