re-prove for keybase