Off-chain Execution and Verification of Computationally Intensive Smart Contracts

Emrah Sariboz,Kartick Kolachala,Gaurav Panwar,Roopa Vishwanathan,Satyajayant Misra
DOI: https://doi.org/10.48550/arXiv.2104.09569
2021-04-25
Abstract:We propose a novel framework for off-chain execution and verification of computationally-intensive smart contracts. Our framework is the first solution that avoids duplication of computing effort across multiple contractors, does not require trusted execution environments, supports computations that do not have deterministic results, and supports general-purpose computations written in a high-level language. Our experiments reveal that some intensive applications may require as much as 141 million gas, approximately 71x more than the current block gas limit for computation in Ethereum today, and can be avoided by utilizing the proposed framework.
Cryptography and Security
What problem does this paper attempt to address?