Return to hotstuff