tl;dr: Novel blockchain contract paradigm that enables variable verifiable computational outsourcing with rewards.
Paper: WTSC 2026 (to appear) or personal pdf or ePrint Full Version.
Carlo Brunetta, Amit Chaudhary, Stefano Galatolo, Massimiliano Sala
We present our work-in-progress approach to computable contracts, where all roles in a computation may be outsourced, from the servers performing computations, to those providing input, to those performing verifications (on input and on output), including all related communications. Varying levels of confidentiality can be chosen on both data and calculations. Although the largest part of the computational and communication effort is performed off-chain, our contracts require a specialized underlying blockchain where they are encoded as transactions. This enables decentralized handling and enforces correct execution through a combination of cryptographic techniques and economic security. Our delegation architecture allows for the execution of very complex collaborative tasks, such as decentralized AI.