Quantum Circuit Equivalence Checking Tasks | State-of-the-Art