Systems for verifiable outsourcing incur costs for a prover, a verifier, and precomputation; outsourcing makes sense when the combination of these costs is cheaper than not outsourcing. Yet, when prior works impose quantitative thresholds to analyze whether outsourcing is justified, they generally ignore prover costs. Verifiable ASICs (VA)---in which the prover is a custom chip---is the other way around: its cost calculations ignore precomputation.
No takes yet. Share an insight, caveat, or question.
Wahby et al. (2017) studied this question.
Synapse has enriched 3 closely related papers on similar clinical questions. Consider them for comparative context: