  We explicitly derive a connection between quantum circuits utilising IBM's
quantum gate set and multivariate quadratic polynomials over integers modulo 8.
We demonstrate that the action of a quantum circuit over input qubits can be
written as generalized Walsh-Hadamard transform. Here, we derive the
polynomials corresponding to implementations of the Swap gate and Toffoli gate
using IBM-Q gate set.
