https://platoaistream.com/plato-data/divide-and-conquer-verification-method-for-noisy-intermediate-scale-quantum-computation/