据Trustnodes 12月6日报道，以太坊2.0协调员丹尼·瑞安（Danny Ryan）表示，以太坊2.0的存储合约似乎还不太可能在本月推出，因为有关报告尚未发布。 图片来源：pixabay丹尼·瑞安说道： “Runtime Verificaton将在本月内发布其完整的形式验证、分析和报告。一旦发布，我们就可以部署合约。在我们通过一个公共...
知识:以太坊,以太坊2.0
文 | 梁雨山火星财经APP（微信：hxcj24h）一线报道，2月5日，据以太坊基金会官方消息，以太坊2.0存款合约字节码的审计和形式化验证已经完成。（注：以太坊2.0存款智能合约通过Vyper语言编写，可记录交易历史并将资金锁定在以太坊1.0链上，以便未来在信标链上进行赎回）以太坊基金会指出，这是重要...
知识:以太坊2.0,存款合约,火星一线,梁雨山
...错误也会导致大损失；另一方面，巨大的经济利益也会吸引大量的攻击者。以太坊黑客攻击第一大案 The DAO 中，攻击者窃取了当时价值 5500 万美元的以太币，并且导致了以太坊的硬分叉 [11]；这之后，与以太坊智能合约相关的攻击一直在继续——比如，2017 年 11 月，以太坊 Parity 钱包由于被黑客攻击，导...
知识:技术,安全,基建安全
区块链网络消息，以太坊基金会宣布 ETH 2.0 存款合约（deposit contract）字节码的审计和形式化验证（formal verification）已经由技术团队 Runtime Verification 完成。以太坊基金会表示，这是一个重要的里程碑，使得项目更接近 ETH 2.0 主网的第 0 阶段（Phase 0），但以太坊基金会依旧希望其他专业人士或者社区可以...
知识:以太坊,ConsenSys,技术,公链,安全,项目,eWAS
...雄厚的公链和 Defi 协议提供服务，目前的客户包括 IOHK(Cardano 的开发公司)、以太坊、Algorand、Web3 基金会、Elrond、Casper Labs、Gnosis、MakerDAO 等。在商业推广上，Runtime Verification 似乎并不热衷于参加各种区块链大会，而是主要通过技术社区向外渗透。根据官方 ppt 中描述的伙伴佣金机制，成功推荐一名客户...
知识:公链,智能合约,代币,区块链领域
以太坊2.0的开发正在不断实现新的突破，该网络最重要的智能合约之一刚刚被成功验证。技术初创公司Runtime Verification已经成功完成了以太坊2.0存款合约的形式验证。 “虽然我们在存款合约形式验证的过程中发现了几个重大的问题，其中一些问题是由隐藏的Vyper编译器bug引起的，但是在最新的版本（v0.10...
知识:以太坊,以太坊2.0
...要纽带。 本文旨在介绍正式的验证，回顾区块链时代的现有工具，并强调以太坊特有的挑战。 正式验证的简短介绍 智能合约是一种自我执行的工具，它的增长是随着区块链的兴起而出现的。随着这项技术的采用，这些金融工具的实际存款额不断增加，同时它们的复杂性也严重升级。这种情况会周期...
知识:合约,区块链,以太坊
区块律动 BlockBeats 消息，以太坊基金会 2 月 4 日发布博客称，ETH 2.0 存款合约字节码的审计和形式化验证已经完成。以太坊基金会称，这是一个重要的里程碑，使项目更接近 ETH 2.0 主网 0 阶段。现在这项工作已经完成了，我们请求社区进行审查和评论，如果正式规范中有缺陷或错误，请在 eth2 specs repo 中...
知识:以太坊2.0
...绍了波卡与EOS的对比，今天带来波卡与ETH1.x、Tezos的对比，这里的ETH1.x是指以太坊处于1.0阶段的每一个版本。此外，我们知道Tezos最大的特点是“可以自我修正的区块链”，即可以做到无叉升级，Polkadot也拥有这些特点，那么是不是意味着Plkadot的工作是无用的呢？带着这些问题，我们进入今天的文章。Pol...
知识:链上,以太坊,智能合约,区块链
...重大漏洞：安全性。这个漏洞的代价是昂贵的，它给一些区块链项目（比如以太坊）的网络效应带来了负面的影响。过去几个月被攻击的 DeFi 项目就包括 Curve.fi、Lendf.Me、PegNet 等，其损失从数十万美元到数千万美元不等。tBTC 在上线几天后通过自查及时发现了 bug 并冻结了存币，避免了一场灾难。而对于...
知识:以太坊,Tezos,技术,安全,DeFi,Staking,形
...个曾经非常火热的币种，tezos是一个全新的分布式应用开发平台，也就是与以太坊类似的智能合约和dapp的开发平台，tezos和柚子一样，都自比为是以太坊的竞争者，tezos主要专注于自治和形式验证这两大新特性来提高分布式程序的稳定性，可改进性。tezos由夫妻档创办，breitman和他妻子kathleen,从白皮书可...
知识:以太坊,以太坊的,区块链,区块
...中心化程度和可扩展性提高几个数量级。2018 年 10 月，我写信告诉 Dan Boneh（以太坊基金会的密码学顾问）说：“我们正在考虑效仿 Zcash 和 Chia，在 ETH 2.0 中使用 BLS12-381 曲线。” 对此，他回复道：“（以我们的现有知识来看）BLS12-381 曲线是正确的选择。” 当时的背景是，一篇 2016 年的论文将 BN254 的安...
知识:以太坊基金会,确定性钱包,区块链,区块链基础设
...其属性？这种形式化验证有何意义？Gasper 是一个由信标链协议（即将到来的以太坊 2.0网络的底层协议）实现的抽象的权益证明协议层。Gasper 的关键部分就是一套终局性机制（finality mechanism），用于保证交易的持存性（durability）和系统的不间断运作不会被攻击破坏。我们很高兴宣布，Runtime Verification和...
知识:信标链,以太坊 2.0,安全性,共识机制
...因为我本来一直在安全领域做研究，所以我更关注的是安全。16 年的时候，以太坊 The DAO 系统安全漏洞的的发生直接导致了 7000 万美元的损失，可以说是这个漏洞把我的目光吸引过来。从那个时候开始我思考能否尝试用形式化验证的方法避免这些漏洞的发生，尤其是我之前一直给军事等比较关键的领域...
知识:链闻,CHAINNEWS,采访,Beosin,成都,链安,一
...演绎论证保证没有未经指明的假设。Gasper 是一个由信标链协议（即将到来的以太坊 2.0 网络的底层协议）实现的抽象的权益证明协议层。Gasper 的关键部分就是一套终局性机制（finality mechanism），用于保证交易的持存性（durability）和系统的不间断运作不会被攻击破坏。我们很高兴宣布，Runtime Verification ...
知识:信标链,以太坊2.0