y蛇 最近的新闻： 2020年3月11日：更新到最新的snarkjs （这是对PySNARK原始版本的重写，仍可。） PySNARK允许您直接在Python 3中编程zk-SNARK（又名可验证计算）。例如，以下代码运行SNARK程序以计算数字的立方，生成键材料，生成证明并验证它： import sys from pysnark.runtime import snark @snark def cube(x): return x*x*x print("The cube of", sys.argv[1], "is", cube(int(sys.argv[1]))) PySNARK可以使用或作为后端。 对于使用pysnark提供的PubVal数据类型（或使用@snark装饰器）执行的任何计算，该库都会跟踪该计算的Rank-1约束系统。 计算完成后，将生成（或重复使用）用于计算的关

PEACE-COIN.ORG众筹代币合约 请访问我们的网站 。 这是用于和平硬币众筹令牌合同的。 代币合约 请检查目录。 我们仅在此阶段提供令牌合同。 有关更多信息，请访问我们的网站。 代币规格 PCE令牌符合ERC-20。 PCE令牌由安全可靠的OpenZeppelin-solidity@1.9.0提供支持。 测试 $ truffle test --network ganache 开发模式 $ truffle develop truffle(develop)> migrate --compile-all --network=develop --reset Ganache的开发模式 $ truffle migrate --compile-all --network=ganache --reset $ truffle console --network ganache 现场模式 $ tr

OpenZeppelin合同可升级 该存储库托管的变体，旨在用于可升级的合同中。 此变体作为单独的软件包提供，称为@openzeppelin/contracts-upgradeable 。 它遵循所有规则：构造函数被初始化函数替换，状态变量在初始化函数中初始化，并且我们还检查了次要版本之间的存储不兼容性。 :warning: 警告 此软件包的主要版本之间将存在存储不兼容性，这使得将已部署的合同从一个主要版本升级到另一个主要版本（例如从3.4.0升级到4.0.0）是不安全的。 同样，从@openzeppelin/contracts-ethereum-package （与之前的软件包类似） @openzeppelin/contracts-upgradeable到@openzeppelin/contracts-upgradeable 。 强烈建议将这些合同与可以自动保证可升级合同安全的工具一起使用，

POSDAO智能合约 在POSDAO共识算法的实现。 关于 POSDAO是一种权益证明（POS）算法，实现为分散的自治组织（DAO）。 它旨在为公共链提供分散，公平和节能的共识。 该算法可作为以Solidity编写的一组智能合约来工作。 POSDAO是通过通用BFT共识协议实现的，例如具有领导者和概率终结点的AuthorityRound（AuRa）或无领导者且具有即时终结点的Honeybadger BFT（HBBFT）。 它激励参与者为网络的最大利益而行为。 该算法提供了一个Sybil控制机制，用于报告恶意验证者并调整其权益，分配大笔奖励并管理一组验证者。 作者基于以太坊1.0协议为侧链实现POSDAO。 POSDAO资料库和资源 白皮书： : 具有POSDAO功能的反向OpenEthereum客户端： : （v2.7.2） 支持POSDAO功能的原始OpenEthereum

BlockChain-Dapp :memo: 目录 :light_bulb: 什么是区块链？ 什么是区块链？ 区块链是一种防止数据伪造的技术，该技术将数据存储在块中，并将该块以链的形式存储在分布式数据存储环境中，从而不可能随意修改或伪造，任何人都可以检查数据。 存储在块中的数据不能随意更改，因为相同的内容以P2P方法传输到所有用户。 在这些区块链中，我使用以太坊实现了一个支持智能合约的dApp。 :light_bulb: 这是什么应用程序？ 这个应用程式和网站的作用是什么？ 利用完整性区块链的性质，我们实施了在线投票。 基本上，这是一个基于大选，平等选举，直接选举和秘密选举（这是选举原则）的在线选举系统，并且可以使用智能手机在任何地方进行投票而无需直接前往投票站，因此减少用于投票的物质资源的消耗，减少并允许难以访问投票站的人参加投票，从而提高投票率。 此外，我们的目标是通过以相对较低的成本使会员的民主决策以较低的成本在线上，从而减少

合同 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

完整的以太坊区块链开发教程（草案） 内容和链接 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或任何其他框架 高度可配置（将具有不同设置的合约以不同方式部署到多个环境） 可扩展的部署阶段可以在任何环境到任何环境中进行 轻度抽象，承诺化但大多不受质疑的部署脚本（尽管将来可能没有希望） 轻量级，不包含大量依赖项 简单而强大，进气数据/配置>>输

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

合同安全 检查清单 1.合同： 1.1是否在Etherscan上进行了验证？ YES NO 为什么这有关系？ 智能合约以字节码存储在以太坊区块链上（主要是出于优化原因），因此要确保区块链上存储的合约的源代码与GitHub或项目页面上发布的相同，项目团队还应在上对其进行验证通过提供原始源代码来进行Etherscan。 然后，Etherscan将提供的源代码的字节码与以太坊区块链上存储的字节码进行比较。 1.2 ERC-20是否兼容？ YES NO 为什么这有关系？ 如果所审查的合同是代币合同（而不是抵押合同，合同等），则该合同应与ERC-20标准兼容，以在使用时提供全部功能。 1.3这是代理合同吗？ YES NO 如果是，当前主合同的地址是什么？ 为什么这有关系？ 如果主合同是代理合同，则其所有者可以在不更改合同地址的情况下更改合同功能。 尽管在审查期间发现了代理合同，但也