Welcome to the resource topic for 2025/1896
Title:
An Approach to Computable Contracts with Verifiable Computation Outsourcing and Blockchain Transactions
Authors: Carlo Brunetta, Amit Chaudhary, Stefano Galatolo, Massimiliano Sala
Abstract:In this short paper we present an 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, both on data and calculations.
While 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, to achieve their decentralized handling and thus enforcing their correct execution via a combination of cryptographic techniques and economic security.
Our delegation architecture allows for the execution of very complex collaborative tasks, such as the deployment of an AI marketplace.
ePrint: https://eprint.iacr.org/2025/1896
See all topics related to this paper.
Feel free to post resources that are related to this paper below.
Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.
For more information, see the rules for Resource Topics .