以太坊2.0的存款智能合约已经完成了字节码的正式验证和审核。 ETH 2.0信标链的持续优化也在进行中。以太坊2.0越来越接近现实正式验证（FV）对于生产软件开发至关重要。 FV是一种分析代码语义以确保它们遵守某些属性的方法。智能合约中的许多漏洞是代码中的语义错误，导致错误的代码执行结果。这...
知识:以太坊,智能合约,区块链,以太坊的
针对以太坊2.0的Deposit Smart Contract已完成官方验证和审核字节码。 ETH 2.0的进一步优化过程也在进行中。以太坊2.0逐渐变得现实正式验证（FV）是开发生产软件的必要步骤。 FV是一种代码语义分析方法，可确保遵守某些属性。智能合约中的许多漏洞是由代码中的语义错误引起的，从而导致不良的代码执行...
知识:以太坊,智能合约,区块链,以太坊基金会
...Galaxy Digital 最近的一份报告认为，在代码开发方面，替代的 Layer 1 正在逼近以太坊的脚步。在承认量化开发活动方面存在困难的同时，该报告提供了一个 GitHub 核心库的书签数量的静态比较，作为目前人才集中的代理。另一份来自 The Block 的最新报告，提供了一个比较第 1 层协议的框架。该报告承认了开...
知识:Polkadot,Cosmos
...列文章侧重源码架构和分析。 这里所说的三大巨人是指：比特币，以太坊，比特股。其他微创新的代码可以以这些代码为base进行扩展研读，所以只打算介绍这三巨人。 由于本人是CXX工程师，除了模块分析之外，其他源码的介绍主要以CXX的代码为主。 考虑到难度，这里以比特股的...
知识:比特币源码,以太坊源码,比特股源码
律动 BlockBeats 消息，4 月 25 日，以太坊保密交易方案 Aztec Protocol发布 ZK? rollup v0.1 版本代码，根据介绍，该代码可实现从一个 SNARK 有效地验证另一个 SNARK，这是基于单曲线配对的通用 SNARK 递归的首次实现，意味着可运行行业标准哈希。根据说明，在当前的代码情况下，各项数据与理想状况仍有距离。例...
知识:AZTEC
...外部风险主要表现为合约与第三方合约的交互程度。” 两段历史 2020年8月，以太坊刚刚公布了Eth2.0信标链测试网的质押合约地址，整个加密货币行业开始热议“Eth2.0信标链是否会带动一次新的s ...“智能合约的安全级别主要取决于两个因素：内部风险和外部风险。其中内部风险主要表现为合约自身的逻...
知识:合约,以太坊,智能合约,加密货币
...人都认为智能合约是尼克·萨博（Nick Szabo）最早提出来的，但毫无疑问是因以太坊而让智能合约受到广泛关注。以太坊中是这么提到智能合约的，“另一个常被问询的重要领域是“智能合约”-?根据事先任意制订的规则来自动转移数字资产的系统。例如，一个人可能有一个存储合约，形式为‘A可以每天...
知识:智能合约,以太坊
的智能存款合约以太坊2.0更新完成了正式验证和审核字节码。 ETH 2.0信标链的持续优化也在进行中。 Consensys和以太坊基金会（EF）都在进行以太坊2.0更新的第二阶段。2020年2月5日| AtoZ市场–以太坊2.0已经取得了一些关键的进展。以太坊2.0 Lighthouse测试网最近修复了一个错误，并且能够毫无问题地运行100K...
知识:以太坊,合约,以太坊基金会,区块链
...区块需要发送的合约代码量（合约代码目前占见证大小的第二大头）。如果以太坊从当前的 hexary 字典树结构转为二进制 trie，则见证数据所包含的哈希值数据大小约能减小 3 倍（编者注：中译本见文末《二进制状态树实验》），这时候合约代码量就成为构成见证大小的第一大头了。- 图表显示最近 50000 ...
知识:合约,区块,矿工,代码
摘要：重入攻击本质上与编程里的递归调用类似，当合约将以太币发送到未知地址时就可能会发生，威胁以太坊智能合约的安全性。知道创宇区块链安全实验室从转账方法、fallback 函数、漏洞代码、源码分析四个方面入手，深入分析攻击原因，详解?The?DAO 事件。前言智能合约（英文：Smart contract ）的概...
知识:合约,以太币,智能合约,代币
...要纽带。 本文旨在介绍正式的验证，回顾区块链时代的现有工具，并强调以太坊特有的挑战。 正式验证的简短介绍 智能合约是一种自我执行的工具，它的增长是随着区块链的兴起而出现的。随着这项技术的采用，这些金融工具的实际存款额不断增加，同时它们的复杂性也严重升级。这种情况会周期...
知识:合约,区块链,以太坊
行情分析：以太坊2.0离我们有多远？摘要：大盘小幅回落，比特币区间震荡，山寨币略显弱势，市场多空胶着。以太坊作为Dapp开发平台的龙头项目，明年第一季度将进入以太坊 2.0的第0阶段，届时将会有两条链并存，加密资产也将会从旧链向新链转移。然而，离以太坊2.0的完成还有很长的路要走。行情...
知识:硬件钱包,以太坊,钱包,比特币
...lectric Capital在今日发布的一份《2020年加密生态开发者报告》显示，比特币和以太坊生态系统的活跃开发者较3年前分别增长了70%和215%，此外，自2020年1月份以来，去中心化金融（DeFi）项目的月活跃开发者增长67%。据悉，研究人员对27.6万个代码库和8900万次代码提交进行了指纹分析后得出了这份报告。以...
知识:比特币,以太坊,DeFi
ETC Labs是专门为以太坊经典（ETC）协议的用户进行研究和核心技术开发的加速器，已宣布针对以太坊协议栈社区的Alpha版本的EVM-LLVM（以太坊虚拟机-低层虚拟机）。这项新的基础架构标志着智能合约开发发展的一个里程碑，这将使开发人员能够使用更多种编程语言来针对EVM，并受益于LLVM成熟的调试，验...
知识:智能合约,以太坊,智能合约开发,区块链
区块链网络消息，美国家具制造商和零售商 Ethan Allen Interiors 宣布将把其纽约证券交易所 (NYSE) 股票代码从「ETH」更改为「ETD」，以避免与以太坊混淆，变更将于 8 月 16 日进行。今年早些时候，Ethan Allen 公司股价飙升，许多分析师将其归因于股票代码「ETH」与以太坊缩写相同。
知识:以太坊,ETH,市场,NYSE,Ethan Allen In