INNER CODE UNIT · C++
lhs
ph4r05/Whitebox-crypto-AES · BGEAttack.cpp:529
mat_GF2 lhs = L * outM;
mat_GF2 rhs = outM * beta;
if(lhs != rhs){
if (doCout) cout << "Something wrong with the result, equation does not hold in self-test..." << endl;
if (doCout) cout << "Dimension of solution="<<freeVariables<<"; Faulty vector k="<<k<<"; Vector: " << endl;
dumpMatrix(outM);
return -4;
}
out.push_back(curV);
}
return 1;
}
// Vector X should contain resulting values for variables a_{00} .. a_{77}
// We have only 1 solution here (can be trivial - homogenous system)
bool trivialSolution=true;