An Approach to Computable Contracts with Verifiable Computation Outsourcing and Blockchain Transactions

Carlo Brunetta; Amit Chaudhary; Stefano Galatolo; Massimiliano Sala

Paper 2025/1896

An Approach to Computable Contracts with Verifiable Computation Outsourcing and Blockchain Transactions

Carlo Brunetta

, ShunyaXifra

Amit Chaudhary, University of Warwick, Palliora

Stefano Galatolo

, University of Pisa

Massimiliano Sala

, University of Trento, ShunyaXifra

Abstract

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.

Note: General revision, updated affiliations.

Metadata

Available format(s): PDF
Category: Applications
Publication info: Published elsewhere. Minor revision. WTSC 2026
Keywords: Verifiable Computation AI Marketplace Blockchain Distributed Protocol Cryptography
Contact author(s): cbrunetta @ shunyax net
amit @ palliora org
stefano galatolo @ unipi it
msala @ shunyax net
History: 2026-02-20: revised; 2025-10-10: received; See all versions
Short URL: https://ia.cr/2025/1896
License: CC BY-NC-ND

BibTeX

@misc{cryptoeprint:2025/1896,
      author = {Carlo Brunetta and Amit Chaudhary and Stefano Galatolo and Massimiliano Sala},
      title = {An Approach to Computable Contracts with Verifiable Computation Outsourcing and Blockchain Transactions},
      howpublished = {Cryptology {ePrint} Archive, Paper 2025/1896},
      year = {2025},
      url = {https://eprint.iacr.org/2025/1896}
}