零知识证明(ZKP)

零知识证明-公钥分发方案DH(（六）

前言椭圆曲线配对，是各种加密构造方法(包括确定性阀值签名、zk-SNARKs以及相似的零知识证明)的关键元素之一。
yunteng521·2024-09-10 12:37

零知识证明：哈希函数-Poseidon2代码解析与benchmark

1、哈希函数(HashFunction)与Poseidon在密码学中，哈希函数是一种将任意大小的数据映射到固定大小的输出的函数。哈希函数的输出称为哈希值或哈希码。哈希函数具有单向性和抗碰撞性。一些常见的哈希函数包括MD5、SHA-1、SHA-256和SHA-3。例如，假设您要验证一个文件的完整性。您可以使用哈希函数来计算该文件的哈希值。然后，您可以将该哈希值与文件的预期哈希值进行比较。如果两个哈希
HIT夜枭·2024-09-02 01:14

零知识证明框架：gnark

一.zkSNARKs的一般构造流程首先将一个NP问题拍平（Flatten）构成电路（若干个乘法门/加法门构成），在电路的基础上构造约束，也就是R1CS，有了约束就可以把NP问题抽象成QAP问题。有了QAP问题的描述，就可以在QAP上构建zkSNARKs。二.gnarkgnark是consenSys开发的一个zkSARNK实现，采用Go语言，目前支持groth16，github地址：https://
孙绿如叶～·2024-09-02 01:43

实践指南：构建一个零知识证明 DApp [译]

实践指南：构建一个零知识证明DApp[译]零知识证明DAppcircomsnarkjs本文将构建一个zk-dApp（零知识证明DApp），以证明用户是否属于某个特定组，而无需透露用户具体是谁。
扣3039046426·2024-09-02 01:10

Zcash-草稿

Zcash，也叫大零币，从zerocoin发展而来，是使用零知识证明机制的区块链系统，通过完全匿名交易特性在区块链的生态中独树一帜。现在，Zcash市值是41.10亿。
歌白梨·2024-02-20 17:48

金融科技力

金融科技区块链二级目录三级目录区块链区块链安全：保密性、完整性、可用性最重要的点：保密性零知识证明：1、完整性（真的假不了）2、可靠性（假的真不了）3、零知识性（知道真的，但是不需要知道内容）共识算法安全
nightluo·2024-02-13 01:20

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

1675312908395)(https://tva1.sinaimg.cn/large/e6c9d24ely1gzmazs79m1g20tr04ojug.gif)]MariaCappelli在Unsplash上上传的照片零知识证明技术
chinadefi·2024-02-06 16:33

链化未来技术系列分享(1) - 零知识证明

11月29日，链化未来在杭州举办主题为“区块链硬核技术揭密——零知识证明及跨链深度解读”线下活动内容分享。本文为零知识证明篇相关PPT内容。
区块奇点·2024-02-02 15:31

OSDI 2023: LVMT: An Efficient Authenticated Storage for Blockchain

我们使用以下6个分类标准对本文的研究选题进行分析：1.研究方向:区块链可扩展性:提高交易吞吐量和减少确认时间的研究，例如零知识证明、分片和状态通道。
结构化文摘·2024-02-01 12:57

什么是零知识证明？

零知识证明能够改变我们保护、管理和共享个人数据的方式。它们允许人们在不泄露信息本身的情况下证明陈述的真实性，从而为涉及敏感、机密信息的交易带来了新的隐私级别。什么是零知识证明？
慎思知行·2024-01-27 12:27

探析零知识证明高能发展路径：走向更安全、私密且可扩展的 Web3 新时代

零知识证明（Zero-Kno
TinTin Land·2024-01-27 08:56

解读ALEO-继FIL后又一个由A16Z和软银领投过亿美元的隐私公链项目

市场逐渐开始关注ALEO，目前从官方的公开资料看没有太多华丽的介绍，基本都是较专业的内容，今天我从几个方面综合概述一下ALEO的特性，从中也能发现ALEO的真正价值：1、模块化区块链：可组合性，可扩展性2、隐私：zkp
米斯特鞏·2024-01-26 15:09

Aleo项目详细介绍-一个兼顾隐私和可编程性的隐私公链

Aleo是第一个采用零知识证明（ZKP）技术，提供私有、开源的Layer1区块链。Aleo开发了一个默认交易隐私的应用程序构建平台，
慎思知行·2024-01-26 15:37

区块链精进手册 | 021 | 大师的投资思想（2）

由于比特币的非匿名性，但实际货币有着匿名性需求，Zerocoin团队在比特币0.11.2的版本上修改了代码，添加了“零知识证明”技术，想让比特币更具匿名性。
马烈视界·2024-01-13 16:16

NuLink介绍二

这里使用的加密技术主要是零知识证明。4.2隐私保护的数据共享。使用到的基本方法是对数据进行加密，让数据所有者控制对它的访问。这些技术包括去中心化加密存储、代理重加密、基于身份的加密和基于属性的加密等。
晨酱·2024-01-12 11:30

零知识证明学习

文档，测试claimPK.zokimport"hashes/sha256/512bitPadded.zok"assha256;import"utils/pack/u32/nonStrictUnpack256.zok"asunpack256;import"utils/pack/u32/unpack128.zok"asunpack128;import"utils/pack/u32/pack128.zo
Ameame-·2024-01-12 08:42

零知识证明的最新发展和应用

数据泄露的成本零知识证明(ZKPs)等隐私增强技术
PrimiHub·2024-01-12 08:35

［ZKP］Schnorr Protocol Implementation

SchnorrProtocolImplementationbyPythonTheSchnorrProtocolisacryptographicprotocolusedforsecurecommunicationanddigitalsignatures.ItwasoriginallyproposedbyClaus-PeterSchnorrin1989andhasgainedattentionfori
Simba17·2024-01-09 06:35

［ZKP］Sigma Protocol

SigmaProtocolIntroductionSigmaprotocolsareaspecifictypeofinteractivezero-knowledgeproof(ZKP)thatareknownfortheirefficiencyandsimplicity.Theyinvolvethreedistinctphasesbetweenaproverandaverifier
Simba17·2024-01-09 06:35

［ZKP］The Chaum-Pedersen Protocol

TheChaum-PedersenProtocolIntroductionTheChaum-PedersenprotocolallowsaprovertoconvinceaskepticalverifierthatagiventripleisaDH-triple,withoutrevealinganythingelsetotheverifier.LetG\mathbb{G}Gbeacyclicgr
Simba17·2024-01-09 06:35

2022-02-05

在NuLink网络中，这两个问题可以通过零知识证明技术来解决:数据所有者需要在数据授权前提供零知识证明。事实上，密文状态下的证明方法与明文状态下的证
Aaron阿酷·2024-01-08 23:42

Web3.0会带来哪些机遇？

NuLink的零知识证明介绍作者简介：作为NuLinkTechnology的研究员，Rookie是一位激情的创新者，他专注于密码学和区块链技术。
Aix17·2024-01-02 21:49

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

全称为Zero-KnowledgeSuccinctNon-InteractiveArgumentofKnowledge，简洁非交互式零知识证明，简洁性使得运行该协议时，即便statement非常大，它的
Amire0x·2024-01-01 12:52

Reef：基于正则表达式匹配的ZKP

1.引言SebastianAngel等人2023年论文《Reef:FastSuccinctNon-InteractiveZero-KnowledgeRegexProofs》，开源代码实现见：https://github.com/eniac/Reef（Rust）Reef用于committed文档与正则表达式匹配或不匹配。可用于证明：密码的强度尽管进行了编辑但电子邮件的来源obliviousDNS查询
mutourend·2024-01-01 12:21

RISC Zero zk-STARK证明系统代码解析

.引言前序博客：RISCZero的手撕STARKRISCZeroSTARK证明系统时序图及规范开源代码见：https://github.com/risc0/risc0/blob/main/risc0/zkp
mutourend·2024-01-01 12:51

ShuffleZKP：匿名、不可连接消息的合规证明

年论文《ProofofComplianceforAnonymous,UnlinkableMessages》，开源代码实现见：https://github.com/shufflezkp/shuffle-zkp-open
mutourend·2024-01-01 12:19

2023海内外零知识证明学习资料汇总（一）（故事中的零知识证明篇）

参见另一篇博文2024最全面且有知识深度的web3开发工具、web3学习项目资源平台本文收集了关于零知识证明的一些学习资料（包括科普文章，论文，开源仓库及相关学习网站等），并对这些资源进行了整理分析，希望能对大家有所帮助
滕王阁配黑马打火机·2024-01-01 07:13

2023海内外零知识证明学习资料汇总（二）（深入理解零知识证明篇）

参见另一篇博文2024最全面且有知识深度的web3开发工具、web3学习项目资源平台本文收集了关于零知识证明的一些学习资料（包括科普文章，论文，开源仓库及相关学习网站等），并对这些资源进行了整理分析，希望能对大家有所帮助
滕王阁配黑马打火机·2024-01-01 07:13

2022-02-24

这里使用的加密技术主要包括零知识证明。2.隐私保护数据共享。一般的方法是对数据进行加密，让数据所有者控制对它的访问。技术包括去中心化加密存储、代理重加密、基于身份的加密和基于属性的加密等。
Aaron阿酷·2023-12-29 11:11

区块链在未来企业中将会是什么样的角色？

2零知识证明的使用将会提高。区块链将成为企业间交易的平台。这个平
徽纯正·2023-12-27 14:58

ZKP Algorithms for Efficient Cryptographic Operations 1 (MSM & Pippenger)

MITIAP2023ModernZeroKnowledgeCryptography课程笔记Lecture6:AlgorithmsforEfficientCryptographicOperations(JasonMorton)Multi-scalarMultiplication(MSM)Naive:nP=(((P+P)+P)+P)…=(2(2P))…Binaryexpand$n=e_0+e_1\al
Simba17·2023-12-24 23:16

ZKP Nova Scotia: Middleware to compile Circom circuits to Nova prover

NovaScotia:MiddlewaretocompileCircomcircuitstoNovaprover[Reference:https://github.com/nalinbhardwaj/Nova-Scotia]Mydevice:MacbookPro2020withIntelchipgitclonehttps://github.com/nalinbhardwaj/Nova-Scotia
Simba17·2023-12-24 23:16

ZKP Mathematical Building Blocks (2)

MITIAP2023ModernZeroKnowledgeCryptography课程笔记Lecture3:MathematicalBuildingBlocks(YufeiZhao)FiatShamirheuristicTurnaninteractiveprooftoanon-interactiveproofPcansimulateVwheneverVpicksarandomvaluePcansi
Simba17·2023-12-24 12:30

ZKP Mathematical Building Blocks 1

MITIAP2023ModernZeroKnowledgeCryptography课程笔记Lecture3:MathematicalBuildingBlocks(YufeiZhao)Example:I(Prover)wanttoconvinceyou(Verifier)thatIcandistinguishtwocolorsthatyouseeasidenticalASimilarExample:
Simba17·2023-12-21 22:32

ZKP Pasta Curves

Minabook[https://o1-labs.github.io/proof-systems/specs/pasta.html?highlight=pasta#pasta-curves]学习笔记PastaCurvesPastaCurvesisafascinatinginnovationincryptographydesignedbyZcash.WhatarethePastaCurvesTheP
Simba17·2023-12-21 22:32

ZKP Commitment (1)

MITIAP2023ModernZeroKnowledgeCryptography课程笔记Lecture5:Commitment1(YingTongLai)Overview:ModernSNARKIOP:InteractiveOracleProofCommitmentSchemeIOP“compiledby”thecommitmentschemetogetanon-interactiveproof
Simba17·2023-12-21 22:02

ZKP Commitment (2)

MITIAP2023ModernZeroKnowledgeCryptography课程笔记Lecture5:Commitment2(YingTongLai)PolynomialCommitmentf(x)=a0a_0a0+a1xa_1xa1x+a2x2a_2x^2a2x2+…\dots…+anxna_nx^nanxnaia_iaiissecretcommit(f,z,y)=CThecommitme
Simba17·2023-12-21 22:02

Bulletproofs和Plonk等ZKP系统中Fiat-Shamir实现漏洞Frozen Heart

团队近期发布CoordinateddisclosureofvulnerabilitiesaffectingGirault,Bulletproofs,andPlonK，指出Bulletproofs和Plonk等ZKP
mutourend·2023-12-21 22:30

dalek-cryptography/zkp——基于merlin的Schnorr零知识证明

zkp为使用merlin的Schnorr零知识证明工具包，基于ristrettogroup做的实例化。
mutourend·2023-12-21 22:00

ZKAttest: Ring and Group Signatures for existing ECDSA keys 学习笔记

代码实现有：https://github.com/cloudflare/zkp-ecdsa（TypeScript）在该代码实际实现时，采用的Groth–Kohlweiss
mutourend·2023-12-21 22:00

ZKP Schnorr Protocol

SchnorrProtocolTheSchnorrProtocolisacryptographicprotocolusedforsecurecommunicationanddigitalsignatures.ItwasoriginallyproposedbyClaus-PeterSchnorrin1989andhasgainedattentionforitssimplicityandefficie
Simba17·2023-12-21 22:29

NuLink介绍一

另一方面，零知识证明可以帮助验证数据的来源。在更多的高级隐私
晨酱·2023-12-21 10:17

密码极客分享：4个被知名机构投资的项目

1CodaCoda是第一个具有简洁区块链的加密货币协议，是一种将区块链数据通过零知识证明压缩到固定字节大小的新型数字货币。
CryptoGeek·2023-12-19 20:00

zkP2M：ZK赋能的trustless and instant fiat-to-crypto

1.引言zkP2M定位为：Trustlessandinstantfiat-to-cryptoon-ramppoweredbyZK其基本架构见：https://github.com/zkP2M/.github
mutourend·2023-12-18 03:34

技术探秘：在RISC Zero中验证FHE——由隐藏到证明：FHE验证的ZK路径（1）

github.com/weikengchen/vfhe-profiled（Rust）https://github.com/l2iterative/vfhe0（Rust）L2IVResearch团队近期尝试用ZKP
mutourend·2023-12-18 03:02

我的隐私计算学习——国密SM2和国密SM4算法

CSDN博客隐私计算安全保护技术（三）：我的隐私计算学习——门限签名-CSDN博客隐私计算安全保护技术（四）：我的隐私计算学习——同态加密-CSDN博客隐私计算安全保护技术（五）：我的隐私计算学习——零知识证明
Ataraxia8088·2023-12-16 00:14

ZKP电路审计：冗余约束是否多余？

1.引言区块链领域的ZKP应用通常包含2部分：链下电路链上合约其中，链下电路包含了商业逻辑约束和复杂的密码学基本原理，难于实现和审计。
mutourend·2023-12-06 23:39

ZKP Understanding Nova (1): MinRoot Example

UnderstandingNovaKothapalli,Abhiram,SrinathSetty,andIoannaTzialla.“Nova:Recursivezero-knowledgeargumentsfromfoldingschemes.”AnnualInternationalCryptologyConference.Cham:SpringerNatureSwitzerland,2022.
Simba17·2023-12-06 23:07

ZKP zkDT (PaperReading)

zkDT(CCS’20)PaperReadingZhang,Jiaheng,etal.“Zeroknowledgeproofsfordecisiontreepredictionsandaccuracy.”Proceedingsofthe2020ACMSIGSACConferenceonComputerandCommunicationsSecurity.2020.AbstractInthispape
Simba17·2023-12-06 01:04

ZKP15.3 Formal Methods in ZK (Part II)

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture15:SecureZKCircuitsviaFormalMethods(GuestLecturer:YuFeng(UCSB&Veridise
Simba17·2023-12-06 01:34
上一页 1 2 3 4 5 6 7 8 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他