Mechanism Design Balances Decentralization and Efficiency in Verifiable Computation
New game-theoretic mechanisms characterize the decentralization-efficiency trade-off, enabling provably optimal design for verifiable computation markets.
