fixed back and forth buttons for proof state navigation