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.
翻译:我们为离链执行和计算密集型智能合同的核查提出了一个新的框架。 我们的框架是避免多承包商重复计算工作、不需要可信赖的执行环境、支持没有确定性结果的计算、支持高语言的通用计算的第一个解决方案。 我们的实验显示,某些密集应用可能需要高达1.41亿天然气,比目前Etheroum的废气限制值高出71x,并且可以通过使用拟议框架来避免。