“面向电子商务领域区块链智能合约的设计与实现” 项目笔记

区块链在线开发平台

在线集成开发环境

模型检验相关

Tip:

  • solidity是智能合约开发语言,ETH代指ethereum以太坊

  • solidity可以转java语言,可用于java语言模型检验工具如javapathfindr的模型检验

  1. JAVA、Web3j与智能合约背景知识

  2. 使用web3j将sol智能合约转换成java文件 具体教程

  3. 使用 Web3j+Spring Boot 实现以太坊智能合约教程

智能合约简单样例

索引

  1. 智能合约样例索引

  2. 租赁智能合约Github搜索情况

样例

  1. 众筹智能合约的中文解释

  2. ETH官方教程内含众筹合约

  3. 以太坊ERC20代币规范

  4. A beach vacation property rental

  5. Examples of Solidity security issues

    • 举例一些不够好的智能合约
    • 可用于当前智能合约一些缺点的阐述
    • 可用于后期开发智能合约的预防工作
  6. 汽车租赁智能合约

  7. 物品租赁智能合约