零知识证明学习资源汇总

AI权益加码!Claude Code、Cursor等20+工具免费用! 购周边限时加赠Coding Plan Lite,畅享主流AI工具!学习进阶更高效! 阅读详情

本文将继续会持续进行更新,更新后的版本将在 Github 和知乎上发布,欢迎关注。

Github 地址:https://github.com/sec-bit/learning-zkp/blob/master/zkp-resource-list.md

知乎账号:安比实验室 SECBIT(https://www.zhihu.com/org/secbit/activities


零知识证明技术是现代密码学三大基础之一,由 S.Goldwasser、S.Micali 及 C.Rackoff 在 20 世纪 80 年代初提出。早期的零知识证明由于其效率和可用性等限制,未得到很好的利用,仅停留在理论层面。直到近年来,零知识证明的理论研究才开始不断突破,同时区块链也为零知识证明创造了大展拳脚的机会,因而走进大众视野。

零知识证明这项“黑科技”随着它的热度逐渐增加,相关的学习资源也慢慢丰富起来了。但是由于,一方面零知识证明背后的原理颇为复杂,且内容繁多;另一方面,针对零知识证明的学习资源质量参差不齐,尚未形成系统。因此对绝大多数读者来说,学习零知识证明的难度依然很大。

本文收集了关于零知识证明的一些学习资料(包括科普文章,论文,开源仓库及相关学习网站等),并对这些资源进行了整理分析,希望能对大家有所帮助。

由于整理时间有限和笔者自身知识的局限性,文章存在不足之处,欢迎纠正、补充和探讨。

1. 故事中零知识证明

初次接触零知识证明的小伙伴一定会问,究竟什么是零知识证明呢?它到底在做什么?

推荐几篇适合小白的文章:

兴许是因为如何解释零知识证明的问题并不简单,所以绝大部分入门级的科普文章都是从讲故事开始的。

 

2. 深入理解零知识证明

零知识证明技术涉及的知识点繁多,性质也各不相同。了解了什么是零知识证明以后,就需要对零知识证明更深刻的理解,推荐以下几篇零知识证明系列科普文。

零知识证明 - libsnark源代码分析 libsnark源代码,建议想深入零知识证明的小伙伴都读一读。Bellman库主要围绕Groth16算法,libsnark给出了SNARK相关算法的全貌,各种Relation,Language,Proof System。为了更好的生成R1CS电路,libsnark抽象出protoboard和gadget,方便开发者快速搭建电路。 本文中使用的libsnark源代码的最后一个commit如下: commit 477c9dfd07b280e42369f82f89c08416319e24ae Author: Ma 阅读详情

相关推荐

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

本文收集了关于零知识证明的一些学习资料(包括科普文章,论文,开源仓库及相关学习网站等),并对这些资源进行了整理分析,希望能对大家有所帮助。书接上篇,

Tesla_Zhou的博客 1483

零知识证明

通过对零知识证明的mpc阐述,说明零知识证明原理,和落地实现可能性。

零知识证明入门必看

MasterMind https://github.com/weijiekoh/zkmm Zero-knowledge proofs, a board game, and leaky abstractions: how I learned zk-SNARKs from scratch https://medium.com/@weijiek/how-i-learned-zk-snarks-from-scratch-177a01c5514e @郭宇:零知识证明技术将会区块链的 must-have。不过这个黑科技

西京刀客 1706

姚期智百万富翁问题:隐私安全

姚期智老师在1986年就发表了这个论文,当时互联网处于发展阶段,隐私问题也就没多少人重视,姚老师很有前瞻性,不亏是首位获得图灵奖的华人。但是如今开始重视隐私问题了,滴滴就是前车之鉴,国家也很重视信息安全的建设,所以好好学习吧,哈哈😄网络安全入门学习路线其实入门网络安全要学的东西不算多,也就是网络基础+操作系统+中间件+数据库,四个流程下来就差不多了。1.网络安全法和了解电脑基础。

qq_53058639的博客 2084

【雕爷学编程】Arduino动手做(197)---零知 STM32F103RBT6 标准开发板

雕爷学编程,Arduino动手做,开源硬件,创客传感器,零知 STM32F103RBT6 标准开发板

雕爷学编程 439

知识图谱|解决“百万富翁”问题的多方安全计算是什么?

一种让数据在加密状态下进行运算的创新方法。

Blockchain2022的博客 551

【雕爷学编程】Arduino动手做(197)---零知 STM32F103RBT6 标准开发板2

雕爷学编程,Arduino动手做,开源硬件,创客传感器,零知 STM32F103RBT6 标准开发板

雕爷学编程 586

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

本文收集了2023这一年海内外关于零知识证明的一些学习资料(包括科普文章,论文,开源仓库及相关学习网站等),并对这些资源进行了整理分析,希望能对大家有所帮助。本文收集了关于零知识证明的一些学习资料(包括科普文章,论文,开源仓库及相关学习网站等),并对这些资源进行了整理分析,希望能对大家有所帮助。

Tesla_Zhou的博客 1138

零知识证明经典文献大汇总(可收藏)

零知识证明经典文献大汇总(可收藏)

qq_32193015的博客 1608

零知识证明学习

在过去的十年中,称为“零知识证明”的密码学领域一直在迅速发展。它提供了构建应用程序的新范式,并使协议能够提高效率、安全性和隐私性。让我们看看是什么让零知识证明领域如此令人兴奋,以及它帮助工程师解决了哪些问题。无需信任的区块链和可验证性区块链通常用于处理用户提交的交易。这些交易通常会触发区块链所需执行的一些计算。为了使区块链是无需信任的(即不依赖于信任单独的一方),网络中的参与者必须可以验证交易是否有效,以及它们所含的计算是否正确执行。

跨链技术践行者 455

Ingopedia:零知识证明资源的开源宝库

Ingopedia 是一个由社区驱动的开源项目,旨在创建一个关于零知识证明(ZKP)的全面资源集合。该项目为从初学者到专家的所有对零知识证明感兴趣的人提供了一个一站式的学习平台。项目使用 Markdown 格式编写,并通过 mdbook 工具构建网站,主要使用编程语言为 Rust,同时也涉及一些 Markdown 和 TOML。 ## 2. 项目的核心功能 - **资源集合**:Ingoped...

gitblog_00132的博客 366

零知识证明 Learn by Coding:libsnark 入门篇

本文作者:p0n1@安比实验室 libsnark 是目前实现 zk-SNARKs 电路最重要的框架,在众多私密交易或隐私计算相关项目间广泛应用,其中最著名当然要数 Zcash。Zcash 在 Sapling 版本升级前一直使用 libsnark 来实现电路(之后才替换为 bellman)。毫不夸张地说,libsnark 支撑并促进了 zk-SNARKs 技术的首次大规模应用,填补了零知识证明技术从...

SECBIT区块链安全实验室 2917

零知识证明学习(一)—— 初始零知识证明

初始零知识证明 零知识证明(Zero-Knowledge Proofs,ZKP)背景知识,主要介绍一下研究的动机 这里我简单介绍一下背景知识,希望能引起你们研究的兴趣! 起源 Goldwasser等人1在1985年提出交互是证明概念,通过将交互性和随机性引入到传统的NP证明系统中,提出了交互式证明系统。在交互式证明的系统中,验证者V可以向证明者P提随机问题。V可以验证超出它计算能力以外的问题,P的私密信息不会泄露给V。 一个ZKP引发的爱情故事2 这里以数独为例引入零知识证明,Alice和Bob两人非常喜

BlockchainY的博客 1300

区块链:深入浅出零知识证明

一、什么是零知识证明零知识证明(Zero—Knowledge Proof)并不是一个全新概念,也不是伴随着区块链的流行而诞生的新技术。零知识证明在我们以往的日常生活中随处可见,我举一个最简单的例子,张三在逛商场的时候把钱包弄丢了,李四捡到了钱包,交给了商场的管理处值班员王五,王五通过商场广播寻找失主前来认领。丢失钱包的张三听到广播后来到管理处认领钱包,那么问题来了,王五怎么确认失主就是张三呢...

跨链技术践行者 1万+

什么是零知识证明

定义零知识证明是指一种交互式协议,其中一个人能够向另一个人证明一个陈述的真实性,而不需要透露这个陈述的具体内容。在这个过程中,证明者只需要证明所声称的陈述是真实的,而不需要向验证者透露其陈述的具体信息。这样可以避免信息的泄露和被篡改的风险。原理ZKP 技术的原理是基于密码学中的数学算法实现的。其基本思想是在证明者和验证者之间建立一个安全的加密通道,使得证明者可以通过交互式协议来证明其陈述的真实性,而验证者只需要通过这个协议来验证陈述的真实性即可。

AI时代光年 2480

零知识证明 - zkSNARK的Nullifier攻击

早上很多朋友@我,安比实验室公众号发表了一篇文章zkSNARK的“输入假名”的攻击。迅速看了看,很赞。这个攻击原理其实比较简单,但是,不深入理解zkSNARK以及使用场景的朋友确实很难发现和理解。本文讲讲我对这个攻击的分析和理解。 源于三天前 这种攻击方式一直潜伏着,没被发现。直到三天前: 俄罗斯开发者poma,在项目semaphore提交了一个issue,公开了这个攻击方法。poma同时也在kovan测试网络验证了这种攻击方式。 先从semaphore项目的代码开始: 话说,semaphore是个很有

StarLi2020的博客 861

区块链零知识证明:隐私保护的数学机制

文章标题 区块链零知识证明:隐私保护的数学机制 关键词:区块链零知识证明、隐私保护、安全、数学原理、应用 摘要:本文将深入探讨区块链技术中的一种重要数学机制——零知识证明,解释

AI天才研究院 1946

zkp-academy:一站式零知识证明学习平台

zkp-academy:一站式零知识证明学习平台 项目介绍 zkp-academy 是一个专注于零知识证明(ZKP)领域的高质量在线教育项目。它为初学者和进阶者提供了一个系统性的学习平台,涵盖多种零知识证明技术和算法,旨在通过一系列课程和研讨会,帮助参与者深入理解和掌握ZKP的核心概念和应用。 项目技术分析 zkp-academy 以开源的方式组织课程内容,其核心功能包括: 系统化课程设计:项目...

gitblog_00976的博客 629
上一篇: 亚瑟王的「随机」挑战:从交互到非交互式零知识证明——探索零知识证明系列(四)
下一篇: 链上富人寻「隐私」记(一:Mixer 篇)
安比实验室SECBIT
博客等级 码龄8年 169粉丝 40原创
评论 1
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值