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

Nova中 Vitalik R1CS例子 的 folding scheme

1.引言前序博客有：Nova代码解析Spartan中VitalikR1CS例子SNARK证明基本思路rank-1constraintsystemR1CS其中F(x)=x3+x+5F(x)=x^3+x+5F
mutourend·2023-12-06 23:09

BabySpartan：对non-uniform computation的Lasso-based SNARK

1.引言前序博客有：Lasso、Jolt以及LookupSingularity——Part1Lasso、Jolt以及LookupSingularity——Part2深入了解Lasso+Joltmultilinear多项式承诺方案benchmark对比见SrinathSetty和JustinThaler2023年论文《BabySpartan:Lasso-basedSNARKfornon-unifor
mutourend·2023-12-05 13:53

浅谈 Binius：用 Rust 实现的硬件优化 SNARK 协议

作者：Ulvetanna团队编译：TinTinLand原文链接：https://www.ulvetanna.io/news/binius-hardware-optimized-snark在一篇新的研究论文中
TinTin Land·2023-11-27 02:09

基于Towers of Binary Fields的succinct arguments

SuccinctArgumentsoverTowersofBinaryFields》，开源代码见：https://github.com/recmo/binius（Rust+Sage）【基于plonky3等库】在该论文中：构建了基于towersofbinaryfields的高效SNARK
mutourend·2023-11-22 20:06

RedShift: Transparent SNARKs from List Polynomial Commitments学习笔记

TransparentSNARKsfromListPolynomialCommitments》，提出了：名为“ListPolynomialCommitment（LPC）”的新的IOP原语，可将现有的需要trustedsetup的SNARK
mutourend·2023-10-21 11:40

SGX：multi-prover的潜在解决方案

1.引言尽管ZK-Rollups、电路和SNARK非常复杂且不够成熟，但使用multi-prover方案可对冲证明系统、架构和实现中错误和漏洞的风险。
mutourend·2023-10-07 03:04

GKR+Groth16：更快的MiMC证明

RecursionoverPublic-CoinInteractiveProofSystems;FasterHashVerification中，提出了：用GKR来证明MiMC哈希计算的完整性将GKRverifier嵌入到SNARK
mutourend·2023-10-04 19:09

ripple ,stellar,zksnarks

1.https://sec-bit.github.io/blog/2019/12/25/learn-zk-snark-from-zero-part-one/2.https://blockchain.iethpay.com
sphinxLike·2023-09-30 04:42

zk、zkVM、zkEVM及其未来

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

Mina中的Snark Worker

1.引言Mina系列博客有：Mina概览Mina的支付流程Mina的zkAppMina中的Pasta（Pallas和Vesta）曲线Mina中的SchnorrsignatureMina中的PicklesSNARKMina中的KimchiSNARKMinaKimchiSNARK代码解析MinaBerkeleyQANet测试网zkApp初体验Mina中的PoseidonhashMina中的多项式承诺方
mutourend·2023-09-26 07:22

Groth16

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

算术化电路中如何使用定制gates？

并借助recursiveSTARK+SNARK，来获得smallproof。ProverTime：直接取决于计算size。
mutourend·2023-09-01 04: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

3. ZKP 之 Plonk 协议实现

个人总结如何理解电路GateConstraintsCopyconstraints多项式承诺参考资料Plonk个人总结PlonK相比起之前的zkSNARK协议来说，主要区别在于如下三点：首先是在将电路解释为多项式的时候，SNARK
smilejiasmile·2023-08-26 08:13

零知识证明 - 深入理解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

ZKML：ZK+机器学习

1.引言前序博客：SNARK+深度神经网络Worldcoin开源ZK+机器学习资料库：https://github.com/zkml-community/awesome-zkml参考资料[1]Worldcoin
mutourend·2023-07-25 14:19

不管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

Ingonyama团队的ZKP加速

在Aztec系列博客：SNARK性能及安
mutourend·2023-07-17 19:02

STARK/SNARK加速小技巧

1.引言STARK/SNARK中包含了大量的有限域运算，如：STARK中包含了对rootsofunitydomainD={1,ω,⋯ ,ω2k−1}D=\{1,\omega,\cdots,\omega^
mutourend·2023-07-17 19:01

GPU/CPU友好的模乘算法：Multi-Precision Fast Modular Multiplication

1.引言前序博客：基础算法优化——FastModularMultiplication大整数的模乘：是每种SNARK计算的核心是最昂贵的基石通常可决定整个协议的复杂度对模乘运算的哪怕一点点改进，都可能带来大幅加速
mutourend·2023-07-17 19:56

Nova: Recursive Zero-Knowledge Arguments from Folding Schemes学习笔记

1.引言前序博客有：Lurk——Recursivezk-SNARKs编程语言rank-1constraintsystemR1CSSpartan中VitalikR1CS例子SNARK证明基本思路微软团队2021
mutourend·2023-06-24 08:03

Lurk——Recursive zk-SNARKs编程语言

1.引言Lurk是一种用于Recursivezk-SNARK（递归零知识简洁非交互式知识论证）的图灵完备编程语言，它将为SNARK证明、区块链共识、Filecoin虚拟机(FVM)、去中心化应用程序、与
mutourend·2023-06-24 08:03

zk-SNARKs的原理简介

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

Anemoi hash:一种SNARK-friendly的哈希函数

随着zk的兴起，出现了一大批zk友好且面向算术化(Arithmetization-Oriented)的哈希函数，如MiMC-Hash,Rescue–Prime,Poseidon等等，本文要介绍的Anemoi是今年新出的一种zk友好且面向算术化的哈希函数，与其他哈希函数相比，Anemoi具有以下特点：可以被用于Groth16,Plonk等证明系统中包含对特定应用的优化，如merkletree的证明性
孙绿如叶～·2023-04-09 14:47

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

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

黑客文化简史

本篇原作者为EricS.Raymondesr@snark.thyrsus.com，他是一位大哥级的Hacker，写了很多自由软件，知名著作有JargonFile等，近年来发表“大教堂与集市”论文为Opensourcesoftware
q969403688·2023-03-08 22:19

SNARK+深度神经网络

1.引言SNARK+深度神经网络，相关开源实现有：1）Ezkl（Rust）：借助Halo2证明系统，实现了50层的MobileNetV2的执行证明。
mutourend·2023-01-29 00:28

SNARK Design

1.引言主要参考JustinThaler2022年8月在a16zcrypto专题研讨会上的系列讲座：SNARKDesign,PartI,withJustinThaler|a16zcryptoresearchtalksSNARKDesign,PartII,withJustinThaler|a16zcryptoresearchtalksSNARKDesignPartIIIwithJustinThale
mutourend·2023-01-20 14:48

Rollup项目的SNARK景观

1.引言前序博客有：SNARKDesign主要参考JustinThaler2022年8月在a16zcrypto专题研讨会上的系列讲座：SNARKDesign,PartII,withJustinThaler|a16zcryptoresearchtalks2.Rollup的前端当前各Rollup项目的前端情况为：1）StarkWare为程序员提供了名为Cairo的高级编程语言：可借助标准前端技术将Ca
mutourend·2023-01-20 14:48

Polygon zkEVM R1CS与Plonk电路转换

pil-starkFibonacci状态机初体验PolygonzkEVM的pil-starkFibonacci状态机代码解析rank-1constraintsystemR1CS由上图可知，zkEVM会借助SNARK
mutourend·2023-01-20 14:18

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

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

SNARK原理示例

1.引言前序博客有：SNARKDesignRollup项目的SNARK景观主要参考JustinThaler2022年8月在a16zcrypto专题研讨会上的系列讲座：SNARKDesignPartIIIwithJustinThaler
mutourend·2023-01-20 14:38

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

POSEIDON: A New Hash Function for Zero-Knowledge Proof Systems 学习笔记

前序博客有：snark/stark-friendlyhash函数HADESStrategy相关代码实现有：https://github.com/dusk-network/Poseidon252【Dusk
mutourend·2023-01-06 07:45

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

Vortex：无需可信设置的基于Lattice的SNARK方案

1.引言ConsensysR&D团队2022年论文《Vortex:BuildingaLattice-basedSNARKschemewithTransparentSetup》中，提出了首个transparent且plausiblypost-quantumSNARK方案，其依赖的安全假设为：RingShortIntegerSolution难题（Ring-SIS）【为基于lattice密码学的著名假设
mutourend·2022-12-25 14:42

STARK入门知识

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

使用自己数据及进行PointNet++分类网络训练

二、数据集读取常用数据集点云数据集_爱学习的小菜鸡的博客-CSDN博客_点云数据集选用悉尼大学开放的自动驾驶数据集进行训练方式一：安装snark软件math-deg2rad.exe-h方式二：使用pyton
谢大旭·2022-11-29 21:43

聚焦：ZK-SNARK 技术

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

PLONK个人笔记

文章目录个人总结如何理解电路GateConstraintsCopyconstraints多项式承诺参考资料个人总结PlonK相比起之前的zkSNARK协议来说，主要区别在于三点，1-首先是在将电路解释为多项式的时候，SNARK
AdijeShen·2022-04-17 10:38

SNARK超详细解释，从GGPR13到Groth16

初学零知识证明，准备从SNARK开始入手，还是自己做个整理会印象深刻一些目前看来GGPR13是最先提出基于QAP的SNARK这个框架的工作，而Groth16则是目前效率表现最好的SNARK方案。
AdijeShen·2022-04-17 10:07
上一页 1 2 3 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他