零知识证明 - 深入理解ZoKrates

2018年 Jacob Eberhardt和Stefan Tai两位德国柏林工业大学博士生,提出了链下计算/链上验证的处理框架,并提供了在以太坊上的整个框架的工具链。链下计算/链上验证的思想很早就有,但是能提供比较完善的工具链的实属难得。目前ZoKrates使用zk-SNARK算法实现零知识证明。

  • Star Li
  • 发布于 2019-07-24
  • 阅读 ( 12570 )
  • ( 21 )

Solidity 中 uint 转为 bytes

Solidity 中很多Hash函数, 如:keccak256  等需要bytes作为一个参数,这个时候有时需要把uint转化为bytes 。

  • Tiny熊
  • 发布于 2019-07-10
  • 阅读 ( 14065 )
  • ( 20 )

Libra 源码分析:内存池mempool模块解读-2

mempool模块对于Tx的管理核心全部集中在TransactionStore这个结构,他对外对接的是CoreMemPool结构. 从TransactionStore可以清楚看出缓冲池中Tx增删改查的逻辑.

作为缓冲池,我们先大致说一下这几个功能要考虑的问题.

Libra 
  • 白振轩
  • 发布于 2019-07-04
  • 阅读 ( 7718 )
  • ( 20 )

Libra 源码分析:Libra 中数据存储的 Schema

Libra数据存储使用的RocksDB这个KV数据库.并且Libra存储和以太坊基本上思路是一样的,就是一个MPT树来保存Libra这个超级状态机.

因为RocksDB中除了KV以外,还存在着ColumnFamilyName这一项,这个用起来有点像Bucket.

  • 白振轩
  • 发布于 2019-06-30
  • 阅读 ( 7674 )
  • ( 20 )