全部 以太坊 比特币 入门/理论 DeFi 扩容 零知识 NFT 联盟链 公链 安全 跨链 分布式存储 资讯 其他

从零开始学习zk-SNARK(五)—Pinocchio 协议

作为本系列的最后一篇文章，本文继续对 zk-SNARK 协议进行完善，最终形成一个完整的 zk-SNARK 协议
zk-SNARK 

从零开始学习zk-SNARK(四)—多项式的约束

上一篇文章中我们学习了如何将程序转换为多项式进行证明。到这里似乎已经有点晕了，本文将对协议执行进一步的约束，并对协议展开优化。
zk-SNARK 

从零开始学习zk-SNARK(三)—从程序到多项式的构造

前文主要介绍了如何构造多项式的零知识证明协议，现在将开始探讨如何构造更通用的协议。本节主要是讲如何将一组计算的证明转换为多项式进行证明。本文重点主要包括：多项式的算术性质，多项式插值等。
zk-SNARK 

零知识证明 - 椭圆曲线基础

有限域上的椭圆曲线是零知识证明的基础。零知识的实现是基于离散对数问题。从计算的角度来看，F_p是个有限域，在之基础上建立的椭圆曲线点的运算都是在这个域范围内。有限域上的椭圆曲线上有很多循环子群F_r，具有加法同态的特性。离散对数问题指的是，在循环子群上已知两点，却很难知道两点的标量。
零知识证明 
  • Star Li
  • 发布于 2020-01-20
  • 阅读 ( 1895 )
  • ( 18 )

浅谈零知识证明之二：简短无交互证明（SNARK）

相信看完前一篇文章的朋友们会有一点很不解的地方：为什么我们可以如此简短的创建一个证明，并且证明很长的信息呢？在上课前我也有这同样的疑惑，甚至觉得这个是一个“黑科技”，不过相信大家看完这篇文章，就会知道如何去驾驭这个“黑科技”了。
零知识证明  SNARK 

探索零知识证明系列5-构建非交互式零知识证明

探索零知识证明系列（五）
零知识证明 

从零开始学习zk-SNARK(二)-多项式的非交互式零知识证明

上一篇文章（多项式的性质与证明）中，作者介绍了如何利用多项式的性质来证明某个多项式的知识，相信大家已经对构造证明有了一些基本的认识。目前的证明协议仍然存在一些缺陷，本文将会针对这些薄弱项进行改进，进而最终构造出关于多项式的零知识证明协议。本文重点：KEA，交互式零知识证明，非交互式零知识证明和 Setup。

zk-SNARK 

零知识证明 Learn by Coding：libsnark 入门篇

希望通过本系列文章，所有开发者都能亲自上手实践，在短时间内迅速入门 libsnark，一步步了解 libsnark 的基本概念.
区块链  零知识证明  libsnark 

从零开始学习zk-SNARK(一)-多项式的性质与证明

偶然一次机会，看到了 Maksym Petkus 的这篇文章。文章从最基本的多项式性质讲起，从一个简单易懂的证明协议开始，然后像堆积木一样在发现问题，修改问题中逐步去完善协议，直到最终构造出完整的 zk-SNARK 协议。于是想把它翻译出来（已获得作者授权），一方面加深自己的学习，另一方面也将这份宝藏分享给小伙伴们。
zk-SNARK 

浅谈零知识证明：背景与起源

本文介绍零知识证明的背景和起源，阅读后大家对为什么需要零知识证明，和零知识证明到底有多强大，有了一个更加深入的了解。
零知识证明  SNARK 

零知识证明 - Groth16计算详解

Groth16算法是zkSNARK的典型算法，目前在ZCash，Filecoin，Coda等项目中使用。本文从计算量的角度详细分析Groth16计算。Groth16计算分成三个部分：Setup针对电路生成Pk/Vk（证明/验证密钥），Prove在给定witness/statement的情况下生成证明，Verify通过Vk验证证明是否正确。
零知识证明  Groth16 
  • Star Li
  • 发布于 2019-12-19
  • 阅读 ( 8454 )
  • ( 20 )

理解零知识证明算法之 Zk-stark

谈到ZKP算法，大伙可能听过一些，比如zk-snark，zk-stark, bulletproof， aztec， plonk等等。今天，咱就给大伙聊聊这一对“表面兄弟”，zk-stark和zk-snark算法的异同之处。
零知识证明  zk-SNARK  zk-stark 
  • juneocean
  • 发布于 2019-12-18
  • 阅读 ( 2227 )
  • ( 7 )

何谓“零知识”，何谓“证明”？

要解释「零知识证明」，我们需要先解释「证明」，然后解释什么是「知识」，最后再解释什么是「零知识」。
零知识证明  Zcash  Monero 
  • EthFans
  • 发布于 2019-08-01
  • 阅读 ( 42 )

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

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

零知识证明 - bellman源码分析

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

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

摘要

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

零知识证明 - 再谈EYBlockchain

上次我写了一篇 EYBlockchain 在以太坊上创建隐私币, 最近有点时间，重新看了看EYBlockchain的源代码，对EYBlockchain的理解又深入了不少。画了一些图，分享给有需要的小伙伴 :)

密码学  EYBlockchain  零知识证明 
  • Star Li
  • 发布于 2019-07-08
  • 阅读 ( 8113 )
  • ( 20 )

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

缘起

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

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

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

CUDA - cuda-fixnum源代码导读

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