LooksRare Token（LOOKS）源代码

BSC智能合约代码--空投代发-销毁-代币兑换-代币增发是比较主流比较火的代码。仅供学习参考

MFS-PV-Basic太阳光收及辅助装备采购案合约书.docx

智能合约投票系统Dapp(truffle + react + solidity)编程，附带中英文使用说明安装依赖网址，有界面，可以前后端交互。非搬运，纯原创工程。

项目地址： https://github.com/wangjinxin613/HelloPet 首先创建一个pet_token.sol文件，作为入口合约 pragma solidity ^0.4.4; import ./pet_factory.sol; import ./ecr712.sol; // PET 宠物 version - 1.0 contract PetToken is PetFactory, ERC721{ string public name = Pet Token; // token 名称 string public symbol = PE

棉花月报：逢低买入远月合约.pdf

完整的以太坊区块链开发教程（草案） 内容和链接 01 HelloWorld-> 02测试-> 03测试驱动开发 04用松露部署到rinkeby（testnet） 05松露部署到实时网络 06 ICO基本 07 ICO合约开发 08使用openzeppelin框架进行众筹 09验证您的ICO合同 10在etherscan上更新您的ICO和令牌信息 作者 此时保留所有版权。

ethdeploy | 用于智能合约的webpack;） 高度可配置的合同登台和部署实用程序的首次通过。 由Nick Dodson用:red_heart:︎制成。 如果您正在使用此工具，我们将很高兴收到您的来信！ 产品特点 高度无调理 只是部署，就是这样！ （不编译或测试合同，但使用插件； = D） 可组合，可集成到其他东西，例如webpack加载器， cli或任何其他框架 高度可配置（将具有不同设置的合约以不同方式部署到多个环境） 可扩展的部署阶段可以在任何环境到任何环境中进行 轻度抽象，承诺化但大多不受质疑的部署脚本（尽管将来可能没有希望） 轻量级，不包含大量依赖项 简单而强大，进气数据/配置>>输

智能合约验证 此api将源代码编译为字节码，并将字节码与getCode方法匹配。 范例要求 curl --request POST --data { "address": "0x37536bc1088010081691eec2ea6ae5c93533ed24", "version": "v0.4.21+commit.dfe3193c", "name": "HelloWorld", "provider": "https://core.poa.network:443", "optimization": 0 "sourceCode": "example" } 范例回应 { "verified":"no", "error":"Contract does not exist or name does not match",

正式验证的智能合约 该存储库包含已由和/或协作者正式验证的智能合约。 为了验证一个聪明的合同，我们需要先产生一个正式的规范，说明什么聪明的合同是应该做的。 这通常是验证工作中最困难的部分，有时需要与智能合约的所有者进行数轮讨论和会议，以确保每个人都在同一页面上讨论智能合约的预期功能。 毫不奇怪，在此早期阶段发现了许多错误或改进智能合约代码的机会。 然后，我们需要证明编译器从智能合约高级代码（例如或 ）生成的二进制或低级代码（例如或）确实满足规范。 在我们的方法中，证明使用，Hoare逻辑，分离逻辑和模态逻辑的概括，并使用。 K框架将语言的形式语义作为可信输入（例如或），然后使用它来象征性地在所有路径上详尽地执行智能合约，从而利用诸如之类的SMT求解器来求解数学域。约束。 经验证的智能合约清单 2020-01-21 2019-02-27 2018-10-12 2018-07-12 20