11 sp42a

尚未进行身份认证

热爱 Web 开发

等级
TA的排名 618

学习用 JS/CSS 画一个时钟

看到某君的时钟Clock代码https://www.cnblogs.com/xingzhi/archive/2011/04/16/2017645.html,想学习怎么画一个时钟,逐重构之,也里面不合理的地方改进(例如用js写css)。全部代码如下:<html><head> <metacharset="utf-8"/> <title...

2019-08-05 21:42:44

Facebook Libra 性能初探

译自:官方文档翻译https://developers.libra.org/docs/crates/consensus。本作品采用知识共享署名-非商业性使用-相同方式共享3.0中国大陆许可协议进行许可。Libra中文网同步翻译http://www.libra-cn.top/document/info/?id=18Libra协议的使命在于至此全球的金融基础设施。性能是满足这种需求不...

2019-07-22 13:09:42

Facebook Libra 共识协议 Consensus 简介

译自:官方文档翻译https://developers.libra.org/docs/crates/consensus。本作品采用知识共享署名-非商业性使用-相同方式共享3.0中国大陆许可协议进行许可。概述共识协议通过多个验证器来创建逻辑模型,这个模型实质是个数据库。共识协议下被提交的交易首先会不断地复制到不同的验证器,然后执行交易,对于交易顺序和执行结果进行检查,看是否能根据事先约定好...

2019-07-17 10:51:39

官方文档翻译《The Libra Blockchain》之执行交易(二)

译自:官方文档翻译《TheLibraBlockchain》之执行交易,第三小节。本作品采用知识共享署名-非商业性使用-相同方式共享3.0中国大陆许可协议进行许可。执行交易执行一次交易在VM内部按照六个步骤有序进行。执行交易与更新账本的两个动作是分开的。先尝试在一部分的序列上执行看交易是否能达成通过。由于执行过程是封闭的,因不会有外界插手所引致的副作用产生。随后如果达成协议,则将其输...

2019-07-16 10:50:03

官方文档翻译《The Libra Blockchain》之执行交易(一)

Libra协议中,修改区块链状态的唯一方法是执行交易。本节将介绍执行一个交易所必须的条件,定义了交易的结构如何,解释了Move虚拟机如何执行一次交易的,还介绍了Move语言的关键概念。

2019-07-13 10:34:24

SEO 小白攻略

填写网页信息title、keywords、description等提交网址入口百度搜索资源平台,https://ziyuan.baidu.com/linksubmit/index,选择【提交非验证站点链接】https://ziyuan.baidu.com/linksubmit/url360http://info.so.360.cn/site_submit.htmlsogouhtt...

2019-07-10 10:27:06

Facebook Libra 内存池组件(Mempool)简介

内存池Mempool是位于内存的缓冲区,那些等待执行的交易便保存于此。概述准入控制(AC)模块将交易发送到内存池。在共识提交之前,内存池将交易保留一段时间。添加新交易时,内存池会与系统中的其他验证器(验证程序节点)共享此交易。内存池是“共享的”,因为各个内存池之间的交易都与其他验证器共享。这有助于维护伪全局的排序(pseudoglobalordering)。当验证器从另一个内存池接收交...

2019-07-04 11:36:50

Facebook Libra 执行组件(Execution)简介

概述Libra区块链是一个复制的状态机。每个验证器都是一个系统的副本。从状态S0开始,每笔交易Ti更新前一个状态Si-1到Si。每一个Si实际是一个map,映射了账户(以32字节地址表示)和该账户所关联的数据。执行组件输入的交易是有序的交易,通过Move虚拟机计算每笔交易的输出,然后把输出结果应用到前一个状态,最后生成新的状态。执行组件使用HotStuff的领...

2019-07-03 23:31:08

Move: A Language With Programmable Resources:区块链如何管理数字资产

区块链如何管理数字资产区块链之抽象区块链是一个复制的状态机。系统中的复制器称为验证器。系统用户将交易事务发送给验证器。每个验证器都了解如何执行交易,内部状态机就会把当前状态转换为新的状态。交易详情都是共享的,验证器根据共识协议(Consensusprotocol)来执行交易,这些验证码会集体决定状态如何以及维护和复制状态。如果验证器从相同的初始状态开始,并且验证器同意下一笔交易应该是...

2019-07-02 15:24:52

Calibra:一种新型的全球货币数字钱包

Calibra是一家新成立的Facebook子公司,其目标是提供金融服务,使人们能够参与访问Libra网络。第一款Calibra推出的产品是Li​​bra数字钱包,Libra是一种由区块链技术驱动的新型全球货币。Messenger、WhatsApp或其他独立应用程序会整合电子钱包,我们预计将在2020年推出。今天,你拥有的互联网连接,可以轻松获得各种有用的服务——无论...

2019-07-01 19:35:00

Facebook Libra 网络模块简介

网络网络组件提供了点对点与其他验证器组件之间的通讯原语。概述网络组件专门用于促进共识和共享的mempool协议。目前,它为这些消费者提供了两个主要接口:RPC,用于远程过程调用DirectSend,用于向单个接收器发送即发消息的消息。网络组件使用:用于对等寻址的Multiaddr方案。TCP用于可靠的传输。用于身份验证和完整端到端加密的噪声。Yamux用于在单个连...

2019-07-01 15:20:09

Facebook Move 语言设计目标

Libra的使命是建立一个简单的全球货币和金融基础设施,赋惠于数十亿人。Move语言旨在提供安全,可编程的基础。Move本身必须能够体现Libra货币是在一个精确的,可理解的及可验证的规则下治理。从长远来看,Move必须能为不同类型的资产及其业务逻辑提供一个完善的财务基础设施。为了满足这些要求,我们设计了Move,考虑了四个关键目标:面向资源、灵活性、安全性和可验证性。面向资...

2019-07-01 11:51:17

Facebook Libra 存储(Storage)简介

存储存储模块为LibraBlockchain上的整个数据集提供可靠且高效的持久化存储,以及LibraCore内部所使用的必要数据。概观存储模块旨在实现两个主要目的:保留区块链数据,特别是验证方通过共识协议达成一致的交易及输出。为区块链数据的查询提供Merkle校样的响应。如果客户端已获得正确的根哈希,则客户端可以轻松验证响应的完整性。LibraBlockchain...

2019-06-30 19:35:12

Facebook Libra 准入控制(AC)简介

准入控制AdmissionControl准入控制(AC)是Libra的公共API,它响应来自客户端的公共gRPC请求。概述准入控制响应客户端的两种请求:SubmitTransaction-将交易提交给关联的验证器。UpdateToLatestLedger-查询存储,例如帐户状态,交易日志,协议等。实施细节准入控制(AC)实现了两个公共API:Sub...

2019-06-30 13:27:54

Facebook Libra 加密简介

加密Crypto我们在Libra中用到的所有加密原语,都实现在Crypto加密组件中,它包含:散列(Hashing),签名和密钥派生/生成。在即将到来的版本中将包含的加密原语(位于NextGen目录)有:新的加密API来保证类型安全、可验证的随机函数、BLS签名。概述Libra使用了几种加密算法:SHA-3作为主要的哈希函数。它在FIPS202中被标准化。...

2019-06-29 17:48:34

Facebook Move 语言 IR 编译器简介

MoveIR编译器概述MoveIR编译器将MoveIR编译为字节码。MoveIR编译器将在Move中编写的模块和脚本编译为各自的字节码。输出的两种数据类型分别是CompiledModule和CompiledScript。这些数据类型在file_format.rs中定义。除了将MoveIR转换为Move字节码之外,编译器还是字节码验证器的测试工具。因...

2019-06-28 13:14:33

Facebook Move 语言虚拟机 VM 简介

虚拟机VMMoveVM执行以Move字节码表示的交易。它有两个核心包:核心VM和VM运行时。VM核心包含VM的低级数据类型——主要是文件格式及其抽象。此处还定义了燃气计量(Gasmetering???)逻辑抽象。概观MoveVM是具有静态类型系统的堆栈机。MoveVM从几个方面来约束Move语言规范,包括混合文件格式、验证(可参阅验证器README)和运...

2019-06-28 13:04:09

为什么 Facebook 的 Move 语言叫 Move?

Facebook提出Move,一种安全灵活的Libra区块链编程语言。Move是一种可执行的字节码语言,用于实现自定义交易和智能合约。Move的关键特性是能够定义具有受线性逻辑启发的语义的自定义资源类型:资源永远不会被复制或隐式丢弃,只能在程序存储位置之间移动(Move)。这些安全保证都由Move的类型系统静态强制执行。尽管有这些特别保护,但资源还是程序中普通的一个值—...

2019-06-27 13:05:20

Facebook Move 语言简介

简介Move是一种新型编程语言,旨在为Libra区块链提供安全及可编程的基础。语言组织Move语言的目录一般由五个部分组成:虚拟机(VM),它包含了字节码格式、字节码解释器和用于执行区块链交易的基础结构。此目录还包含生成区块链的基础结构。字节码验证器,它包含一个用于拒绝无效Move字节码的静态分析工具。虚拟机在执行每一段新的Move代码之前,先对它的字节码进行验证。编译...

2019-06-27 09:42:20

π-演算十三问 FAQ on π-Calculus

https://www.cs.cmu.edu/~wing/publications/Wing02a.pdfπ-演算十三问FAQonπ-CalculusJeannetteM.WingVisitingResearcher,MicrosoftResearchProfessorofComputerScience,CarnegieMellonUniversity27D...

2019-06-11 14:43:04

查看更多

CSDN身份
  • 博客专家
勋章 我的勋章
  • 领英
    领英
    绑定领英第三方账户获取
  • GitHub
    GitHub
    绑定GitHub第三方账户获取
  • 持之以恒
    持之以恒
    授予每个自然月内发布4篇或4篇以上原创或翻译IT博文的用户。不积跬步无以至千里,不积小流无以成江海,程序人生的精彩需要坚持不懈地积累!
  • 勤写标兵Lv1
    勤写标兵Lv1
    授予每个自然周发布1篇到3篇原创IT博文的用户。本勋章将于次周周三上午根据用户上周的博文发布情况由系统自动颁发。