Special evaluation for gates and copy matrices.

[dreamATD]

On the verifier side, to compute the evaluation of gate matrices such as add, mul2, ..., and copy constraint matrices, such as copy_to, paste_from, the verifier needs to go through all non-zero entries. However, those matrices might be of special form, such as eq(x, y), or eq_greater_than with more efficient methods for evaluation.