ZKP

ZKP4.2 SNARKs via Interactive Proofs (Sum-check Protocol [LFKN90])

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture4:SNARKsviaInteractiveProofs(JustinThaler)4.3Interactiveproofdesign:
Simba14·2023-10-22 10:11

ZKP4.1 SNARKs via Interactive Proofs (Justin Thaler)

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture4:SNARKsviaInteractiveProofs(JustinThaler)4.1InteractiveProofs:MotivationandModelInteractiveProofsPsolvesproblem
Simba14·2023-10-22 10:41

ZKP 研究框架及相关内容概述

ZK简介最初在1980年提出，由ShafiGoldwasser,SilvioMicali和CharlesRackoff。刚开始叫做交互式证明系统(Interactiveproofsystem)。Prover和Verifier之间交换信息，让Verifier相信某种statement是真的。而不透露给Verifier过多与证明无关的信息。ZK是解决了这样一个问题：我知道一个Y，满足F(X,Y)=ZF
smilejiasmile·2023-10-22 10:09

ZKP方案衍变及对比

1.引言2019年是ZKP方案创新井喷的一年。
mutourend·2023-10-22 10:36

ZKP5.1 Plonk Interactive Oracle Proofs (KZG‘10)

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture5:ThePlonkSNARK(DanBoneh)5.1KZG’10generalSNARKApolynomialcommitmentscheme
Simba14·2023-10-22 10:34

STARKs with small finite field：小域带来的迷人性能

1.引言前序博客有：2023年ZKHack以及ZKSummit亮点记为何需关注各ZKP方案的benchmarks？很久以前，有大量研究和开发致力于改进ZKP性能。
mutourend·2023-10-20 23:55

ZKP3.2 Programming ZKPs (Arkworks & Zokrates)

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture3:ProgrammingZKPs(GuestLecturers:PratyushMishraandAlexOzdemir)3.3Usingalibrary
Simba14·2023-10-18 22:48

亚瑟王的「随机」挑战：从交互到非交互式零知识证明——探索零知识证明系列（四）

本文作者：郭宇本文已更新至Githubhttps://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/4/zkp-rom.md“ChallengesareattimesanindicationofLord'strustinyou
安比实验室SECBIT·2023-10-15 23:55

Malicious Secure MPC: C&C、Lego、ZKP

参考文献：Chaum,D.1983.“BlindSignatureSystem”.In:AdvancesinCryptology–CRYPTO’83.Ed.byD.Chaum.PlenumPress,NewYork,USA.153.EvansD,KolesnikovV,RosulekM.Apragmaticintroductiontosecuremulti-partycomputation[J].
山登绝顶我为峰 3(^v^)3·2023-10-04 19:42

为何需关注各ZKP方案的benchmarks？

1.引言近期，研究人员和工程人员有大量关于谁是最好的证明系统的争论：2023年8月29日，StarkWare团队对比了FRI和KZG2023年8月30日，JustinThaler和SrinathSetty讨论FRI和KZG谁的性能更佳？不过，在深入benchmark细节之前，需有一些更明确的标准来说明是什么使某些东西在工程方面更具性能或更有用。此外，性能和适用性有时取决于应用场景，ZacWilli
mutourend·2023-10-04 19:09

zkTree: a zk recursion tree with ZKP membership proofs

1.引言PolymerLabs团队SaiDeng和BoDu2023年2月论文《zkTree:azkrecursiontreewithZKPmembershipproofs》。zkTree：在父节点的ZK证明中可递归验证子节点的ZK证明，同时可为用户所的ZK证明提供membershipproof。zkTree的实现为：Plonky2：PLONK+FRIGroth16：链上验证的递归rootproof
mutourend·2023-10-04 19:08

Zordle：基于ZKP的Wordle应用

1.引言Zordle，为基于Halo2库和Plonkishprovingsystem实现了零知识证明的Wordle应用。开源代码见：https://github.com/nalinbhardwaj/zordle（Rust&Javascript）Wordle为今年初开始流行的每天一猜字谜游戏。最多有6次猜测机会，以色块来标识字母的正确性，易于分享。不过存在的一个问题是，玩家可修改字块的颜色，以显得比
mutourend·2023-10-04 19:38

学习笔记：ZKP & Fiat-Shamir变换的漏洞

JimMiller关于Fiat-Shamirtransformation和ZKP的开篇blog。
yixvxi·2023-10-04 19:08

ZKP用途？

1.引言本文重点关注当前区块链未解决问题，以及如何使用ZKP（Zero-KnowledgeProof）来解决这些问题。
mutourend·2023-10-04 19:08

2022 年预测：零知识证明（ZKP）成为 Web3 的关键

2022年预测：零知识证明（ZKP）成为Web3的关键去年，零知识证明(ZKP)在加密领域和Web3中扮演了重要角色，它在可扩展性和用户许可隐私方面都发挥着重要作用。
chinadefi·2023-10-04 19:07

PrivacyIN课程视频 | Basics of ZKP Cryptography & Research Overview

本期课程由德克萨斯农工大学计算机科学与工程系助理教授张宇鹏生动地介绍了ZK协议(零知识证明)的基本密码学基础，ZK协议的研究进展综述以及行业应用案列。【转】PrivacyIN隐私学院|BasicsofZKPCryptography&ResearchOverview内含字幕
PlatON技术团队·2023-10-04 19:36

zkPoT：基于机器学习模型训练的ZKP

1.引言SanjamGarg等人2023年论文ExperimentingwithZero-KnowledgeProofsofTraining中，所设计的zkPoT（zero-knowledgeproofoftraining）协议：为streaming-friendly的。所需RAM与训练电路size不呈比例。结合了MPC-in-the-head＋zk-SNARKs。总的proofsize比训练用的
mutourend·2023-10-04 19:05

Polygon Mide状态模型：解决状态膨胀，而不牺牲隐私和去中心化

PolygonMiden：扩展以太坊功能集的ZK-optimizedrollupPolygonMidenzkRollup中的UTXO+账户混合状态模型PolygonMiden交易模型：Actor模式+ZKP
mutourend·2023-10-04 13:41

Web3极客日报 #2

stream（流）的地方，这篇文章很好的介绍了什么是stream，以及通过内存占用优化的实例解释了stream的强大零知识证明学习资源汇总https://github.com/sec-bit/learning-zkp
空乱木·2023-10-01 01:18

Polygon Miden交易模型：Actor模式 + ZKP =＞ 并行 + 隐私

1.引言前序博客：PolygonMiden：扩展以太坊功能集的ZK-optimizedrollupPolygonMidenzkRollup中的UTXO+账户混合状态模型PolygonMiden为：ZK-optimizedrollup由客户端生成证明完善PolygonZK系列解决方案，致力于成为网络价值层扩展以太坊功能集本文专注于PolygonMiden的几个核心概念：Accounts账户Notes
mutourend·2023-09-29 20:48

Dusk Network DayBreak测试网初体验

1.引言Dusk系列博客有：Dusknetwork生态图rkyv(archive)——Dusknetwork赞助的ZKP研究项目DuskNetworkDaybreak上线前关键漏洞分析DuskNetwork
mutourend·2023-09-26 07:52

精华回顾：Web3 前沿创新者在 DESTINATION MOON 共话未来

DESTINATIONMOON活动作为2023上海区块链国际周的SideEvent，设立了4场主题演讲与3个圆桌讨论，聚集了诸多行业一线创新者、开发者、投资人和研究员，围绕着公链生态、Layer2竞争、DID、ZKP
TinTin Land·2023-09-23 11:49

BSV 上用于通用计算的隐私非交互式赏金

为了验证加密的解决方案，零知识证明(ZKP)用于证明加密的解决方案是有效的，并且使用正
sCrypt Web3应用开发·2023-09-23 03:02

Web 3 中的零知识技术：现在和未来

在本文中，我们首先回顾ZKP的不同应用。然后我们讨论什么可以实现这项技术的下一阶段，以
虚拟人极地之光·2023-09-22 21:58

2022-02-15

对于NuLink来说，我们擅长加密层，这是我们的核心部分，因为我们有长期的计划与IBE/ABE/ZKP/FHE一起工作。我们将使它越来越成熟。
Aaron阿酷·2023-09-12 13:41

视觉SLAM14讲笔记-第5讲-相机与图像

图像成像原理：小孔成像公式：(uv1)=1Z(fx0cx0fycy001)(XYZ)=1ZKP\begin{pmatrix}u\\v\\1\end{pmatrix}=\frac{1}{Z}{\begin
可峰科技·2023-09-07 02:04

WebGPU助力客户端Crypto/ZK

1.引言前序博客：CUDA入门WebGPU+ZKP：客户端证明WebGPU入门正如PersonaeLabs团队2022年11月博客EfficientECDSA&thecaseforclient-sideproving
mutourend·2023-09-01 04:58

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

1.引言现有ZKP证明系统中，除关注proofsize和verificationtime之外，ProverTime是一个重要瓶颈。当侧重ProverTime时，可考虑STARK方案。
mutourend·2023-09-01 04:27

zkPoD:区块链，零知识证明与形式化验证，实现无中介、零信任的公平交易

（作者：郭宇（安比实验室创始人））这篇文章解释利用ZKP(零知识证明)与区块链来实现去中介的交易协议的原理，讲讲我们是怎么把这个理论变成实用的代码的，这是一篇概述，希望了解更多的朋友请关注后续。
安比实验室SECBIT·2023-08-29 11:59

零知识证明的应用场景-1用户登录

零知识证明（Zero-KnowledgeProof,ZKP）是一种密码学方法，它允许一方向另一方证明某个陈述的真实性，而不会泄露任何有关该陈述的其他信息。
平沙落雁子·2023-08-28 21:40

Sui安全篇｜全面了解零知识证明（ZKP）

Sui原生地支持零知识证明（ZeroKnowledgeProofs，简称ZKP）技术，使人们在保持个人信息私密性的同时，能够安全地进行在线交易。
Sui_Network·2023-08-26 09:27

ZKP 之 Plonk 协议实现

文章目录Plonk个人总结如何理解电路GateConstraintsCopyconstraints多项式承诺参考资料Plonk个人总结PlonK相比起之前的zkSNARK协议来说，主要区别在于如下三点：首先是在将电路解释为多项式的时候，SNARK协议一般采用R1CS到QAP的做法，最后要证明的多项式形式L(x)×R(x
smilejiasmile·2023-08-26 08:13

ZKP 程序实例及其相关资料汇总

PlonkdemoPlonkTutorial(对于vitalik博客的python实现)https://github.com/barryWhiteHat/plonk_tutorialdusklibrary：https://github.com/dusk-network/plonkdusk-demo:https://dusk.network/news/zero-knowledge-plonk-dem
smilejiasmile·2023-08-26 08:13

Zero-knowledge proofs (零知识证明)

AbstractEnglishIncryptography,azero-knowledgeproof(ZKP)isamethodbywhichoneparty(theprover)canprovetoanotherparty
卢延吉·2023-08-21 06:45

BSV 上用于通用计算的隐私非交互式赏金

为了验证加密的解决方案，零知识证明(ZKP)用于证明加密的解决方案是有效的，并且使用正确的密钥对其进行加密，
sCrypt 智能合约·2023-08-17 21:27

浅谈零知识证明

一、零知识证明概述零知识证明（Zero-KnowledgeProof,ZKP）是现代密码学中的一类经典协
jambeau·2023-08-16 08:10

零知识证明学习（一）—— 初始零知识证明

初始零知识证明零知识证明（Zero-KnowledgeProofs，ZKP）背景知识，主要介绍一下研究的动机这里我简单介绍一下背景知识，希望能引起你们研究的兴趣！
Peeryer·2023-08-16 08:39

递归零知识证明

本文我们将介绍递归零知识证明（ZKP），即一个证明证明了另一个证明的有效性，以及它优于标准非递归零知识证明(ZKP)的优势，并通过将其应用于证明费拨那契(Fibonacci)序列来展示它的强大功能。
sCrypt 智能合约·2023-08-16 08:39

Sui安全篇｜详解零知识证明 (ZKP) Groth16的可塑性

SuiMove允许用户使用Groth16进行高效验证任何非确定性多项式时间（Non-deterministicPolynomialtime，NP）状态。Groth16是一种高效且广泛使用的零知识简洁非交互知识证明（Zero-KnowledgeSuccinctNon-interactiveArgumentofKnowledge，ZK-SNARKs），这是一种非常有用的零知识证明系统。零知识证明是增强
Sui_Network·2023-08-16 08:37

区块链中的隐私保护技术

零知识证明（ZKP）ZKP技术是为了构建一个证明者不需要向验证者提供直接的信息，也能让验证者能够相信信息的真实性。这种技术由于证明者的数据信息并没有直接和验证者接触，因此是一种很有效的隐私保护手段。
区块链星际社·2023-08-08 00:43

零知识证明：具有DDH假设的 ZKP

零知识证明：具有DDH假设的ZKPDiffie-Hellman部分我们必须证明我们仍然持有一个秘密(私有)密钥，这是一个非常典型的情况。那我们怎么把Victor和Peggy绑定到一个证明基础设施中让Peggy向Victor证明她还持有一把私钥呢？为此，我们将通过交换Diffie-Hellman密钥来绑定Victor和Peggy。在DDH中，我们有一个由⟨g、ga*、*gb、g^{ab}⟩组成的元组
chinadefi·2023-08-07 12:34

PoseiSwap IDO、IEO 结束，即将登录 BNB Chain

PoseiSwap是NautilusChain上的首个DEX，其正在基于模块化Layer3架构底层，以及NautilusChain所提供的ZKP来构建属于自己的Rollup应用层，并以订单簿作为交易模型
石头财经23·2023-08-04 18:24

制衡：机器学习和零知识证明

1.引言过去数年来，ZKP（Zero-KnowledgeProof，零知识证明）在区块链领域主要有两大用途：1）对计算受限的网络进行扩容：在链下处理交易，在主链上验证结果。
mutourend·2023-08-03 19:40

ZKML——EZKL团队分享

1.引言“ZKP之于数字签名”类似于“以太坊之于比特币”：所谓数字签名，是指：“我知道某秘密secrets，使得F(secrets,publicinputs)=pubicoutputs”，其中F为fixedfunction
mutourend·2023-08-03 19:39

各zkp方案比较

参考https://onedrive.live.com/view.aspx?resid=B4431AF732931785!48446&ithint=file%2cpptx&authkey=!AOANGNzyQI9PKDEhttps://zkhack.dev/whiteboard/module-five/
雪落无留痕·2023-08-02 02:45

零知识证明学习资源汇总

Github地址：https://github.com/sec-bit/learning-zkp/blob/master/zkp-resource-list.md知乎账号：安比实验室SECBIT（https
安比实验室SECBIT·2023-08-02 01:46

DID以及社交网络中的ZKP

1.引言本文关键术语为：DecentralizedIdentity(DID，去中心化身份)orself-sovereignidentity(SSI，自治身份)：是一个基于开放标准的框架，使用自主、独立的标识符和可验证证书，实现可信的数据交换。Credential/Attestation/VerifiableCredential(VC)/POAP/SBT：为Web2或区块链上的一段指向详细资格信息的
mutourend·2023-08-01 13:21

WebGPU入门

1.引言前序博客：CUDA入门WebGPU+ZKP：客户端证明WebGPU——Draft2023.7.17由苹果、谷歌、Mozilla团队发起，当前处于草稿阶段，旨在成为W3C推荐标准。
mutourend·2023-07-29 14:50

在新能源的扶持产业配套和双积分等背景下这一天是年月日zkP4dk

家人描述。葡萄牙人认为两人有很大不同。更多福利扫描二维码关注特朗普取消特金峰会。增长速度最快为。卢氏县检察院检察官侯王勇介绍了相关案情。请求依法提起审判监督程序。帮助他找回状态。对其新芯片的运作模式做了模拟。请求判其无罪。都是风头正劲的红星。秦某并非不知道自己所挖的野草实际是兰草。五参赛马匹须办理相关检疫手续。公司创造一项历史纪录该公司研制的龙飞船成为历史上首艘抵达国际空间站的私营商业飞船。卢氏盗
snkgvkvpga·2023-07-29 08:02

proto-neural-zkp：Plonky2 + Numpy 构建的神经网络原型

1.引言https://github.com/worldcoin/proto-neural-zkp（Rust+Python）为Worldcoin团队基于Plonky2证明系统构建的卷积神经网络CNN评估原型
mutourend·2023-07-25 14:15
上一页 1 2 3 4 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他