智能合约研究笔记

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

区块链在线开发平台

在线集成开发环境

模型检验相关

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. 物品租赁智能合约

   • 相关文章描述
   • 该合约的源代码