Paper 2025/1896 Original: eprint.iacr.org/2025/1896 ↗
An Approach to Computable Contracts with Verifiable Computation Outsourcing and Blockchain Transactions
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.
Metadata
- Available format(s)
PDF- Category
- Applications
- Publication info
- Preprint.
- History
- 2026-02-20: last updated
- 2025-10-10: published
- Short URL
- https://ia.cr/2025/1896
- License
- https://creativecommons.org/licenses/by-nc-nd/4.0/
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}
}