...，以及实现规范 v0.12 版本的重要步骤。摘要新的?Solidity 存款合约已经经过形式化验证，并添加进了 bug 赏金计划中；实现 v0.12 规范版本的 Eth2 多客户端测试网?Altona?预计将于下周发布；继续资助 Sigma Prime 为?beacon-fuzz?(多客户端差分模糊测试) 找寻 bug 的工作；Solidity 存款合约 & 形式化验证今天，我们要...
知识:合约,以太坊基金会,主网上线,以太坊
...，以及实现规范 v0.12 版本的重要步骤。摘要新的 Solidity 存款合约已经经过形式化验证，并添加进了 bug 赏金计划中；实现 v0.12 规范版本的 Eth2 多客户端测试网 Altona 预计将于下周发布；继续资助 Sigma Prime 为 beacon-fuzz (多客户端差分模糊测试) 找寻 bug 的工作；Solidity 存款合约 & 形式化验证今天，我们...
知识:形式化验证,测试网
...闻，以及实现规范 v0.12 版本的重要步骤。摘要新的Solidity 存款合约已经经过形式化验证，并添加进了 bug 赏金计划中；实现 v0.12 规范版本的 Eth2 多客户端测试网Altona预计将于下周发布；继续资助 Sigma Prime 为beacon-fuzz(多客户端差分模糊测试) 找寻 bug 的工作；快速插入我之前发布的冗长的 eth2 博客文章。S...
知识:形式化验证,以太坊,测试网
...要求限制了用户无法访问该网站，除非他们提供政府签发的ID和其他形式的验证方法，否则不能匿名使用Coinbase。 关键信息 <table style="border: 1px solid #000;"> <tr style="border: 1px solid #000;"> <th style="border: 1px solid #000;">属性</th> <th style="border: 1px solid #000;">细节</th> <th style="border: 1px solid #000;">判决</th> </tr> <tr style="...
知识:加密货币,比特币,以太坊,帐户
...501038_Smart_Contract_Languages_A_Thorough_Comparison年中时， IOSG博文有提到过，将会在形式化验证(Formal Verification)方向做一些布局。形式化验证是什么？而前不久，Algorand发布的 smart contract language 不是图灵完备的。智能合约开发语言图灵完备重不重要？突然，我发现不仅要对Solidity智能合约开发语言里函数有所了...
知识:智能合约,Solidity,研究报告
无bug编程是一项艰巨的任务，也是关键系统面临的基本挑战。为此，形式化方法提供了开发程序和验证程序正确性的技术。 正式核查是一项艰苦的工作。它要求很高，需要大量的脑力，需要大量的投资，但它已经成为软件行业许多领域的强制性标准。 从区块链的早期开始，这种科学似乎就违背了开发...
知识:合约,区块链,以太坊
...资助的14支研发团队共同完成，他们分别就不同客户端、零知识证明、Ewasm、形式化验证、Remix、以太坊 1.x、以太坊2.0 、Solidity、ZoKrates等细分研发工作进行了总结。 朋友们：在这段复杂的时期里，我们希望大家都能够平平安安。在困于家中的同时，我们再次为社区更新一些以太坊研发团队所取得的进展...
知识:Solidity,以太坊,零知识证明
...位专业以太坊研发者撰写的15篇子文章组成，他们分别就不同客户端、Ewasm、形式化验证、Remix、Plasma、ETH 2.0 、Solidity、状态通道、ZoKrates等细分研发工作进行了总结，原文发布在以太坊基金会（EF）官网。 以下是译文： （图：以太坊devcon大会）朋友们，自上次发布报告以来，以太坊研发已取得了全面的...
知识:Solidity,以太坊,Plasma,Ewasm
...阻碍了它的发展，智能合约安全性问题的研究就显得尤为关键。本文讨论了形式化验证、模糊测试和符号执行等主流的智能合约漏洞检测手段，对于象链科技当前联盟链安全性问题的研究方向有着深远的指导意义，并明确了下一步工作的目标，采用不同的检测方法组合，着力提高漏洞挖掘的准确性、效...
知识:智能合约,合约,智能合约漏洞,链科技
...中的实际方法是通过使用 “state trie”，也就是一颗Patricia树。尽管使用了可验证的加密树，在指定“根哈希”的情况下，节点始终能够证明一段状态的存在性且具有预期的值。但这不能在标准的Merkle树中实现，因为区块链中所有合约的整个状态都会被存储，并且重新计算一个包含数十万个不同状态元素...
知识:合约,以太坊,钱包
...器bug修复。（七哥注：Solidity是目前以太坊最火的智能合约开发语言）编译形式化验证到EVM。在EVM上运行形式化验证功能项目。Go语言版的IPLD教程。（七哥注：IPLD是IPFS上的一串字符串，用来查询存储的内容，是一个类似内容索引的东西，不过好像跟以太坊没啥关系啊。。。）在ewasm上运行机器学习模型...
知识:以太坊,分叉,区块,区块链
...界里，这一点也极其重要。而作为“中国版的Tezos”,DAF将通过在程序语言、形式化证明、匿名加密三大方面来彻底避免区块链网络出现问题，保护社区用户的资产安全和网络的流畅运行。Ocaml语言实力护体对于底层区块链网路，DAF的主要编程语言将使用OCaml语言。OCaml，最早称为Objective Caml，是Caml编程语...
知识:技术,智能合约,以太坊,项目,零知识证明
...界里，这一点也极其重要。而作为“中国版的Tezos”,DAF将通过在程序语言、形式化证明、匿名加密三大方面来彻底避免区块链网络出现问题，保护社区用户的资产安全和网络的流畅运行。Ocaml语言实力护体对于底层区块链网路，DAF的主要编程语言将使用OCaml语言。OCaml，最早称为Objective Caml，是Caml编程语...
知识:以太坊,智能合约,区块链,区块链网络
...块链选择与CertiK吞吴进行合作。作为全球领先的智能合约以及区块链生态的形式化验证平台，CertiK吞吴成为了蚂蚁联盟链首批入住节点合作方。在此次合作中，除了节点运营，CeritK还将利用自主研发的DeepSEA语言编译器在蚂蚁区块链EVM虚拟机上运行代码，为蚂蚁金服区块链平台提供定制化的安全保障，并...
知识:智能合约,蚂蚁区块链,在区块链,合约
...审查、欺诈或第三方干预的可能性。智能合约给予了我们使用区块链技术来验证我们运行的代码的执行情况的能力。智能合约定义智能合约（英语：Smart contract ）是一种旨在以信息化方式传播、验证或执行的计算机协议。智能合约允许在没有第三方的情况下进行可信交易，这些交易可追踪且不可逆转。...
知识:区块链