Intuitively, I view this as Alice and Bob running a polynomial identity test, where each party has an n-variate polynomial of total degree 1 over F_2. Does this make sense and does the ECC view give us any additional insights?