Matmul Gate

[zhiyong1997]

Short description: The verification of matrix multiplication in circuit has very special structure, and thus we can design a customized gate for it to improve the performance.

• Add some detailed description in the docs.
• Prover side implementation (presumably the same, but may have some difference).
• Verification side implementation.