Proof Node Pruning on XMSS Encoding Scheme
45Review Cone
Lean Compass
Updated 1mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.03 | 45 | 22 | 51.1 | |
2026.03 | 33 | 22 | 33.3 | |
2026.03 | 25 | 18 | 28 | |
2026.03 | 23 | 20 | 13 | |
2026.03 | 9 | 8 | 11.1 |
Lean Compass
| Method | Links | |||
|---|---|---|---|---|
2026.03 | 45 | 22 | 51.1 | |
2026.03 | 33 | 22 | 33.3 | |
2026.03 | 25 | 18 | 28 | |
2026.03 | 23 | 20 | 13 | |
2026.03 | 9 | 8 | 11.1 |