Braid group; Authentication; Zero knowledge; Handle reduction

An algorithm for solving image systems of image-linear equations is presented. The systems have variables on both sides of the equations. After image iterations the algorithm either finds a solution of the system or finds out that no solution exists. Each iteration needs image operations so that the complexity of the presented algorithm is image.