On the Convergence of Prior-Guided Zeroth-Order Optimization Algorithms