Quadratic speedup for finding marked vertices by Quantum walks (Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, 2020)