零知识证明

零知识证明-公钥分发方案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

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

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

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

zkp为使用merlin的Schnorr零知识证明工具包，基于ristrettogroup做的实例化。

mutourend·2023-12-21 22:00

NuLink介绍一

另一方面，零知识证明可以帮助验证数据的来源。在更多的高级隐私

晨酱·2023-12-21 10:17

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

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

CryptoGeek·2023-12-19 20:00

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

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

Ataraxia8088·2023-12-16 00:14

零知识证明友好的波塞冬哈希（ZK-friendly Hashing： Poseidon）

文章目录背景什么是Poseidon哈希技术原理各STARKfriendlyhash函数性能对比SHA256VSPedersen参考背景2018年7月2日，以太坊基金会给StarkWare团队2年的赞助，用于寻找新的STARKfriendlyhash(SFH)函数，可用于在区块链中构建transparent且抗量子安全的proof系统。其要求很高，具体为：Prover应能为同一hash函数的多次调用

西京刀客·2023-12-05 10:47

基于 PSI 的纵向联邦学习数据隐私安全技术

首先根据联邦学习系统的不同运行阶段归纳总结了其中的隐私安全威胁，并给出了一些解决办法；其次重点讨论了纵向联邦学习系统中的样本对齐问题，讨论和分析了现有的私密求交的基本方法，提出了一种基于零知识证明的私密求交方法并给出了一些改进方向

罗思付之技术屋·2023-12-01 10:59

【密码学】小计

目录一、引论二、密码学信息理论基础三、分组密码四、流密码五、Hash函数（杂凑函数、哈希函数）=》MD（杂凑值）六、消息认证码（MAC）七、密码学复杂性理论基础八、公钥密码九、数字签名十、密钥分发十一、零知识证明理论十二

QiFengLingYe·2023-11-28 13:47

密码学—零知识证明（网络空间安全概论）

一、题目描述1.1题目：用零知识证明实现地图的三染色问题（用三种颜色染色一个地图，保证任意两个相邻的地区都是不同的颜色）。编程验证下述的设计思路，采用Python和C语言编写均可。

想不到名字222·2023-11-27 11:18

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

Ulvetanna团队编译：TinTinLand原文链接：https://www.ulvetanna.io/news/binius-hardware-optimized-snark在一篇新的研究论文中，零知识证明技术开发团队

TinTin Land·2023-11-27 02:09

Halo2

Halo2是Zcash协议在Orchard升级中将要采用的零知识证明系统，无需可信设置，可以实现递归证明。

雪落无留痕·2023-11-26 01:37

初识「零知识」与「证明」

副标题：探索零知识证明系列（一）作者：郭宇本文已更新至Github:https://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/1/zkp-back.md

安比实验室SECBIT·2023-11-20 19:31

proverif学习——安装使用

支持但不限于密码原语，包括：对称和非对称加密；数字签名；哈希函数；位承诺；以及非交互式的零知识证明（因为本人知识水平有限，其支持分析的属性根据其参考文档机器翻译得到，后续如有错误会更改）。

黯淡and暗淡·2023-11-17 16:06

Risc0：使用Continunations来证明任意EVM交易

1.引言RISCZero，设想了一个基于零知识证明的无限计算的未来。2023年5月发布了RISCZerozkVMv0.15版本，其中包含了一种重要feature：continuations。

mutourend·2023-11-12 09:54

RISC Zero zkVM 白皮书

1.引言RISCZero提供了开源的虚拟机+零知识证明系统，即zero-knowledgevirtualmachine（简称zkVM）。

mutourend·2023-11-12 09:53

MP-SPDZ详细介绍

基础知识概述隐私计算底层协议包括两种：其一是基础的加密传输协议，用于信息分发，包括不经意传输、秘密分享、同态加密、零知识证明等。其二是加密计算协议，包括乱码电路、同态加密、零知识证明等。

shuizhongmose·2023-11-05 08:24

StarkNet的Cairo知识简介

它使用零知识证明技术（Zero-KnowledgeProofs）来实现私密性和可伸缩性。在StarkNet上，Cairo是一种类似于Solidity（以太坊智能合约语言）的编程语言。

specterofblog·2023-11-02 15:20

什么是 NULINK ？一个在即将到来的 2022 年为分布式应用程序提供创新且令人印象深刻的隐私保护技术解决方案

作为其技术基础，Nulink技术平台包括区块链、访问控制（代理重加密、基于属性的加密）和安全计算（零知识证明、安全多方计算、全同态加密）技术。它在企业范围内提供数据交换和处理能力。

NuLinkholic·2023-10-27 01:26

新型零知识证明，背后的“隐身”大法是什么？

希望现在很多人都听说过ZK-SNARKs协议，这是零知识证明技术的通用性说法，使用它的案例从可验证的计算到私人保护的数字货币。也许你不知道，ZK-SNARKs协议有更新的版本，ZK-STARKs。

棉花棒和黄芥末·2023-10-25 16:21

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

―D.ToddChristofferson本文继续长篇大论零知识证明背后的

安比实验室SECBIT·2023-10-15 23:55

云中「秘密」：构建非交互式零知识证明---探索零知识证明系列（五）

本文作者：郭宇Onceexposed,asecretlosesallitspower.一旦泄露，秘密就失去了全部威力―AnnAguirre这已经是本系列的第五篇文章了，这一篇继续深入非交互式零知识证明。

安比实验室SECBIT·2023-10-05 23:02

Zordle：基于ZKP的Wordle应用

1.引言Zordle，为基于Halo2库和Plonkishprovingsystem实现了零知识证明的Wordle应用。

mutourend·2023-10-04 19:38

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

文章相对基础，可以帮助初学者快速理解交互式零知识证明和Fiat-Shamir变换的问题：https://blog.trailofbits.com/2021/02/19/serving-up-zero-knowledge-proofs

yixvxi·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协议的研究进展综述以及行业应用案列。

PlatON技术团队·2023-10-04 19:36

零知识证明学习笔记：背景与起源

副标题：斯坦福学霸的零知识证明学习笔记（一）本文作者东泽，来自安比技术社区的小伙伴，目前就读于斯坦福大学，研究方向密码学，本系列文章来源于作者在斯坦福著名的课程《CS251:Cryptocurrenciesandblockchaintechnologies

安比实验室SECBIT·2023-10-03 17:07

Web3极客日报 #2

zhuanlan.zhihu.com/p/36728655@Harry:Metamask中代码有很多用到stream（流）的地方，这篇文章很好的介绍了什么是stream，以及通过内存占用优化的实例解释了stream的强大零知识证明学习资源汇总

空乱木·2023-10-01 01:18

推荐频道