circom library for matrices: starting writing the elementary circuits