Evidence · DiggingBeagle record
Matoi: reusable checked evidence with live authorization rechecks
Original prototype and synthetic-banking/microbenchmark experiments, including limited measured gains.
- Published
- Oct 15, 2026
- Source role
- primary disclosure
Evidence record
Original prototype and synthetic-banking/microbenchmark experiments, including limited measured gains.
Claim-level citations (3)
- supportsMatoi separated reusable agent proof evidence from live permission to act: The authors report matched full-lifecycle reductions of 3.49% for JavaScript and 1.79% for Python under equivalent input representation.
Matoi evaluation, matched-cell comparisons of end-to-end overhead
- supportsMatoi separated reusable agent proof evidence from live permission to act: The approach caches dependency-bound evidence while rechecking revocation and current authorization at operation time.
Design, evidence reuse limits and live authority checks
- supportsMatoi separated reusable agent proof evidence from live permission to act: Matoi measured small reuse-only gains on equal compact input representations, whereas larger quoted reductions combine representation changes with reuse and cannot be attributed to proof caching alone.
Paper abstract and matched 1,440-cell, 144-input full-lifecycle comparison discussion