Black-box security of stream ciphers under the quantum algorithm for linear systems of equations