全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

零知识证明 - Coda SNARK挑战（Stage2）

零知识证明 - Coda SNARK挑战（Stage2）
零知识证明  Groth16  zkSNARK 
  • Star Li
  • 发布于 2019-07-17
  • 阅读 ( 3489 )

详解TLS/SSL运行机制

`TLS`传输层安全性协议（Transport Layer Security）及其前身`SSL`安全套接层（Secure Sockets Layer）是一种安全协议，目的是为互联网通信提供安全及数据完整性保障，`TLS/SSL`协议位于网络OSI七层模型的会话层，用来加密通信。
区块链安全  密码学  TLS  SSL 
  • 清源
  • 发布于 2019-07-16
  • 阅读 ( 11874 )
  • ( 20 )

zkPoD：区块链，零知识证明与形式化验证，实现无中介、零信任的公平交易

> 这篇文章解释利用ZKP(零知识证明)与区块链来实现去中介的交易协议的原理，讲讲我们是怎么把这个理论变成实用的代码的，这是一篇概述，希望了解更多的朋友请关注后续。
zkPoD  zkSNARK  零知识证明 

在钱包里内嵌 DApp

在钱包里内嵌 DApp
DApp  钱包 
  • Ashton
  • 发布于 2019-07-15
  • 阅读 ( 9039 )
  • ( 5 )

零知识证明 - bellman源码分析

bellman是Zcash团队用Rust语言开发的一个zk-SNARK软件库，实现了Groth16算法。
零知识证明  bellman  Groth16 
  • Star Li
  • 发布于 2019-07-14
  • 阅读 ( 7995 )
  • ( 4 )

LIBRA 中的可验证随机数 VRF

`Libra`中采用的椭圆曲线是`ED25519`,而不是像以太坊比特币使用的是`secp256k1`. 虽然有不同,但是从本质上来说他们都是椭圆曲线,基本性质都是完全相同的.因此适用于`S256`曲线的VRF算法在`Libra`中也是相通的.
Libra  随机数  VRF 
  • 白振轩
  • 发布于 2019-07-14
  • 阅读 ( 10346 )
  • ( 20 )

闪电网络路由：正和博弈中的隐私与效率

本文详细介绍了闪电网络中的路由机制，包括其隐私性和效率方面的挑战与改进方案，涉及基础概念如节点、通道、洋葱路由，以及未来可能采用的跳板支付和蚂蚁路由技术。
闪电网络  路由  隐私  效率  洋葱路由  跳板支付 

DeFi 中的比特币

DeFi 中的比特币
DeFi 
  • Ashton
  • 发布于 2019-07-12
  • 阅读 ( 5565 )
  • ( 5 )

初识R3-Corda，解析区块链结构

Corda是一个独特的区块链平台，它允许在法律上可识别的交易对手之间进行私人交易，以易于使用的方式保持传统区块链的优势。另外值得一提的是，它是主要基于Java开发，为代码的落地和编程语言大幅度的降低了门槛。
R3-Corda 

Solidity 中 uint 转为 bytes

Solidity 中很多[Hash函数,　如：keccak256　](https://learnblockchain.cn/docs/solidity/units-and-global-variables.html#index-5)　等需要bytes作为一个参数，这个时候有时需要把uint转化为bytes　。
bytes  Solidity 
  • Tiny熊
  • 发布于 2019-07-10
  • 阅读 ( 16825 )
  • ( 20 )

Nightfall的系统结构、铸币实现及以太坊上通证的转移实现

本文主要是通过对架构设计、承兑型资产铸造、转移和销毁这几个层面进行了详细的理论和实现的分析。
Nightfull  EYBlockchain  零知识证明 

国密算法SM1（SCB2）、SM2、SM3、SM4、SM7、SM9、ZUC

国密算法SM1（SCB2）、SM2、SM3、SM4、SM7、SM9、ZUC介绍
国密算法  密码学 
  • 辉哥
  • 发布于 2019-07-09
  • 阅读 ( 12008 )
  • ( 5 )

以太坊 nonce, 公私钥和地址，BASE64/BASE58

搞懂以太坊易错 nonce、公私钥和地址、BASE64/BASE58 之间的关系
nonce  地址 
  • 辉哥
  • 发布于 2019-07-09
  • 阅读 ( 10092 )
  • ( 6 )

解密零知识证明(二) - Nightfall的系统结构、铸币实现及以太坊上通证的转移实现

## 摘要 Nightfall是一种零知识证明的实现， 它使用zk-SNARKS让同质化ERC20和非同质化的通证ERC721系列的通证进行隐私化转移，使得交易能够完成但是又能足够的匿名。本文主要是通过对架构设...
零知识证明 

零知识证明 - 再谈EYBlockchain

上次我写了一篇[ EYBlockchain 在以太坊上创建隐私币](https://learnblockchain.cn/2019/06/13/EYBlockchain/), 最近有点时间，重新看了看EYBlockchain的源代码，对EYBlockchain的理解又深入了不少。画了一些图，分享给有需要的小伙伴 :)
密码学  EYBlockchain  零知识证明 
  • Star Li
  • 发布于 2019-07-08
  • 阅读 ( 12316 )
  • ( 20 )

零知识证明(一) - 零知识证明的背景

## 缘起 进来参与了很多安永的区块链技术活动，安永发布了基于零知识证明的Nightfall框架。因此决定把零知识证明这个加密体系中的硬核知识给全方位的梳理一遍，就有了此零知识证明系列文章。...
零知识证明 

事实注册合约

本文介绍了一种智能合约的设计模式——事实注册合约（Fact Registry Contract），该模式通过独立的合约来验证和记录声名的有效性。文章详细讨论了何时使用注册合约及其优缺点，特别是在高验证成本和利用简洁证明系统实现规模经济时的优势。作者强调了批量验证的方法如何降低气体成本，从而为不同合约提供经济规模效益。
智能合约  验证  简洁证明  经济规模  批量验证  事实注册合约 

Libra 源码分析：内存池mempool模块解读-3

内存池mempool模块解读第三篇，这部分我主要研究mempool中的节点间Tx同步. 关键代码都位于`shared_mempool.rs`中.
Libra 
  • 白振轩
  • 发布于 2019-07-05
  • 阅读 ( 9469 )
  • ( 20 )

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

[mempool模块](https://learnblockchain.cn/docs/libra/docs/crates/mempool/)对于Tx的管理核心全部集中在`TransactionStore`这个结构,他对外对接的是`CoreMemPool`结构. 从`TransactionStore`可以清楚看出缓冲池中Tx增删改查的逻辑. 作为缓冲池,我们先大致说一下这几个功能要考虑的问题.
Libra 
  • 白振轩
  • 发布于 2019-07-04
  • 阅读 ( 9971 )
  • ( 20 )

“算法稳定币”是一个伪命题！

何为算法稳定币， 算法稳定币，为什么是一个伪命题.
稳定币  算法稳定币 
  • 潘超
  • 发布于 2019-07-03
  • 阅读 ( 3472 )