E-COM-NET
首页
在线工具
Layui镜像站
SUI文档
联系我们
推荐频道
Java
PHP
C++
C
C#
Python
Ruby
go语言
Scala
Servlet
Vue
MySQL
NoSQL
Redis
CSS
Oracle
SQL Server
DB2
HBase
Http
HTML5
Spring
Ajax
Jquery
JavaScript
Json
XML
NodeJs
mybatis
Hibernate
算法
设计模式
shell
数据结构
大数据
JS
消息中间件
正则表达式
Tomcat
SQL
Nginx
Shiro
Maven
Linux
zksnark
ZKP 之
zksnark
协议实现
SNARKs的基本思路是Computation→ArithmeticCircuit→
smilejiasmile
·
2023-10-30 03:40
#
隐私计算与零知识证明
零知识证明
区块链
去中心化
ripple ,stellar,zksnarks
sec-bit.github.io/blog/2019/12/25/learn-zk-snark-from-zero-part-one/2.https://blockchain.iethpay.com/
zkSNARK
-intro.html3
sphinxLike
·
2023-09-30 04:42
arkworks工具栈概览
1.引言arkworks定位为
zkSNARK
编程的Rust生态。
mutourend
·
2023-09-16 00:46
隐私应用
隐私应用
BSV 上的双线性配对
Zcash实现了自己的零知识证明算法,名为zk-SNARKs(零知识简洁非交互式知识论证)以太坊支持配对检查以执行
zkSNARK
验证DFI
sCrypt Web3应用开发
·
2023-09-05 05:13
智能合约
智能合约
区块链
比特币
算法
5.
zksnark
几种实现算法性能对比
像zk-SNARK这样的零知识证明有很多应用:Zcash利用零知识证明来保护隐私,Coda和Mir利用零知识证明将整个区块链压缩到只有几K字节,0x和Matter则利用零知识证明将许多交易封装为以太坊上的单一证明。1、可信设置传统的zk-SNARK,例如Groth16有一个主要的缺点:依赖于一个公共的参考字符串,该字符串使用一次性可信设置创建。该设置创建一个供证明方和验证方同时使用的参考字符串。这
smilejiasmile
·
2023-08-26 08:43
#
隐私计算与零知识证明
区块链
零知识证明
3. ZKP 之 Plonk 协议实现
文章目录Plonk个人总结如何理解电路GateConstraintsCopyconstraints多项式承诺参考资料Plonk个人总结PlonK相比起之前的
zkSNARK
协议来说,主要区别在于如下三点:
smilejiasmile
·
2023-08-26 08:13
#
隐私计算与零知识证明
零知识证明
区块链
去中心化
ZK+麦克风:反AI音频认证
这种信任链可以使用加密技术建立:经过认证的麦克风用于捕获音频,并通过
ZKSNARK
进行最终播放。
mutourend
·
2023-06-15 03:42
隐私应用
ZKP应用
零知识证明详解五:计算转为多项式
zkSNARK
是zero-knowledgesuccintnon-interactiveargumentsofknowledge的简称,意思是:简洁的非交互的零知识证明(本文授权BH好文好报群摘编、转载以及相关转授权推文行为
鹏飞_3870
·
2023-04-11 07:30
零知识证明
WhyandHowzk-SNARKWorks:DefinitiveExplanationhttps://arxiv.org/abs/1906.072211.Introduction零知识简洁的非交互知识论证(
zkSNARK
龙小治
·
2023-03-20 05:08
多项式知识的
zkSNARK
参考文献:PetkusM.Whyandhowzk-snarkworks:Definitiveexplanation[J].arXivpreprintarXiv:1906.07221,2019.KilianJ.Anoteonefficientzero-knowledgeproofsandarguments[C]//Proceedingsofthetwenty-fourthannualACMsympo
山登绝顶我为峰 3(^v^)3
·
2023-01-20 15:26
#
零知识证明
机器学习
信息安全
密码学
网络
区块链
什么是ALEO,深度解析及获取方法
在本版本中,我们将部署Testnet3原始路线图中概述的许多关键功能,例如部署和执行用户定义的程序,以及激励开发
zkSNARK
证明硬件的谜题。什么是Aleo?
yu13319416085
·
2022-12-15 14:05
区块链
哈希算法
区块链交易隐私如何保证?华为零知识证明技术实战解析
本文通过介绍华为如何在同态加密及零知识证明框架的集成介绍来介绍了一些对金融领域交易隐私保护的思路,通过代码结和应用场景描述了
zksnark
如何集成到现有联盟链体系保护交易隐私。
·
2022-09-01 23:35
程序员
PLONK个人笔记
文章目录个人总结如何理解电路GateConstraintsCopyconstraints多项式承诺参考资料个人总结PlonK相比起之前的
zkSNARK
协议来说,主要区别在于三点,1-首先是在将电路解释为多项式的时候
AdijeShen
·
2022-04-17 10:38
零知识证明
阅读笔记
密码学
数论
数学
抽象代数
零知识证明
PLONK
零知识证明详解七——椭圆曲线配对
zkSNARK
是zero-knowledgesuccintnon-interactiveargumentsofknowledge的简称,意思是:简洁的非交互的零知识证明(本文授权BH好文好报群摘编、转载以及相关转授权推
鹏飞_3870
·
2021-06-19 20:37
21期:零知识证明详解一:同态隐藏
zkSNARK
是zero-knowledgesuccintnon-interactiveargumentsofknowledge的简称,意思是:简洁的非交互式的零知识证明。
鹏飞_3870
·
2021-06-07 11:44
区块链基本概念及核心技术
区块链是现有技术的组合二、区块链分类三、区块链技术演进四、区块内容(以BTC为例)**blockheader****blockbody**核心技术一、密码学哈希算法HashAlgorithm签名Signature零知识证明
zkSNARK
啥也不是的菜鸡
·
2020-09-11 08:48
区块链学习
渔船监管的零知识证明zk-snark实战
在这个教程中,我们将利用
zksnark
来实现一个具体的NodeJS零知识证明应用:渔船无需透露自己的具体位置,就可以向监管机构证明自己处于划定的合法捕捞区内——我们的主要武器是snarkjs和circom
新缸中之脑
·
2020-09-10 17:05
区块链
零知识证明 -
zkSNARK
入门
网络上讲解零知识证明的文章就不多,这些文章要不太浅显,要不太深入,很少有能给入门者整体框架上的认识。比如,阿里巴巴零知识证明就是一个非常好的通俗理解零知识证明的例子:阿里巴巴被强盗抓住,为了保命,他需要向强盗证明自己拥有打开石门的密码,同时又不能把密码告诉强盗。他想出一个解决办法,先让强盗离开自己一箭之地,距离足够远让强盗无法听到口令,足够近让阿里巴巴无法在强盗的弓箭下逃生。阿里巴巴就在这个距离下
StarLi_2020
·
2020-09-10 11:51
零知识证明
《数字货币交易所架构初探》— PPIO Code Talks 第二期续
通过上一期文章,我们详细报道了Star.LI老师的主题分享《零知识证明–
zkSNARK
入门》。在本期文章中,我们将会报道王伯洋老师
PPIO
·
2020-09-10 11:35
PPIO
《零知识证明 –
zkSNARK
入门》— PPIO Code Talks 第二期
PPIOCodeTalks致力于打造一个以上海为中心,辐射全球的高质量区块链学习,分享,交友平台。7月27日,PPIO举办了第二期CodeTalks闭门技术交流分享会。在上一期的活动中,我们分享了两个前沿技术主题《Tindermint介绍及实战分析》和《Libra介绍及对PPIO的启发》。这一期是我们CodeTalks的第二期活动,我们有幸邀请到TrapdoorCEOStar.LI老师和技术大咖王
PPIO
·
2020-09-10 09:59
PPIO
Zero Knowledge Proof 解密 QAP
验证代码在https://github.com/ethereum/research/blob/master/
zksnark
/零知识的证明逻辑需要花很多篇幅仔细介绍,涉及到QAP,KCA,Groth16,
weixin_34315485
·
2020-08-15 08:21
零知识证明 - Groth16计算详解
Groth16算法是
zkSNARK
的典型算法,目前在ZCash,Filecoin,Coda等项目中使用。本文从计算量的角度详细分析Groth16计算。
StarLi_2020
·
2020-08-15 07:06
零知识证明
密码学系列 - 零知识证明(ZKP) - zkSNARKs
零知识证明-ZKP零知识证明的理论基础:椭圆曲线,大数计算,群论,同态加密,配对函数零知识证明的各种算法:
zkSNARK
,zkSTARK,BulletProof算法属性可表示为:zk-SNARKs(简洁的非交互式零知识证明
搬砖魁首
·
2020-08-09 13:36
隐私
安全
密码学系列
libsnark: a C++ library for
zkSNARK
proofs
libsnark:aC++libraryforzkSNARKproofsAuthorsThelibsnarklibraryisdevelopedbytheSCIPRLabprojectandcontributorsandisreleasedundertheMITLicense(seetheLICENSEfile).Copyright(c)2012-2014SCIPRLabandcontributo
GluttonousZX
·
2020-08-05 12:02
密码学系列 - 零知识证明(ZKP) - Bulletproofs
密码学-零知识证明(ZKP)-Bulletproofs零知识证明零知识证明的理论基础:椭圆曲线,大数计算,群论,同态加密,配对函数,零知识证明的各种算法(
zkSNARK
,zkSTARK,BulletProof
搬砖魁首
·
2020-08-05 11:13
密码学系列
隐私
零知识证明
zkSNARK
的应用场景
摘自https://medium.com/coinmonks/zk-snarks-a-realistic-zero-knowledge-example-and-deep-dive-c5e6eaa7131c?email=287494524%40qq.comzk-SNARKscanbeusedinawidearrayofareas,forexample:Verificationofcomputatio
mutourend
·
2020-08-05 10:46
Marlin——
zkSNARK
预处理协议
Marlin在zkSNARKsonic协议基础上进行了改进。ThecoreofourpreprocessingzkSNARKisanefficientalgebraicholographicproof(AHP)forrank-1constraintsatisfiability(R1CS)thatachieveslinearprooflengthandconstantquerycomplexity.
mutourend
·
2020-08-05 10:13
Zksnark
--终极原理(三)
上一篇讲了最难的QAP的转化,目的是实现数据格式的匹配,接下来处理的是用抽样的方法来实现简洁验证。简单解释就是原来需要传输一个长式子需要花费大量时间,我们可以采取统计学中抽样的方法随机抽取一个值进行验证,这时传输的就可以使两个算好的值,这时,所取值的随机性就成了主要的问题。简单的说就是证明者既不能让验证者知道结果,验证者也不能把那个随机值让证明者知道,这时我们用同态的方法来解决这个问题。简单来说就
Mr.Yi
·
2020-08-05 10:59
区块链
Zksnark
--终极原理(二)
首先,zk-SNARK不能直接应用于任何计算问题;相反,您必须将问题转换为操作的正确“形式”。这种形式被称为“二次算术程序”(QAP),将函数的代码转换成这些代码本身就非常重要。与将函数代码转换为QAP的过程一起运行的还有另一个过程,这样,如果对代码有输入,就可以创建相应的解决方案(有时称为QAP的“见证”)。首先第一步将所要求的等式转化为电路如上图。转化成电路的方法可以手动操作,也可以学习最近新
Mr.Yi
·
2020-08-05 10:59
区块链
zkSNARK
零知识验证
参考文献ZCash7篇,有社区翻译版,但还是推荐看原汁原味的https://z.cash/blog/snark-explain.htmlVitalik3篇,小天才作者我就不介绍了,这三篇介绍得也是很透彻https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649http
dielucui7698
·
2020-08-05 10:41
获取Rinkeby测试网络上的以太币
www.rinkeby.io/#faucet5.选择需求的测试币数量6.检查是否到账https://www.sohu.com/a/232337018_211120https://blockchain.iethpay.com/
zkSNARK
-intro.htmlht
柳七
·
2020-07-11 12:52
零知识证明
zkSNARK
最近接触学习零知识证明,很是头疼,没有一些背景知识,只能硬看了,而且也没有别的好方法。为什么要学习零知识证明因为区块链的去中心化,导致信息都是公开透明的,比特币、以太坊、EOS等目前绝大部分项目区块链上的交易都是公开的:发送者的地址、金额、接收者的地址等,虽然这个还是匿名的,但是除了匿名之外,其他的信息都是可以被跟踪的,无法达到隐私的目的,如果有人知道了你的地址,那么你的交易记录和资产就完全透明了
csds319
·
2020-07-11 04:22
区块链
零知识证明
零知识证明与
zkSNARK
2019独角兽企业重金招聘Python工程师标准>>> 最近以太坊启动了“大都会”硬分叉,很重要的一个功能就是整合了ZCash的零知识证明技术
zkSNARK
。
weixin_33768481
·
2020-07-08 15:28
11个值得收藏的零知识证明开发工具
用自己熟悉的语言学习以太坊DApp开发:Java|Php|Python|.Net/C#|Golang|Node.JS|Flutter/Dart1、libsnarklibsnark是SCIPRLab开发的
zkSNARK
新缸中之脑
·
2020-07-08 05:13
区块链
22期:零知识证明详解二:多项式的盲式计算
zkSNARK
是zero-knowledgesuccintnon-interactiveargumentsofknowledge的简称,意思是:简洁的非交互的零知识证明(本文授权BH好文好报群摘编、转载以及相关转授权推文行为
鹏飞_3870
·
2020-07-06 11:25
23期:零知识证明详解三:系数测试及其假设
zkSNARK
是zero-knowledgesuccintnon-interactiveargumentsofknowledge的简称,意思是:简洁的非交互的零知识证(本文授权BH好文好报群摘编、转载以及相关转授权推文行为
鹏飞_3870
·
2020-07-05 02:07
24期:零知识证明详解四:可验证的多项式盲式计算
zkSNARK
是zero-knowledgesuccintnon-interactiveargumentsofknowledge的简称,意思是:简洁的非交互的零知识证明。
鹏飞_3870
·
2020-06-25 16:13
零知识证明与
zkSNARK
最近以太坊启动了“大都会”硬分叉,很重要的一个功能就是整合了ZCash的零知识证明技术
zkSNARK
。我们一起来看一下
zkSNARK
这个拗口的技术到底是什么鬼。
元家昕
·
2020-03-24 18:15
零知识证明与
zkSNARK
最近以太坊启动了“大都会”硬分叉,很重要的一个功能就是整合了ZCash的零知识证明技术
zkSNARK
。我们一起来看一下
zkSNARK
这个拗口的技术到底是什么鬼。
元家昕
·
2019-12-29 23:37
《数字货币交易所架构初探》— PPIO Code Talks 第二期续
通过上一期文章,我们详细报道了Star.LI老师的主题分享《零知识证明–
zkSNARK
入门》。在本期文章中,我们将会报道王伯洋老师
PPIO
·
2019-08-16 00:00
mysql
《零知识证明 –
zkSNARK
入门》— PPIO Code Talks 第二期
PPIOCodeTalks致力于打造一个以上海为中心,辐射全球的高质量区块链学习,分享,交友平台。7月27日,PPIO举办了第二期CodeTalks闭门技术交流分享会。在上一期的活动中,我们分享了两个前沿技术主题《Tindermint介绍及实战分析》和《Libra介绍及对PPIO的启发》。这一期是我们CodeTalks的第二期活动,我们有幸邀请到TrapdoorCEOStar.LI老师和技术大咖王
PPIO
·
2019-08-09 00:00
mysql
零知识证明 -
zkSNARK
入门
网络上讲解零知识证明的文章就不多,这些文章要不太浅显,要不太深入,很少有能给入门者整体框架上的认识。比如,阿里巴巴零知识证明就是一个非常好的通俗理解零知识证明的例子:阿里巴巴被强盗抓住,为了保命,他需要向强盗证明自己拥有打开石门的密码,同时又不能把密码告诉强盗。他想出一个解决办法,先让强盗离开自己一箭之地,距离足够远让强盗无法听到口令,足够近让阿里巴巴无法在强盗的弓箭下逃生。阿里巴巴就在这个距离下
Trapdoor区块链技术
·
2019-04-18 11:14
Zero Knowledge Proof 解密 QAP
验证代码在https://github.com/ethereum/research/blob/master/
zksnark
/零知识的证明逻辑需要花很多篇幅仔细介绍,涉及到QAP,KCA,Groth16,
末座少年
·
2019-04-05 05:10
零知识证明详解六:皮诺曹协议
zkSNARK
是zero-knowledgesuccintnon-interactiveargumentsofknowledge的简称,意思是:简洁的非交互的零知识证明(本文授权BH好文好报群摘编、转载以及相关转授权推文行为
鹏飞_3870
·
2018-08-02 20:26
【译】zkSNARKs in a nutshell
zkSNARK
的可能性令人印象深刻,您可以验证计算的正确性,而无需执行它们,您甚至不会知道执行了什么-只是它正确地完成了。
Omni-Space
·
2018-05-16 08:12
以太坊
/
ETH
零知识证明
zksnark
--零知识证明
零知识证明要了解
zkSNARK
,必须先理解什么是零知识证明。关于零知识证明,概念并不难理解,我们以一个老掉牙的故事作为例子。
Publish or Perish
·
2018-05-11 18:46
security
ethereum
上一页
1
下一页
按字母分类:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他