自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(10)
  • 资源 (10)
  • 论坛 (1)
  • 收藏
  • 关注

翻译 Facebook Libra 存储(Storage)简介

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

2019-06-30 19:35:12 933

翻译 Facebook Libra 准入控制(AC)简介

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

2019-06-30 13:27:54 390

翻译 Facebook Libra 加密简介

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

2019-06-29 17:48:34 984

翻译 Facebook Move 语言 IR 编译器简介

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

2019-06-28 13:14:33 667 1

翻译 Facebook Move 语言虚拟机 VM 简介

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

2019-06-28 13:04:09 359

原创 为什么 Facebook 的 Move 语言叫 Move?

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

2019-06-27 13:05:20 389

翻译 Facebook Move 语言简介

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

2019-06-27 09:42:20 866

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

https://www.cs.cmu.edu/~wing/publications/Wing02a.pdfπ-演算十三问 FAQ on π-CalculusJeannette M. WingVisiting Researcher, Microsoft ResearchProfessor of Computer Science, Carnegie Mellon University27 D...

2019-06-11 14:43:04 1836

原创 收集一些免费的开发第三方服务

所谓第三方服务,就是不用我们编程就可以享受的功能。尽管大家都关心是否免费,但不得不说的是免费通常伴随着不靠谱,说不定哪天说挂就挂,即使大厂也不例外。当然有些服务还是能够经得起考验的。另外,一般优先考虑国内的服务,而且还要注重实效性。

2019-06-05 10:49:44 464

原创 利用高阶函数封装 CountDownLatch 多线程并发远程下载

CMS 里面的文章,需要把正文的图片保存到本地。这需求正好适合 CountDownLatch 来解决,它内部提供了一个计数器,完成了一件事情就减去一,最终为零表示所有任务结束。当前我们的任务就是并发下载多张图片,起初的写法是这样的(出处),import java.util.concurrent.CountDownLatch;public class PicDownload { static...

2019-06-04 14:08:59 252

Ext JS 3.1~3.3 API中文文档(CHM格式)

Ext JS 3.1~3.3 API中文文档(CHM格式) 比较完整的版本。

2010-09-05

数据库转换神器 ESF Database Migration Toolkit - Professional

数据库转换神器 ESF Database Migration Toolkit - Professional

2015-11-25

羽量级在线 HTML 编辑器

无任何 JS 库依赖,简单易懂

2021-02-25

Firefox Setup 56.0.2.exe

老版本的Firefox 支持旧插件的最后一个版本,注意安装后立刻断网,禁止自动更新

2019-08-12

商城测试用图片.7z

商城测试用图片,有各种规格,用 7zip压缩。这份是根据电商中所涉及的业务点整理出的图片,更多的偏向于产品功能性的测试。其后所涉及到的性能测试、压力测试、集成测试等,会在进一步分析,作为一名产品经理应该了解到这部分图片。

2020-02-16

ASP 空间探针(JScript 写的)

ASP 空间探针(JScript 写的),作者:cocoon sTudio. 2002/12/12

2015-10-13

JDK JavaScript 独立运行时 Nashorn,Java 7 可用

JDK JavaScript 独立运行时 Nashorn,Java 7 可用。比 Rhino 更快,更好用

2016-01-10

技术作家林信良博客精华 PDF

本人收集林大大的博客文章,放在一起了。特别是函数式的比较关注

2015-10-21

HDTunePro 5(Win8修正版).zip

HD Tune Pro硬盘检测工具是一款小巧易用的硬盘工具软件,其主要功能有硬盘传输速率检测,健康状态检测,温度检测及磁盘表面扫描等。解决 Win8 边框问题,不会过期,好用!

2019-08-12

DB Browser for SQLite.zip

DB Browser for SQLite 是一款 Sqlite 数据库编辑器,用户通过软件能够非常方便快捷的创建以及查看数据库。开源免费!

2019-08-12

sp42a的留言板

发表于 2020-01-02 最后回复 2020-01-02

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人 TA的粉丝

提示
确定要删除当前文章?
取消 删除