Optimality of Quantum Adiabatic Search Algorithm and Its Circuit Model | Synapse