SNARK 第2页

解释SNARKs 第1部分：同态隐藏

原文出自：https://blog.z.cash/snark-explain/作者：ArielGabizon译者：Matter实验室Constructionsofzk-SNARKsinvolveacarefulcombinationofseveralingredients

Matter实验室·2022-02-16 11:25

读懂区块链之零知识证明（zk-SNARK）

零知识证明：从小白到明白如今，知识快餐业发达，区块链这么火的领域自然不会落下。经过一轮轮扫盲，共识、工作量证明、闪电网络等等概念对普罗大众已不再陌生，甚至各种解构、比喻、引申，将术语炒得比本义还玄乎。然而，如果不理解甚至没听说过零知识证明，那你基本还属于区块链小白。之所以这么说，原因有二。其一，零知识证明是代数数论、抽象代数等数学理论的综合应用，与闪电网络一类的精巧设计不同，属于硬技术。如果不是数

逐舞传歌·2021-08-22 08:17

匿名币小科普：zk-SNARKs和zk-STARKs能一样吗？

在旨在为区块链提供隐私的各种加密技术中，zk-SNARK证明和zk-STARK证明就是两个不错的例子。Zk-S

区块第一站·2021-06-21 03:56

猩动力丨基于SNARK计算的GPU计算池服务

前言我们需要着重强调的一点是，Filecoin挖矿基于有效存储数据量共识，Filecoin本质是一个存储挖矿的项目，因此为了赢得更多区块奖励，直接是与存储有效数据的量，即经过网络验证的数据量相关，而不是与服务器运行的GPU数量成线性关系。在Filecoin挖矿过程中，矿工在存储能力共识而非GPU能力上竞争。矿工只有在赢得选举票时才在ElectionPoSt环节中使用GPU。获取算力的最佳和最便宜的

猩动力·2021-06-15 18:55

密码学系列 - 椭圆曲线 - BLS12-381

BLS12-381是一种Zcash中所使用的新型zk-SNARK椭圆曲线加密算法，隶属于Bellman库，由Rust语言所实现，它的特点是小巧易用，能快速验证，同时兼备加密时延和快速可验证两个特性。

搬砖魁首·2021-04-14 11:02

零知识证明在区块链中的应用

零知识证明在区块链中的应用一、引言二、相关理论1.区块链2、零知识证明三、区块链中零知识证明的应用1、zk-SNARK2、ZeroCash四、总结参考文献一、引言在国家重视和政策扶持下，区块链技术的迅猛发展

打工崽_·2021-03-24 13:21

Zcash halo2 背后技术衍化介绍

1.引言自2019年起，ECC团队就在为2021年Zcash的扩展性进行了相关预研，最主要的研究成果就是Halo，作为一种新型的zk-SNARK方案，其解决了Zcash中的2个主要问题：在保证了性能的前提下

mutourend·2021-02-25 10:32

Zcash——zk-SNARKs区块链隐私协议领导者

1.引言越来越多的个人和企业用户关注隐私、灵活以及性能，Zcash基于zk-SNARK构建的隐私协议，可提供相应的解决方案。在数字时代，用户隐私经常受到黑客攻击、监视、分析等攻击。

mutourend·2021-02-20 09:44

【译】SNARKs讲解「第七部分」：椭圆曲线的配对

原文链接<<<第六部分在第六部分，我们看到皮诺曹zk-SNARK的一个轮廓。我们还差2样东西：一个支持加法和乘法的HH，它在验证者检查的时候会用到；另一个是从交互协议到非交互证明系统的转换。

unclelikestolearn·2020-09-10 18:22

【译】SNARKs讲解「第二部分」：多项式的盲求值

原文链接https://electriccoin.co/blog/snark-explain2/>>第三部分我们不想发送PPP给Bob的主意原因是它太大了，有d+1d+1d+1个元素。

unclelikestolearn·2020-09-10 18:20

【译】SNARKs讲解「第一部分」：同态隐藏

原文链接https://electriccoin.co/blog/snark-explain/构造zk-SNARKs，需要对它的几个组成部分进行仔细的组合。

unclelikestolearn·2020-09-10 18:20

渔船监管的零知识证明zk-snark实战

零知识证明可以在不泄露具体信息的情况下向其他人证明自己掌握该信息，这听起来非常适合去中心化应用。在这个教程中，我们将利用zksnark来实现一个具体的NodeJS零知识证明应用：渔船无需透露自己的具体位置，就可以向监管机构证明自己处于划定的合法捕捞区内——我们的主要武器是snarkjs和circom。用自己熟悉的语言学习以太坊DApp开发：Java|Php|Python|.Net/C#|Golan

新缸中之脑·2020-09-10 17:05

币须知道 |V神对Zcash的ZK-SNARK的技术提出质疑，Facebook将允许部分加密货币广告投放...

加密货币的洗钱会对国会和监管构成挑战·韩国金融服务委员会：将加强对虚拟货币交易银行账户的监管·美国佛罗里达州设立监管加密货币职位·冰岛政府担忧加密货币繁荣期过后会伤害冰岛经济行业要闻·V神对Zcash的ZK-SNARK

耳朵财经·2020-09-10 10:51

解释SNARKs 第3部分：知识系数测试和假设

原文出自：https://blog.z.cash/snark-explain3/作者：ArielGabizon译者：Matter实验室InPartII,wesawhowAlicecanblindlyevaluatethehidingE

Matter实验室·2020-08-19 21:19

全球首发 —— GPU SNARK外包集群服务

不知不觉，2020年已经快过去一半。我们经历了新冠疫情，经历了全球经济的剧烈波动，现在国内的一切正在缓慢复苏，而Filecoin主网上线之路也如同2020的开年一般坎坷，协议实验室的成员正在为更完美的Filecoin实现而努力，我们作为社区的一份子也在尽自己的力量。随着上线日期越来越临近，在这关键的时间节点，为大家揭晓其中一项重要的技术创新——星际大陆自主研发的全球首个FilecoinSNARK外

IPFSMAIN_Ficoin·2020-08-17 20:41

[Filecoin]协议实验室关于SNARK竞赛的公告

协议实验室近期公布了对于SNARK竞赛的赞助公告，SNARK竞赛旨在协助zk-SNARKs缩短证明生成时间，推动零知识证明更广泛的应用。

星际浪涛·2020-08-15 17:16

说说zk-snark的PGHR13算法和Groth16算法的异同

建议建议读者在阅读本篇分享时，要具备以下知识储备：1.算数环路的基本概念及数学模型2.QAP的原理3.零知识证明的基本思想4.PGHR13算法的数学原理5.Groth16算法的数学原理目的本篇分享主要针对零知识证明的两个主流算法，PGHR13和Groth16算法进行了相同点和异同点的分析。主要是个人的理解，如有错位，还请热心读者批评指正，先谢过^_^对比分析主要从以下几点做了比较：1.算法结构上(

江小白希·2020-08-15 09:34

零知识证明libSnark中Groth16算法的优劣——可加工性攻击问题

Groth16相比于PGHR13和GM17实现，具有一定的时间和空间优势，具体可参考：libsnark中有对snark的不同实现方法做了性能对比：ZoKrates中采用的是Ethereum支持的ALT_BN128

mutourend·2020-08-15 07:48

零知识证明Zero-Knowledge Proofs

但是示证者不会进行透露任何的有关信息Non-interactive非交互式区块链的ZK-SHARKS示证者和验证者之间不要进行过多的交流，直接进行验证zk-SNARK全称是zero

chenyundage107·2020-08-15 04:27

密码学系列 - 可验证时延加密算法(VDF)

两种解决方案❑迭代SNARK哈希链，迭代过程实现时延特性，zk-SNARK本身满足可验证特性。目前已小范围被应用。❑模的平方根方法，这也是一种常见的可验证加密方法。缺

搬砖魁首·2020-08-06 09:53

零知识证明一：zksnarks资料总结

1、zcash官方的七篇文章，个人感觉HH和d-KCA讲的比较清晰，R1CS和QAP就不清晰了，最好自己拿起笔计算一下，可能会更快的理解；1）https://electriccoin.co/blog/snark-explain

許文強·2020-08-05 11:22

区块链研究实验室 | 以太坊中的ZK-SNARK预编译合同

ZK-SNARKs的神奇之处在于基于椭圆曲线配对的一些重型密码术。当您仔细观察时，智能合约可以在以太坊交易的gas成本限制内执行必要的数学计算，这是相当令人印象深刻的。那么，秘诀是什么？以太坊预编合同ZK-SNARKs是相当硬核的加密技术，并且正如你所期望的那样计算量非常大。让我们来看看镜头下的相关方法：仔细观察后，这种方法并没有做任何特别的事情。它接收两个相同长度的数组，表示两条椭圆曲线中的点。

区块链研究实验室·2020-08-05 11:29

zk-snark的算法详解

前言了解零知识证明的读者，可能都拜读过V神的文章，整个系列由浅入深，很有条理，相对其他文章更容易理解一下。其实V神讲解的算法是PGHR13算法的整体步骤，此算法也被应用于知名项目Zcash中，现在，就让我们去一起探究，在实际项目中，PGHR13算法是具体的什么步骤呢？PGHR13在Zcash的Sapling版本升级之前，其采用的零知识证明算法的主体就是PGHR13，并因为效率和安全问题，做了一些改

江小白希·2020-08-05 11:33

详细讲解：零知识证明之 zk-SNARK 开篇

af913337456…腾讯云专栏：cloud.tencent.com/developer/u…虫洞区块链专栏：www.chongdongshequ.com/article/153…目录前序零知识证明零知识证明与zk-SNARK

weixin_34396103·2020-08-05 11:05

8种主流zk-SNARKs零知识证明构建的对比

zk-SNARK是一个快速发展的领域，仅在过去的两个月里，就宣布了数个突破性的zk-SNARK构建。曾经必须的可信设置现在已经是冗余的了，这意味着可以使用任何计算。

新缸中之脑·2020-08-05 11:37

隐私保护之zk-SNARK

zk-SNARK概述zk-SNARK，就是一个为了将实际的零知识证明类问题转为计算机程序问题的理论。

跨链技术践行者·2020-08-05 11:02

zcash官方介绍 zk-SNARK circuit->QAP转化

mutourend·2020-08-05 10:21

Bulletproof现有代码实现说明

1.Bulletproof特征Bulletproof相对于zk-SNARK，不需要trustsetup过程。但是verify一个proof的时长要超过zk-SNARK。

mutourend·2020-08-05 10:21

Zksnark--终极原理（二）

首先，zk-SNARK不能直接应用于任何计算问题；相反，您必须将问题转换为操作的正确“形式”。这种形式被称为“二次算术程序”(QAP)，将函数的代码转换成这些代码本身就非常重要。

Mr.Yi·2020-08-05 10:59

zkSNARK 零知识验证

参考文献ZCash7篇，有社区翻译版，但还是推荐看原汁原味的https://z.cash/blog/snark-explain.htmlVitalik3篇，小天才作者我就不介绍了，这三篇介绍得也是很透彻

dielucui7698·2020-08-05 10:41

零知识证明 - bellman源码分析

bellman是Zcash团队用Rust语言开发的一个zk-SNARK软件库，实现了Groth16算法。

StarLi_2020·2020-08-05 10:17

加法/乘法同态加密算法及在zk-SNARK中的应用

目前，全同态加密（FullyHomomorphicEncryption,FHE）因当前算法复杂度问题，离实用仍有距离。半同态加密一般指的是：加法同态和乘法同态。加法同态：满足E(X)E(Y)=E(X+Y)。典型的例子为：椭圆曲线加密算法中，E(x)=gx（其中g为椭圆曲线的generator），则E(x)E(y)=gxgy=g(x+y)=E(x+y)，具有加法同态性。以及PedersenCommi

mutourend·2020-08-05 10:32

以太坊2.0或将于2020年推出

Aztec协议旨在通过使用SNARK零知识（zero-knowledge）在以太坊(ETH)区块链中引入机密

必势得云·2020-08-04 13:37

椭圆曲线加密概览

椭圆曲线配对是各种构造背后的关键密码原语之一，包括确定性阈值签名，zk-SNARK和其他更简单形式的零知识证明。

以太猫·2020-07-30 09:13

解释SNARKs 第2部分：多项式盲估

原文出自：https://blog.z.cash/snark-explain2/作者：ArielGabizon译者：Matter实验室Inthispost,werecallthenotionofapolynomial

Matter实验室·2020-07-27 19:35

GmsHash云算力合约周报

拜占庭在Ropsten测试网上的测试阶段于上周二正式启动，并且已经验证了首笔zk-snark证明

郭禹志·2020-07-15 09:10

zk-SNARK零知识证明曲线选择——BN128 VS BLS12-381曲线

libsnark中提供的椭圆曲线选择有：edwards:aninstantiationbasedonanEdwardscurve,providing80bitsofsecurity.bn128:aninstantiationbasedonaBarreto-Naehrigcurve,providing128bitsofsecurity.Theunderlyingcurveimplementation

mutourend·2020-07-11 13:00

【动态】Zcash开发人员发布新技术，改善zk-SNARK

Zcash是市值排名第17位的加密货币，使用前沿加密技术zk-SNARK来隐藏余额和用户地址，但这种技术也存在一个很难忽略的弊端，即匿名交易缓慢。

区块链铅笔·2020-07-10 21:34

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

这次，我们专注的聊一聊SNARK。相信看完前一

安比实验室SECBIT·2020-07-07 00:44

ChainX与Polkadot, Cosmos, EOS,币安公链的区别

Polkadot上线时，官方只支持4条平行链，以太坊合约转接桥链、Substrate合约链、ZK-SNARK链、快速支付链，现有区块链世界的资产桥

u014337203·2020-07-06 18:55

解释SNARKs 第4部分：如何进行可验证多项式盲估

原文出自：https://blog.z.cash/snark-explain4/作者：ArielGabizon译者：Matter实验室Inthispart,webuildonPartIIandIIItodevelopaprotocolforverifiableblindevaluationofpolynomials

Matter实验室·2020-07-06 12:16

零知识证明 - Groth16算法介绍

看zk-SNARK的文章或者资料的时候，经常会碰到一些算法名称，比如Groth16，GGPR13等等。这些名称是由算法提出的作者名称或者名称首字母以及相应的年份组成。

StarLi_2020·2020-07-01 13:03

你知道还有比 zk-SNARK、FHE 更逆天的技术吗？有请 MPC 登场

在越来越多对数据隐私的担忧声中，政府开始行动制定数据使用合规法案。而另一方面，对数据的保护，却产生了一个矛盾：大量的数据因为需要依法保护而无法被联合在一起计算。反过来试想一下，如果全世界的基因数据能够联合在一起分析，人类或许可以更快找到癌症的解药。这让我们大胆地去思考，是否存在一种保护数据安全而又能够有效利用数据的方式？1980年代，姚期智院士提出了「百万富翁」问题：两个百万富翁街头邂逅，他们都想

yuxinqingge·2020-06-30 10:30

以太坊四个区块链底层协议的研究方向

以太坊四个区块链底层协议的研究方向-整合zk-SNARK:通过新指令(opcode)或者更理想的，利用EVM(以太坊虚拟接)现有的256位模运算指令，让以太坊合约获得验证succinctzero-knowledgeproof

wynjxj·2020-06-29 22:43

Filecoin测试网前最后仪式！星际大陆1小时内通过可信设置

星际大陆在北美西部时间11月7日18:26成功完成了可信设置PowersofTau，并安全地生成了SNARK参数。

IPFS星际大陆·2020-06-29 07:05

白话零知识证明（二）

相信许多小伙伴和我一样，在阅读各种关于zk-SNARK的论文和博客过程中，都曾被QAP搞得一头雾水，Vitalik这篇博客的

chixiao5404·2020-06-22 22:04

币聪百科：数百种数字币钱包，我们选出了几款2018最佳Zcash-ZEC钱包

这些zk-SNARK允许在不暴露发件人，收件人或交易金额的情况下验证交易-提供最终的区

币聪财经·2020-04-13 07:01

零知识证明中的超级新星：zk-SNARKs

零知识证明中的超级新星：zk-SNARKs什么是zk-SNARKszk-SNARK是“Zero-KnowledgeSuccinctNon-InteractiveArgumentofKnowledge”的简称

建怀·2020-04-08 12:47

Lecture-1 summary

Lecture-1summaryringsignature和zk-snark进行比较简单理解环形签名，有n个用户，他们都有一对公私钥，有一个用户有一个信息m，需要给其他所有用户证明自己拥有信息m。

建怀·2020-03-30 00:37

深入理解手里的代币——ZCash

ZCash由约翰霍普金斯大学加密专家MatthewGreen领导的团队设计，结合了以色列理工学院计算机科学家EliBen-Sasson开发的零知识证明zk-SNARK。

张永胜_永往直前·2020-03-20 04:12

推荐频道

SNARK