zk-snark

如何在JavaScript项目中使用 zk-SNARK

如何在JavaScript项目中使用zk-SNARK[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-4fQgcXkV-1675312908395)(https://tva1
chinadefi·2024-02-06 16:33

零知识证明（zk-SNARK）- groth16（一）

全称为Zero-KnowledgeSuccinctNon-InteractiveArgumentofKnowledge，简洁非交互式零知识证明，简洁性使得运行该协议时，即便statement非常大，它的proof大小也仅有几百个bytes，并且验证一个proof的时间可以达到毫秒级别。这是一个通用的零知识证明协议，可以用作各种证明，如范围证明。核心方法是通过R1CS，QAP等方法将计算难题变为多项
Amire0x·2024-01-01 12:52

zk、zkVM、zkEVM及其未来

zk-SNARK和zk-STARK各具优势，二者结合潜力无穷。zkVM可为应用增加零知识证明，zkVM可以按mainstrem、EVM或新构建的指令集进行分类。
mutourend·2023-09-29 00:55

Groth16

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

零知识证明（zk-SNARK）（二）

FromComputationalProblemtozk-SNARK本部分就是将计算难题转换为多项式，然后使用zk-SNARK。
Amire0x·2023-08-30 18:03

零知识证明（zk-SNARK）（一）

全称为Zero-KnowledgeSuccinctNon-InteractiveArgumentofKnowledge，简洁非交互式零知识证明，简洁性使得运行该协议时，即便statement非常大，它的proof大小也仅有几百个bytes，并且验证一个proof的时间可以达到毫秒级别。主要解决的场景就是，Prover向Verifier证明某个共同认可的计算难题的计算结果是正确的，需要零知识，不能泄
Amire0x·2023-08-30 17:27

5. zksnark 几种实现算法性能对比

像zk-SNARK这样的零知识证明有很多应用：Zcash利用零知识证明来保护隐私，Coda和Mir利用零知识证明将整个区块链压缩到只有几K字节，0x和Matter则利用零知识证明将许多交易封装为以太坊上的单一证明
smilejiasmile·2023-08-26 08:43

零知识证明 - 深入理解ZoKrates

目前ZoKrates使用zk-SNARK算法实现零知识证明。https://www.ise.tu-berlin.de/fileadmin/fg308/publicati
4b89d0b56094·2023-08-09 20:08

零知识证明系列概述—从初探到 zk-SNARK 入门【9】

一、初探零知识证明前言区块链的发展可谓是日新月异，分布式账本，哈希函数，merkletree，公钥算法，p2p网络，共识机制，智能合约等等很高大上的名词相信大家一定都不会很陌生。区块链像一个有机体，融合了各种不同的理论技术。零知识证明是构建信任的重要技术，也是区块链这个有机体中不可缺少的一环。抛砖引玉的小故事大家一定对数独游戏不陌生。数独游戏就是有一个9×9的盘面。我们要根据盘面上的已知数字，推理
smilejiasmile·2023-08-07 12:36

不管BM是否离开EOS，列入风险考量是理性的

11月28日，BM（DanLarimer）在EOS电报群发声，他打算打破自己原来的设计，抛弃DPoS，已经找到解决隐私性和终极扩容的方法，这方法不是用zk-SNARK，能达到一千万的TPS而且不需要手续费
天涯路评篮球·2023-07-23 13:49

什么是zk-SNARKs缩放解决方案？

zk-SNARK是“Zero-KnowledgeSuccinctNon-InteractiveArgumentofKnowledge”的简称，中文名称为“零知识下简明的非交互知识论证”。
棉花棒和黄芥末·2023-07-22 12:38

zk-SNARKs的原理简介

所谓zk-SNARK，是指：可为生成特定输出的计算提供相应的proof证明，使得验证proo
mutourend·2023-06-22 16:52

Web3中文｜2023年zk赛道爆发，即将推出的Polygon zkEVM有多重要？

而区块链有着公开透明、不可篡改等特征，意味着加密投资者的链上资产及交易记录是没有隐私可言的，于是零知识证明技术被引入了区块链，当中以zk-SNARK和zk-STA
iNFTnews·2023-04-01 10:04

零知识证明：zk- ASM可能代表Web2和Web3的现实汇合点

零知识证明：zk-ASM可能代表Web2和Web3的现实汇合点简介零知识证明，特别是zk-SNARK(SuccinctNon-interactiveArgumentsofKnowledge)可能是Web3
chinadefi·2023-01-20 14:14

Why and How zk-SNARK Works 1: Introduction & the Medium of a Proof

WhyandHowzk-SNARKWorks1:Introduction&theMediumofaProofAuthor:MaksymAddress:原文地址Despitetheexistenceofmultiplegreatresourcesonzk-SNARKconstruction,fromoriginalpapers[Bit+11;Par+13]toexplainers[Rei16;But
Harry Potter%·2023-01-18 19:52

BSV上的高效 zk-SNARK：技术解释

最近，我们在sCrypt中实现了zk-SNARKs，并在BSV上运行它。更具体地说，我们实现了Groth16算法的验证器，它允许直接在链上验证零知识证明。本文深入探讨了一些细节，阐明了如何在BSV上有效地实施其他高级加密技术。椭圆曲线上的双线性对Groth16证明尺寸极小，并且可以快速验证。我们选择了最佳的Ate配对，因为它的效率已在实践中得到证明。我们在配对友好的椭圆曲线BN256（也称为ALT
sCrypt 智能合约·2022-12-27 06:00

BSV 上的 ZK-Rollups

总的来说，我个人的看法是，在短期内，Optimistic-Rollups可能会在通用EVM计算中胜出，而ZK-Rollups可能会在简单支付，交换和其他特定于应用程序的用例中胜出，但从中长期来看，随着ZK-SNARK
sCrypt 智能合约·2022-12-27 06:29

BSV 上的 zk-SNARKs

zk-SNARK（零知识简洁非交互式知识论证）是一种旨在为任何数学函数生成零知识证明的协议，克服了这些限制。生成的证明是“简洁的
sCrypt 智能合约·2022-12-27 06:29

BSV 上零知识友好的哈希函数 MiMC

之前，我们讨论了通过zk-SNARK，零知识证明可以应用于任何数学函数。在内部，需要将函数转换为电路，电路中只允许进行加法和乘法运算。
sCrypt 智能合约·2022-12-27 06:29

STARK入门知识

1.引言与zk-SNARK（SuccinctNon-interactiveARgumentofKnowledge）相比，STARK（ScalableTransparentARgumentofKnowledge
mutourend·2022-12-25 14:41

聚焦：ZK-SNARK 技术

聚焦：ZK-SNARK技术Vitalik建议他的订阅者关注ZK-SNARK技术，那今天就让我们仔细看看这一切都是如何运作的吧。
chinadefi·2022-06-25 18:39

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

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

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

在旨在为区块链提供隐私的各种加密技术中，zk-SNARK证明和zk-STARK证明就是两个不错的例子。Zk-S
区块第一站·2021-06-21 03:56

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

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

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

渔船监管的零知识证明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

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

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

零知识证明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

区块链研究实验室 | 以太坊中的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转化

除了V神的博客值得推荐外，zcash官方的blog也做了形象的解释。也可参看本人另一篇博文，有更直观的了解。在zcash官方blogExplainingSNARKsPartV:FromComputationstoPolynomials，中：SupposeAlicewantstoprovetoBobsheknowsc1,c2,c3∈Fpsuchthat(c1⋅c2)⋅(c1+c3)=7.Thefir
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

零知识证明 - 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

椭圆曲线加密概览

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

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

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

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

零知识证明 - 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
上一页 1 2 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他