You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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).
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.