本文研究了在类似于加密货币的开放分布式网络中运行Ethereum智能合约的安全性。我们引入了几个新的安全问题,在这些问题中,对手可以通过巧妙地执行合约来获取利润。这些bug表明,在理解底层平台的分布式语义方面存在细微的差异。作为一种改进,我们提出了增强Ethereum操作语义的方法,使合约不那么脆弱。对于为现有Ethereum系统编写契约的开发人员,构建了一个名为Oyente的符号执行工具,以发现潜在的安全bug。讨论了几个具有源代码的案例研究的攻击严重性,并在主要的Ethereum网络中确认了攻击。
2021-08-18 14:07:14 522KB 智能合约安全工具 Oyente
1
关于 支持 nori.com 的以太坊智能合约 地方发展 部署到本地测试网 首先,启动 ganache-cli 二、通过迁移脚本部署和初始化所有合约 truffle migrate --network test 测试 首先,启动 ganache-cli 清除和编译合同 rm -rf build && truffle compile 然后运行测试 yarn test 合同 可升级性 此 repo 中的合约使用来管理可升级性 NCCR 铸币者角色 需要铸币工角色来向 NCCR 合同添加额外的铸币工。 此角色允许供应商铸造 NCCR(AKA NRT)。 公共测试网 罗普斯滕 部署 通过松露迁移文件部署和初始化所有合约 truffle migrate --network ropsten 杂项注意事项和提示 使用 oz CLI 工具 部署新的可升级合约 要通过oz CLI 工具单独部署
2021-08-04 14:05:51 141KB JavaScript
1
BEP20代币生成器 BEP20代币的新智能合约生成器。 尝试一下 执照 根据发布的代码。
2021-07-12 17:56:57 3.73MB dapp smart-contracts solidity bsc
1
BEP20-合同模板 Standart BEP20智能合约BSC(币种智能链) 笔记 :memo: Line 339 change "BSCToken" to your token name (not use space). :memo: Line 352 change "BSC Token" to your token name (use space). :memo: Line 353 change "BSCT" to your token ticker/symbol. :memo: Line 354 set decimals recomended 8 or 18, why? 8 is standart decimal crypto market & 18 standart ERC20. :memo: Line 355 set total supply with uint256 example 100k, write 100000 pl
2021-07-12 14:48:03 9KB crypto smart-contracts cryptocurrency token
1
Eth-ipfs 一个简单的Web应用程序,用于使用以太坊区块链和行星际文件系统(IPFS)上传和存储文件。 使用Mocha和React设计和测试,以供浏览器与Metamask一起使用。 Dapp前端部署在Rinkeby测试网络上的上。 在注册并验证的Eth-ipfs智能合约。 该项目是通过。 您将在下面找到一些有关如何执行常见任务的信息。 您可以在找到本指南的最新版本。 目录 更新到新版本 Create React App分为两个包: create-react-app是用于创建新项目的全局命令行实用程序。 react-scripts是所生成项目(包括此项目)中的开发依赖项。
2021-05-27 15:05:58 178KB create-react-app ipfs solidity solidity-contracts
1
该项目的目的是为点击合同提供一个框架。 这些通常发生在网络上。 我们的目标是,当用户单击“我同意”时,合同的XML版本将保存到用户的硬盘中。 按钮。
2021-05-13 14:03:02 11KB 开源软件
1
物联网设备管理 介绍 利用以太坊平台实现物联网设备身份,身份验证和声誉的系统。 设备通过Web界面在智能合约中注册,然后将加密签名的消息发送到使用区块链对其进行验证的平台。 该项目是我的本科论文的一部分,该论文。 抽象 物联网面临身份,安全性和互操作性问题。 当前的系统依赖于集中式客户端-服务器模型,由于连接到Internet的设备数量Swift增加,该模型很快将无法令人满意。 区块链是共享,分布式和去中心化的账本,允许开发去中心化应用程序。 本文研究了将其用于物联网设备注册和管理的概念。 已经开发了由智能合约,Web界面以及设备和平台组成的系统。 系统用户,实体通过Web界面使用其控制信息
1
哈尔 公共区块链上的匿名电子投票系统 Hääl的意思是爱沙尼亚语。 声音意味着人的力量。 此代码是位于根文件夹下的白皮书中提出的协议的概念验证。 它描述了使用公共区块链,没有混合网或预告票的oracle的电子投票系统的完整过程。 完整协议使用: 零知识证明(通过链上的zk-snarks验证) 同态加密(Paillier协议+ ZK) 隐身地址(由Peter Todd提出,但已移植到以太坊) 加密笔记(例如Zcash,AZTEC) 密码学挑战(基于Sigma协议) 数字签名 以太坊(或其他能够运行dApp的区块链) 白皮书中介绍的其他技术 工程进行中。 在此PoC中没有实现访问
2021-03-18 17:30:39 768KB protocol ethereum dapp smart-contracts
1
BokkyPooBah的代币传送服务智能合约 概要 实施BokkyPooBah令牌通行服务(BTTS)接口的令牌智能合约使以太坊账户能够转移ERC20令牌,而无需支付以太坊(ETH)的以太坊网络交易费。 取而代之的是,该帐户支付要转让的代币中的代币转让费。 帐户创建签名消息 任何使用其自己的BTTS实现来实现BTTS接口的ERC20令牌合同都可以使用此BTTS服务进行转让。 持有启用了BTTS的令牌的帐户使用实现的功能来创建一条消息,该消息使用令牌的转移指令(包括要转移的令牌中指定的费用)用帐户的私钥签名。 BTTS服务提供商执行令牌转移 该帐户向BTTS服务提供商提供转移详细信息和已签名的消
2021-02-05 16:05:14 1.29MB ethereum tokens erc20 solidity-contracts
1
Smart-Contract-Modular-Template:开源存储库由Blockchain Education Network香港和台湾分公司支持
2021-02-05 16:05:14 37.73MB education honeypot ethereum smart-contracts
1