【24h】

Towards Human-readable Smart Contracts

机译:迈向人类可读的智能合约

获取原文
获取原文并翻译 | 示例

摘要

In the late 90s the author Ian Grigg defined that smart contracts have to be human-readable like paper contracts while remaining processible by computer programs. The Ethereum Foundation has created a new programming language Solidity that can be used to implement smart contracts. However, the contracts are neither easy to implement nor easy-to-use by the common user. In order to enable users without programming skills to take advantage of the new technology, we propose a generator for smart contracts. Our prototype uses a configuration wizard to determine the requirements of the generated contract. Based on the official ERC Standards of the Ethereum community we will implement a prototype that can configure and generate customized contracts. Moreover, we are covering the challenges that we have to face in order to support automated test case generation and automated deployment processes.
机译:在90年代后期,作者Ian Grigg定义了智能合约必须像纸质合约一样是人类可读的,同时仍可被计算机程序处理。以太坊基金会创建了一种新的编程语言Solidity,可用于实现智能合约。但是,这些合同既不易于实施,也不容易被普通用户使用。为了使没有编程技能的用户能够利用新技术,我们提出了一种智能合约生成器。我们的原型使用配置向导来确定所生成合同的要求。基于以太坊社区的官方ERC标准,我们将实现一个可以配置和生成定制合同的原型。此外,我们还应对了支持自动化测试用例生成和自动化部署过程所必须面对的挑战。

著录项

  • 来源
  • 会议地点 Seoul(KR)
  • 作者单位

    Faculty of Computer Science and Business Information Systems, University of Applied Sciences Wurzburg-Schweinfurt, Wurzburg, 97074, Germany;

    Faculty of Computer Science and Business Information Systems, University of Applied Sciences Wurzburg-Schweinfurt, Wurzburg, 97074, Germany;

    Faculty of Computer Science and Business Information Systems, University of Applied Sciences Wurzburg-Schweinfurt, Wurzburg, 97074, Germany;

    PENTASYS AG, Rudesheimer Str. 9, Munich, 80686, Germany;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    contracts; program testing;

    机译:合同;程序测试;;

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号