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
});
}