Mechanism · Whole-workload recomputation (reproducible packets)
Spare compute is outside the scheme
On this page
SignificantTheoretical argumentOpen
The plan states that it does not verify that spare compute is not used for unapproved workloads, because this seems very challenging 1. Recomputation checks the correctness of declared work, not its completeness 2.