Formalizing Decentralized Verifiable Computation Mechanism Design Trade-Offs
New framework quantifies how revealing computation results boosts liveness and decentralization over privacy-focused ZK-proof systems.
