Modular Proofs and Verifiable Evaluation Scheme Unlock Composable Computation
The Verifiable Evaluation Scheme enables chaining proofs for sequential operations, resolving the trade-off between custom efficiency and general-purpose composability.
Mechanism Design Characterizes Decentralized Verifiable Computation Incentives
This research fundamentally characterizes incentive mechanisms for verifiable computation, balancing decentralization against execution efficiency in strategic environments.
