Verifiable Computation on n x n matrix multiplication with rounding
2Prover Complexity ExponentzkReLU
Evaluation results
| Method | Links | ||||
|---|---|---|---|---|---|
| zkReLUCategory=ReLU-Specialized Methods2025.05 | 2 | 2 | 2 | — | |
| MystiqueCategory=Foundational ZK Protocols2025.05 | 3 | 2 | 2 | — | |
| Ring-basedCategory=Foundational ZK Protocols2025.05 | 3 | 2 | — | — | |
| Commit-and-ProveCategory=Foundational ZK Protocols2025.05 | 3 | 1.5 | 2 | — | |
| MPC-in-headCategory=Foundational ZK Protocols2025.05 | 3 | 3 | 3 | — | |
| Integer-scalingCategory=Matrix / CNN Verification2025.05 | 3 | 2 | — | — | |
| Hao et al.Category=Matrix / CNN Verification2025.05 | 3 | 2 | 2 | — | |
| ZIPCategory=Matrix / CNN Verification2025.05 | 3 | 2 | 2 | — | |
| Jolt AtlasCategory=Matrix / CNN Verification2025.05 | 3 | 2 | — | — | |
| ValidCNNCategory=Matrix / CNN Verification2025.05 | 3 | 2 | 2 | — | |
| EZKLCategory=Matrix / CNN Verification2025.05 | 3 | 2 | — | — | |
| Proposed MethodCategory=ReLU-Specialized Methods2025.05 | 3 | 2 | — | — |