| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 193 of 4,424 | 95% | 49 of 152 | 67% | 85 | 270 | 21 | 650 | 36 | 194 | 0 | 50 |
| AffgProof | 86% | 65% | 16 | 23 | 5 | 41 | 7 | 10 | 0 | 1 | ||
| EncElgProof | 86% | 60% | 13 | 18 | 3 | 24 | 5 | 8 | 0 | 1 | ||
| FacProof | 85% | 60% | 11 | 14 | 0 | 25 | 7 | 9 | 0 | 1 | ||
| EncProof | 85% | 50% | 9 | 12 | 0 | 15 | 4 | 7 | 0 | 1 | ||
| ElogProof | 86% | 55% | 11 | 15 | 3 | 16 | 3 | 6 | 0 | 1 | ||
| LogStarProof | 90% | 50% | 8 | 11 | 5 | 25 | 0 | 3 | 0 | 1 | ||
| ModCommitment | 83% | 83% | 5 | 9 | 1 | 14 | 4 | 6 | 0 | 1 | ||
| PrmProof | 93% | 83% | 4 | 10 | 1 | 24 | 2 | 4 | 0 | 1 | ||
| PrmKt | 92% | 100% | 0 | 3 | 1 | 15 | 0 | 1 | 0 | 1 | ||
| SchnorrProof | 89% | 62% | 4 | 9 | 1 | 11 | 1 | 5 | 0 | 1 | ||
| ModProof | 91% | 100% | 2 | 5 | 0 | 8 | 2 | 4 | 0 | 1 | ||
| EncElgPrivate | 92% | n/a | 1 | 5 | 0 | 5 | 1 | 5 | 0 | 1 | ||
| PrmProof.Companion | 98% | 87% | 1 | 5 | 1 | 17 | 0 | 1 | 0 | 1 | ||
| AffgProof.Companion | 100% | n/a | 0 | 2 | 0 | 56 | 0 | 2 | 0 | 1 | ||
| EncElgProof.Companion | 100% | n/a | 0 | 2 | 0 | 37 | 0 | 2 | 0 | 1 | ||
| ModKt | 100% | 100% | 0 | 10 | 0 | 30 | 0 | 4 | 0 | 1 | ||
| LogStarProof.Companion | 100% | n/a | 0 | 2 | 0 | 33 | 0 | 2 | 0 | 1 | ||
| ElogProof.Companion | 100% | n/a | 0 | 2 | 0 | 30 | 0 | 2 | 0 | 1 | ||
| ModProof.Companion | 100% | n/a | 0 | 1 | 0 | 18 | 0 | 1 | 0 | 1 | ||
| FacProof.Companion | 100% | n/a | 0 | 1 | 0 | 27 | 0 | 1 | 0 | 1 | ||
| EncProof.Companion | 100% | n/a | 0 | 2 | 0 | 23 | 0 | 2 | 0 | 1 | ||
| AffgKt | 100% | n/a | 0 | 2 | 0 | 24 | 0 | 2 | 0 | 1 | ||
| SchnorrProof.Companion | 100% | n/a | 0 | 2 | 0 | 8 | 0 | 2 | 0 | 1 | ||
| FacKt | 100% | n/a | 0 | 1 | 0 | 11 | 0 | 1 | 0 | 1 | ||
| AffgPublic | 100% | n/a | 0 | 8 | 0 | 8 | 0 | 8 | 0 | 1 | ||
| AffgCommitment | 100% | n/a | 0 | 8 | 0 | 8 | 0 | 8 | 0 | 1 | ||
| SchnorrKt | 100% | n/a | 0 | 1 | 0 | 9 | 0 | 1 | 0 | 1 | ||
| EncElgPublic | 100% | n/a | 0 | 7 | 0 | 7 | 0 | 7 | 0 | 1 | ||
| ElogPublic | 100% | n/a | 0 | 6 | 0 | 6 | 0 | 6 | 0 | 1 | ||
| FacCommitment | 100% | n/a | 0 | 6 | 0 | 6 | 0 | 6 | 0 | 1 | ||
| LogStarPublic | 100% | n/a | 0 | 6 | 0 | 6 | 0 | 6 | 0 | 1 | ||
| EncElgCommitment | 100% | n/a | 0 | 6 | 0 | 6 | 0 | 6 | 0 | 1 | ||
| LogStarCommitment | 100% | n/a | 0 | 5 | 0 | 5 | 0 | 5 | 0 | 1 | ||
| AffgPrivate | 100% | n/a | 0 | 5 | 0 | 5 | 0 | 5 | 0 | 1 | ||
| ElogCommitment | 100% | n/a | 0 | 4 | 0 | 4 | 0 | 4 | 0 | 1 | ||
| ModPrivate | 100% | n/a | 0 | 4 | 0 | 4 | 0 | 4 | 0 | 1 | ||
| EncCommitment | 100% | n/a | 0 | 4 | 0 | 4 | 0 | 4 | 0 | 1 | ||
| EncPublic | 100% | n/a | 0 | 4 | 0 | 4 | 0 | 4 | 0 | 1 | ||
| LogStarPrivate | 100% | n/a | 0 | 3 | 0 | 3 | 0 | 3 | 0 | 1 | ||
| FacPublic | 100% | n/a | 0 | 3 | 0 | 3 | 0 | 3 | 0 | 1 | ||
| PrmPrivate | 100% | n/a | 0 | 3 | 0 | 3 | 0 | 3 | 0 | 1 | ||
| EncPrivate | 100% | n/a | 0 | 3 | 0 | 3 | 0 | 3 | 0 | 1 | ||
| FacPrivate | 100% | n/a | 0 | 3 | 0 | 3 | 0 | 3 | 0 | 1 | ||
| ElogPrivate | 100% | n/a | 0 | 3 | 0 | 3 | 0 | 3 | 0 | 1 | ||
| SchnorrCommitment | 100% | n/a | 0 | 3 | 0 | 3 | 0 | 3 | 0 | 1 | ||
| PrmPublic | 100% | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 | ||
| SchnorrPublic | 100% | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 | ||
| SchnorrPrivate | 100% | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 | ||
| ModPublic | 100% | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 | ||
| SchnorrCommitment.Companion | 100% | n/a | 0 | 1 | 0 | 2 | 0 | 1 | 0 | 1 |