适合新手学习时使用

DPrice品牌 DpriceBranding项目（以太坊NFT）的智能合约

合同 BVAL-NFT项目的Solidity智能合约。 发展 安装所有部门 $ npm i 启动本地区块链 $ npm run blockchain:local 运行松露测试 $ npm test 编译并建立所有合同 $ npm run build 概述 此仓库有一个ERC-721和ERC-20合同，旨在共同工作： ERC-721 实施基地 基于OpenZeppelin的最新ERC-721实施的修改版（以减少一点耗气）： 删除动态长度string存储 删除元数据扩展 删除钩子功能 令牌ID编码 ERC-721令牌ID的256位用于编码有关令牌的信息。 这允许以ERC-721兼容的方式在链上表示有关令牌的不可变的固有信息。 令牌编号，序列号，收集版本 造币厂日期和创建日期 $ BVAL排放率和状态更改成本 版本号/总版数 有关资产的信息（分辨率，类型） 等等... 顺序 请参阅Sequ

向往协议 Yearn Protocol是一套以太坊智能合约，致力于通过一流的借贷协议，流动性池和社区制定的以太坊策略，为各种资产的储户创造一种简单的方式来为各种资产的储户产生高风险调整后的回报。 在开始此仓库之前，请阅读： ，描述yearn.finance的工作方式。 ，说明委派保管库的工作方式。 ，描述了yETH保管库如何工作。 要求 要运行该项目，您需要： Ganache的Python 3.8本地开发环境和Node.js 10.x开发环境。 布朗尼本地环境设置。 参见说明： 。 和本地env变量（ ETHERSCAN_TOKEN ， WEB3_INFURA_PROJECT_ID ）。 使用npm install -g ganache-cli@6.11安装的本地Ganache环境。 安装 要运行Yearn协议，请从GitHub提取存储库并安装其依赖项。 您将需要安装

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

共同奖池节省协议 奖金节省协议以太坊智能合约。 有关概念和API的概述，请参阅 设置 该项目以NPM软件包的形式提供： $ yarn add @pooltogether/pooltogether-contracts 用法 伪像 deployments/目录中有可用的部署工件。 例如，要拉入PoolWithMultipleWinnersBuilder工件： const PoolWithMultipleWinnersBuilder = require ( '@pooltogether/pooltogether-contracts/deployments/rinkeby/PoolWithMultipleWinnersBuilder.json' ) const { abi , address , receipt } = PoolWithMultipleWinnersBui

EdgeAI和智能合约 带有SmartContract项目代码的EdgeAI。 基于Hyperledger Fabric v2.2.0和python火炬v1.6.0。 安装 如何在您的操作系统上安装此项目。 先决条件 Ubuntu 18.04 Python 3.6.9（pip 9.0.1） Docker 19.03.12（docker-compose 1.26.2） Node.js v12.18.3（npm 6.14.6） Golang v1.15.2 EASC项目应该被克隆到主目录中，例如~/EASC 。 区块链 所有区块链脚本都在fabric-samples目录下。 cd fabric-samples/ ./downloadEnv.sh RAFT共识 cd raft/ go build 区块链休息服务器 cd blockchain-server/ npm install 联

秘银 Mythril是用于EVM字节码的安全分析工具。 它检测为以太坊，Hedera，Quorum，Vechain，Roostock，Tron和其他EVM兼容区块链构建的智能合约中的安全漏洞。 它使用符号执行，SMT解决方案和污点分析来检测各种安全漏洞。 安全分析平台还使用了它（与其他工具和技术结合使用）。 如果您是精明的合同开发者，我们建议使用，这些针对可用性进行了优化，并且涵盖了广泛的安全问题。 无论您是要做出贡献，需要支持，还是想了解我们未来的烹饪方法，我们的都能满足您的需求。 安装与设定 用获取它： $ docker pull mythril/myth 从Pypi安装： $

物联网区块链：合同 Hyperledger Fabric IoT支持的区块链的传感器需求控制智能合约

DeFiOptions 实验性DeFi期权交易智能合约，可以买入和卖出标记，抵押，现金可设定的欧式期权的多头和空头头寸。 采取了一种动态的方法来确保写期权的抵押品，利用有利的开仓者的未平仓期权头寸来减少作为抵押品提供的所需总余额。 该交易所接受稳定币存款作为发行ERC20期权代币的抵押品。 基于的价格Feed提供了交易所链上的基础价格和波动率更新。 到期时，每份被清算，现金由信贷提供者的合约清算并销毁（通过selfdestruct ）。 如果在结算期间任何期权发行人碰巧资金短缺，信贷提供者将登记债务并支付付款义务，实质上是执行借贷操作。 注册债务将产生利息，直到借款人偿还为止。 当借款人的任何一个开放式期权头寸到期并以现金结算时（未偿还的债务将从利润中扣除），付款会自动发生；或者如果借款人进行新的稳定币存款，则会自动进行付款。 未分配为抵押品的交易所的余额可以由各自所有者以稳定