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

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

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

零知识证明 - bellman源码分析

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

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

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

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

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

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

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

零知识证明 - 再谈EYBlockchain

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

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

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

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

零知识证明 - Coda SNARK挑战（Stage1）
零知识证明  Coda SNARK 
  • Star Li
  • 发布于 2019-06-28
  • 阅读 ( 4184 )

什么是可验证随机函数VRF

什么是可验证随机函数VRF
VRF 
  • Ashton
  • 发布于 2019-06-23
  • 阅读 ( 8171 )
  • ( 5 )

ECDH秘钥协商算法原理

`ECDH`全称是椭圆曲线迪菲-赫尔曼秘钥交换（Elliptic Curve Diffie–Hellman key Exchange），主要是用来在一个不安全的通道中建立起安全的共有加密资料，一般来说交换的都是`私钥`，这个密钥一般作为“对称加密”的密钥而被双方在后续数据传输中使用。
ECDH  区块链安全  密码学 
  • 清源
  • 发布于 2019-06-23
  • 阅读 ( 27001 )
  • ( 20 )

利用 EYBlockchain 在以太坊上创建隐私币

前一段时间，介绍了几篇零知识证明文章：[入门zkSNARK](https://learnblockchain.cn/2019/04/18/learn-zkSNARK/)， [从 QSP 到 QAP](https://learnblockchain.cn/2019/05/07/qsp-qap/)，[Groth16 算法介绍](https://learnblockchain.cn/2019/05/27/groth16/)， 今天这篇文章分享下利用 EYBlockchain 在以太坊上创建隐私币。
密码学  EYBlockchain  零知识证明 
  • Star Li
  • 发布于 2019-06-13
  • 阅读 ( 12799 )
  • ( 20 )

CUDA - cuda-fixnum源代码导读

CUDA - cuda-fixnum源代码导读
零知识证明  CUDA 
  • Star Li
  • 发布于 2019-06-09
  • 阅读 ( 3859 )

零知识证明 - Groth16算法介绍

Groth16，是由Jens **Groth**在20**16**年提出的算法。GGPR13，是由Rosario **G**ennaro，Craig **G**entry，Bryan **P**arno，Mariana **R**aykova在20**13**年提出的算法。
零知识证明  Groth16 
  • Star Li
  • 发布于 2019-05-27
  • 阅读 ( 29320 )
  • ( 21 )

你真的在使用SHA-3还是旧代码？ | 由Consensys发布 | Medium

文章解释了SHA-3和Keccak之间的差异，指出许多旧代码使用Keccak而非标准SHA-3，并呼吁开发者在使用相关库时明确区分，以避免混淆。
SHA-3  Keccak  哈希函数  NIST  密码学  安全 

快速傅里叶变换

本文详细介绍了快速傅里叶变换（FFT）的原理及其在多项式乘法和多点评估中的应用，特别是在有限域中的实现。文章还提供了相关的代码示例，展示了FFT在计算中的高效性。
快速傅里叶变换  FFT  多项式乘法  多点评估  有限域 

密码学累加器：第一部分

这篇文章介绍了RSA基础的密码累加器及其构造，强调了累加器在远程数据库中的应用，通过提供简短的成员资格证明和非成员资格证明的能力。文章详细讨论了静态和动态累加器的特点，并通过伪代码示例展示了添加和删除元素的功能，最后探讨了批处理和聚合技术以优化累加器的操作。
RSA  密码累加器  成员资格证明  非成员资格证明  批处理  聚合技术 

零知识证明 - 从QSP到QAP

前一段时间，介绍了[零知识证明的入门知识](https://learnblockchain.cn/2019/04/18/learn-zkSNARK/)，通过QSP问题证明来验证另外一个NP问题的解。最近在看QAP问题相关的文章和资料，这篇文章分享一下QAP问题的理解。
密码学  zkSNARK  零知识证明 
  • Star Li
  • 发布于 2019-05-07
  • 阅读 ( 25291 )
  • ( 21 )

零知识证明 - zkSNARK入门

通过这篇文章，能快速建立零知识证明的逻辑框架。
密码学  zkSNARK  零知识证明 
  • Star Li
  • 发布于 2019-04-18
  • 阅读 ( 27616 )
  • ( 30 )

简述零知识证明与zkSNARK

今天这篇文章我们一起来看一下zkSNARK这个拗口的技术到底是什么鬼。
密码学  zkSNARK  零知识证明 
  • 元家昕
  • 发布于 2019-04-16
  • 阅读 ( 14508 )
  • ( 20 )

理解“加密经济学” | 作者：Josh Stark | L4博客 | Medium

文章详细解释了密码经济学的概念，通过比特币、以太坊等区块链案例，阐述了密码经济学如何通过激励和密码学设计新型系统和网络。还探讨了密码经济学与传统经济学的关系，并介绍了当前密码经济学的三个主要研究领域。
密码经济学  区块链  比特币  以太坊  激励机制  共识协议