void RawVerifyWrapper(TParams theParams, Secret secret) { RawVerify(theParams, secret.secretValue); }
public FieldsExpectedToBeSigned MakeSignedFields(string realm, string userID, string return_to, SVX.Secret state) { return(new FieldsExpectedToBeSigned { openid__claimed_id = userID, openid__identity = userID, openid__return_to = return_to, openid__assoc_handle = SVX.VProgram_API.Nondet <String>(), openid__invalidate_handle = SVX.VProgram_API.Nondet <String>(), openid__signed = SVX.VProgram_API.Nondet <String>(), CSRF_state = state }); }