战争中你被俘了,敌人拷问你情报。你是这么想的:如果我把情报都告诉他们,他们就会认为我没有价值了,就会杀了我省粮食,但如果我死活不说,他们也会认为我没有价值而杀了我。怎样才能做到既让他们确信我知道情报,...
战争中你被俘了,敌人拷问你情报。你是这么想的:如果我把情报都告诉他们,他们就会认为我没有价值了,就会杀了我省粮食,但如果我死活不说,他们也会认为我没有价值而杀了我。怎样才能做到既让他们确信我知道情报,...
标签: 零知识证明
一觉醒来,忽然发现零知识证明这一小众专业和阿里巴巴的故事俨然成了大众话题。昨日发呆,在微信上写了人生的第一个科普,后来发现了一些typos,决定在这里重写一个稍微丰满的版本。感谢一些好友的提醒和提供的例子...
In part V we saw how a statement Alice would like to prove to Bob can be converted into an equivalent form in the “language of polynomials” called a Quadratic Arithmetic Program (QAP). ...
零知识证明(zero-knowledge proof),由Goldwasser等人在20世纪80年代初提出的。 它指的是证明者在不对验证者提供任何有用的信息的情况下,使验证者相信某个论断是对的。换句话说,证明者向验证者证明并使其相信...
本文将通过打比方的手法,用通俗的语言,解释清楚ZCash的交易原理,以及零知识证明是如何运用到ZCash交易过程中的。 本文的嘉宾是数字货币界最著名CP:Alice和Bob。 一、从比特币说起 直接讲解ZCash的交易过程...
标签: 零知识
本文提出了一种全新的基于零知识证明的身份认证机制
本文收集了2023这一年海内外关于零知识证明的一些学习资料(包括科普文章,论文,开源仓库及相关学习网站等),并对这些资源进行了整理分析,希望能对大家有所帮助。本文收集了关于零知识证明的一些学习资料(包括...
那么对于一些隐私和安全性要求比较高的传统企业,必然会提出在实现公开信任和自动交易的基础上提供商用级隐私保护的诉求,那么对于看似矛盾的倡导公开透明与商用级隐私保护这个难题,零知识证明技术就是一个最佳的...
要证明的公式: 证明等式两边的关系 , 推测Zcash要证明的一点就是 vin = vout + fee 匿名地址到匿名地址间的交易 透明地址到匿名地址间的交易 怎么证明交易发起者对vin有操作权? 这是Alessand...
前段时间听到有朋友谈到,区块链发展技术中的零知识证明,这几天翻阅了下资料看了下这一块内容,看完之后深深觉得自己数学知识和数学理解能力的不足,大概写下零知识证明的理论,也不深究,其实具体很多东西也没看懂...
本文是零知识证明简单实践教程的第二部分,第一部分见:零知识证明第一部分 现在一个问题是,prover(证明者)可能撒谎,比如原本它应该向verifier(验证者)揭露p[1]的值,但prover出于某种原因或者纯粹恶作剧,把...
笔译
本文提出了一种全新的多项式函数根的零知识证明技术方案
gadgetlib2库的使用以及如何整合ppzkSNARK的教程和范例。这分文档专为小零件(gadget)写的,推荐从上至下作为教程来阅读。 1. 面包板(protoboard)的使用和范例 这个测试给出构造系统限制(constraint)的第一个范例。...
2019年,Filecoin算是火热的区块链项目。...采用零知识证明技术,对存储进行证明是个大胆的尝试。 Filecoin团队,在2019年下半年出了个Lotus(莲花)测试版本。测试网络的硬件配置比较高,256G内存 + Nvidi...
一、什么是零知识证明? 零知识证明(Zero—Knowledge Proof)并不是一个全新概念,也不是伴随着区块链的流行而诞生的新技术。零知识证明在我们以往的日常生活中随处可见,我举一个最简单的例子,张三在逛商场的...
本文将通过打比方的手法,用通俗的语言,解释清楚ZCash的交易原理,以及零知识证明是如何运用到ZCash交易过程中的。 本文的嘉宾是数字货币界最著名CP:Alice和Bob。 一、从比特币说起 直接讲解ZCash的交易过程...
文章目录什么是QAP?什么是NP问题多项式时间现实中的NP类问题 什么是QAP? QAP 是 Quadratic Arithmetic Program 的缩写。 什么是NP问题 【强烈推荐】什么是P=NP问题? ...在理解 QAP 之前,我们先来了解一下什么是 P ...
就像汽车一样,zk-SNARK零知识证明系统是由很多具有不同功能的部件组成的。在我看来zk-SNARK这辆车的引擎就是用来保护私有信息的双线性配对。配对是一种特殊的映射,它模糊了信息但依然允许你进行有限的计算,非常令...
零知识证明(Zero-Knowledge Proof或Zero-Knowledge Protocol)是一种基于概率的验证方法,它包括“类似事实的陈述”和“关于个人知识的陈述”。验证者基于一定的随机性来询问证明者,如果证明者给出的答案正确,...
简介:之前我翻译了zcash官方关于零知识证明讲解的一系列文章,但以我个人的经验来看,我们还需要这篇文章,才能真正理解零知识证明。这篇文章也是翻译自Zcash官方的一篇介绍zk-SNARKs的文章,原文在这里。这篇文章...
最近接触学习零知识证明,很是头疼,没有一些背景知识,只能硬看了,而且也没有别的好方法。 为什么要学习零知识证明 因为区块链的去中心化,导致信息都是公开透明的,比特币、以太坊、EOS等目前绝大部分项目...
你的手里有红绿两个颜色的小球,假如你有一个对颜色不敏感的朋友,你要如何在不告诉他小球具体颜色的情况下,让其相信那是两个不同颜色的球?可以考虑以下的操作。先将两个球分别放在他的两只手中,记住左右手中的...
当区块链遇到零知识证明 什么是零知识证明 零知识证明的官方定义是能够在不向验证者任何有用的信息的情况下,使验证者相信某个论断是正确的。这个定义有点抽象,下面笔者举几个例子,来帮助读者理解这个概念 例子一...