展开

关键词

Casper系列01——Casper 简介与概览

Casper 简介与概览 Casper 是知名开源区块链项目以太坊 (Ethereum) [1] 的共识算法,是以太坊转型为全面 PoS (Proof-of-Stake) 的基础理论支持和实现,同时也是以太坊 当然这个例子只是一个简化的模型,真实的 Casper PoS 模型需要考虑各种安全性、可用性和性能问题。 本系列文章接下来会三章,分别从数据结构和投注,奖励和收回,惩罚等具体流程介绍 Casper 共识算法。 参考 [1] Casper 项目地址:https://github.com/ethereum/casper [2] The Ethereum Killer is Ethereum 2.0: Vitalik id=72346 [6] cbc-casper: https://github.com/ethereum/cbc-casper

54690

Casper系列02——Casper 数据结构与投注出块

Casper 数据结构与投注出块 上一章讲到了 Casper 的基本情况,这一章讲一讲 Casper 的基础数据结构和投注流程。 投注 现存在一个“Casper 合约”,这个合约会保存并跟踪 “验证人池” (validator set),该 Casper 合约被包含在创世块 (genesis block) 中并且没有权限要求 (公开的 ),调用这个 Casper 合约是验证一个区块头部的第一步。 因此,初始化状态的验证人池被定义在创世块并且能够被如下函数 (算子) 修改 (后文为了避免歧义,我们称 Casper 算法的重要操作函数为 Casper 算子) : deposit(bytes validation_code 每个验证人的 randao 都被保存在 Casper 合约中。 如果全部的参数都被接收,验证人池会在下下个时间戳增加一个验证人。

43280
  • 广告
    关闭

    一大波轻量级工具升级重磅来袭

    代码传递思想,技术创造回响!Techo Day热忱欢迎每一位开发者的参与!

  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    RChain的Casper共识算法

    RChain的Casper共识算法是基于Vlad Zamfir的correct-by-construction共识协议和CTO Greg Meredith和其他RChain成员讨论而来的。 他们还为Casper开发了一个模拟器:https://github.com/rchain/Casper-Proof-of-Stake/tree/simulation-dev。 该文章翻译自:https://rchain.atlassian.net/wiki/spaces/CORE/pages/92536846/Casper+for+RChain  翻译水平有限,我本身对区块链的了解也有限

    61470

    Alpha Casper FFG 测试网指南

    什么是 Casper FFG,它是如何工作的 这个话题已经超出了本文内容,你可以在下面的链接中找到更多信息: Proof of stake FAQ Casper FFG paper Presentation by Karl Floersch Jon Choi’s Casper 101 本文接下来的部分,将假定您对 Casper FFG 已经有了一定的了解。 ")) > casper = web3.eth.contract(abi=casper_abi, address='0xbd832b0cd3291c39ef67691858f35c71dfb3bf21' ).call() # This should return the current epoch > casper.get_current_epoch() 通过查询 Casper 合约 ,你可以看到可以调用的所有函数 你也可以创建一个 Python 对象来调用 Casper 合约的命令: >> import urllib.request, json >> casper_abi = casper_abi = json.load

    24820

    Ethereum Casper 101 词汇表

    Casper -- 以太坊的 PoS 研究和项目。 Casper 所设计的机制,是显式强制保证最终确定性。 (BFT 共识算法包括 Paxos,PBFT 和 Casper ,Tendermint). Nakamoto Consensus -- 类似比特币就 PoW 的共识。 Tendermint 是第一个突破,Casper 也正在这一点上积极运作。 在 Casper 中,如果协议效用(protocol utility)是 0,表示执行完美,每个 epoch 都被最终确定,也没有发生安全故障。

    18920

    GUN 意思

    GNU是GNU’s Not Unix的缩写,意思是GNU并不是Unix。那它是什么呢? C程序编译器)、G++(C++编译器)  GUN C Library(GLIBC)  Bash Shell GCC与G++ 首先GCC是the GNU Compiler Collection的意思

    1.9K20

    原来,这就是以太坊3.0的样子

    Casper网络和以太坊2.0的区别 许多人愿意将Casper网络和以太坊2.0放在一起比较。 然而,Casper真正的对手其实是以太坊3.0,它计划将完整的CBC-Casper和WebAssembly包含在内,这也是Casper网络的两个核心功能。 以太坊2.0并没有实现完整的CBC-Casper,它只包括Casper-FFG,将工作量证明(PoW)的活跃属性和CBC-Casper的安全属性相融合,要想实现完整的以太坊2.0(在阶段0、1、2之后) 我们也发现了几个非常有意思的特点: 一站式的内置开发和测试环境。不需要寻找其他第三方服务。部署过程也非常简单。 Metis和Casper网络之间的协同作用 Casper 网络是用于DApp构建、运行和操作的强大且用户友好的基础设施。

    37010

    是什么意思

    pageContext.request.contextPath},由于是新手,没什么经验,但知道{pageContext.request.contextPath},是获取当前根目录,而{ctx}通过观察可以知道也是这一个意思 ,但是不明白为什么这么写,通过问过一个有经验的同事之后才知道,这两个为一个意思,都是获取当前根目录,不同的是{ctx}为{pageContext.request.contextPath}的简写版,经查证之后果真如此

    34320

    openid是什么意思?token是什么意思

    普通用户的一个唯一的标识,只针对当前的公众号有效。也就是说他是唯一的。独一无二的。

    1920

    blockwell.ai KYC Casper Token “牛皮癣广告” 事件分析

    作者:知道创宇404区块链安全研究团队 时间:2018年9月13日 一、背 景 2018年9月7日早上1点左右,许多以太坊钱包账户都收到了一种名为blockwell.ai KYC Casper Token 二、事件跟踪 首先我们从blockwell.ai KYC Casper Token https://etherscan.io/token/0x212d95fccdf0366343350f486bda1ceafc0c2d63 这个事件的始作俑者非常聪明的利用了token名这个自定义输入点:blockwell.ai KYC Casper Token,blockwell.ai这个就是本次事件的主要目的,牛皮癣小广告推广这个网站。

    22720

    TiDB,有点意思了。

    TiDB,有点意思了。 随着对TiDB的接触越来越多,发现这个分布式数据库在某些功能上确实设计的更加人性化,今天在线上的TiDB的运维过程中,又发现了TiDB的一个优点,这里必须表扬一下。 更多更有意思的功能,后续看到了,我继续分享。

    51030

    Casper与V神的博弈论(过节了,文末送大礼)

    众所周知,Casper 是以太坊从 PoW 转型到 PoS 的一个优化版 PoS 共识机制,以太坊创始人 V 神有意通过 Casper 来硬分叉以太坊以实现这个转型。 Casper 是一种以博弈论为基础的共识机制。 为什么这么说?区块链与博弈论有什么关系?不妨往下看! 是什么博弈论? 以博弈论为基础的共识机制前瞻——以太坊Casper共识算法 Casper是以太坊从PoW转型到PoS的一个优化版PoS共识机制,以太坊的核心贡献者V神有意通过Casper来硬分叉以太坊以实现这个转型。 Casper强制参与者加入一个谢林币(Schelling Coin)游戏。参与者们被强制要求将他们的安全保证金押在多数人将下注的事情上。 在这些安全模型的环境下,我们可以看出Casper的弹性集中在不协调选择模型中,且源自贿赂攻击者。Casper在理论上同样对起源于合作攻击者模型的51%攻击敏感。

    36820

    Vitalik Buterin:Casper 权益证明与分片技术最新进展

    验证关键步骤解析 作为本届大会的演讲嘉宾,以太坊联合创始人Vitalik Buterin在上午的会议中分享了Casper 权益证明与分片(Sharding)技术最新进展,尤其是如何成为Casper PoS Casper有全新的算法,分片是解决方案,我会具体跟大家阐述这两种技术流程,如果参与到Casper和分片,从节点角度来说要做什么? 第一步是“存款”,Casper是个验证系统,换句话说,为了加入,需要在权益当中有所存款,存款需要发送存款的交易,这是正常在以太坊上的交易。 验证者在网络当中有两个关键功能,一是Casper过程,参与并且敲定主链,这意味着其可以确保主链上的区块,超过一定点之后,不可逆转。一旦完成,主链就被敲定。 Casper这个工具的主要目的是敲定工具,是链上共识机制的一部分,用于区块的敲定,它可以给区块更多的安全性。 分片提案与可扩展性 以太坊的分片提案包含100个子链,帐户交易信息都储存在子链上。

    26360

    用CasperJS构建你的网络爬虫

    假设你已经安装了Node.js(我的意思是,谁会没安装!)。即使我们没有直接使用PhantomJS,你仍然需要安装它。 你需要做的第一件事是在你的代码中创建一个casper实例,但需要模块并传入一些基本参数 var casper = require("casper").create({ waitTimeout: 10000 现在你可以启动casper实例并将其指向我们要检查的页面。 casper.start(); casper.open("http://techmeme.com"); Casper使用承诺框架来帮助你以有序的方式运行所有内容。首先,你需要使用then函数。 casper.then(function() { //logic here // 函数逻辑 }); //start your script //运行你的脚本 casper.run(); 要让casper

    41030

    ETH2.0 都要来了你还不知道 Casper 吗?(二)

    在上篇文章中,我们介绍了Vitalik原始论文中的Casper FFG,其借助PoS对PoW产生的区块进行确认来提高系统的安全性,但这只是一种过渡的方案,在以太坊2.0中会使用一个纯PoS的Casper 协议,这篇文章中将为大家介绍在以太坊2.0中将要使用的Casper协议。 以太坊2.0中Capser的出块过程 在上一篇文章中,我们介绍的Casper是通过PoW进行出块,使用PoS对区块进行最终的确定。因此,纯PoS的Casper一个需要解决的问题是如何产生区块。 至此我们已经介绍链以太坊2.0中的Casper如何进行出块,接下来将是最后一个部分,如何对候选区块进行最终的确认。 其他的一些小事 为了Casper完整的运行,还有一些小事需要解决,由于篇幅比较短小我们放在一起来说吧。

    38330

    意思的TimeUnit

    java.util.concurrent.TimeUnit 这个类,相信童鞋们都不陌生。它是一个enum:

    20120

    java中=是啥意思

    “=”表示赋值,是一个赋值运算符,可以将一个值赋给一个变量,如int a = 10;把字面量10赋值给整形变量a。

    3420

    PKM是什么意思

    PKM是什么意思? 这三个字母代表着:Personal Knowledge Management,个人知识管理系统。简单地说,就是构建一个系统,把你重要的信息都放在里面管理起来。

    33630

    啥子意思

    5710

    相关产品

    • 腾讯企业邮

      腾讯企业邮

      腾讯企业邮(Tencent Exmail)是腾讯基于多年海量用户邮件系统研发和运营经验,为企业量身订造的一套办公用邮箱系统。稳定、简洁和快速,整合了丰富的企业应用,涵盖资源共享、消息发布、组织管理等方面。腾讯企业邮和微信生态深度整合,为您提供便捷高效的移动邮件解决方案。

    相关资讯

    热门标签

    活动推荐

      运营活动

      活动名称
      广告关闭

      扫码关注云+社区

      领取腾讯云代金券