Multiplications of vectors in gf2 on esp32

See