零知识证明ZK基础

最新推荐文章于 2024-06-14 22:49:04 发布
最新推荐文章于 2024-06-14 22:49:04 发布
阅读量141 收藏
点赞数
分类专栏： Security 文章标签： 零知识证明 区块链 可信计算技术 网络安全 密码学
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_51591328/article/details/128615171
版权

类型

交互式零知识证明（IZK）
非交互式零知识证明（NIZK）

完备性

如果这个声明是真的，那么验证者一定会接收证明

可靠性

如果验证者接收证明，那么这个声明大概率是真的

零知识性

在整个协议中，验证者的视图可以不通过和证明者的交互被高效的模拟
在这里插入图片描述

  • 完美的零知识性
    在整个协议中，证明者泄露给验证者的额外信息是0。
  • 统计学的零知识性
    在整个协议中，证明者泄露给验证者的额外信息是可忽略的。
  • 基于算力假设的零知识性
    在任意一个随机多项式时间的图灵机视角，在整个协议中，证明者泄露给验证者的额外信息是可忽略的。

正式定义

在这里插入图片描述
在这里插入图片描述

Sigma协议

一种特殊的3轮零知识证明协议

最低0.47元/天 解锁文章
柒拾柒_L
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
nizk:欢迎来到Nizk源
03-25
nizk:欢迎来到Nizk源
区块链隐私保护文献 An Efficient NIZK Scheme for Privacy-Preserving Transactions over Account-Model Blockchain
qq_41182893的博客
09-08 931
读论文《An Efficient NIZK Scheme for Privacy-Preserving Transactions over Account-Model Blockchain》，一篇写的很好的关于区块链隐私保护的文章。
智能合约隐私保护论文：An Efficient NIZK Scheme for Privacy-Preserving Transactions over Account-Model Blockchai
小熊划水博
05-20 2715
Shunli Ma, Yi Deng, Debiao He, Jiang Zhang, Xiang Xie. An Efficient NIZK Scheme for Privacy-Preserving Transactions over Account-Model Blockchain. Cryptology ePrint Archive, Report 2017/1239, 2017. ht...
Pinoccho——nizk-test
mutourend的博客
06-06 507
接Pinocchio——将.arith文件转换为qap及做相应的prove/verify操作，对nizk-test进行操作。 nizk-test.c内容为： #pragma once struct Input { int a;}; struct NIZKInput { int b1; int b2; int b3; int b4;}; struct Output { ...
Efficient Modular NIZK Arguments from Shift and Product学习笔记
mutourend的博客
05-07 275
1. 背景知识 Prastudy Fauzi, Helger Lipmaa, and Bingsheng Zhang 2013年论文《Efficient Modular NIZK Arguments from Shift and Product》，提出： 基于shift-by-ξ\xiξ argument 和 rotation-by-ξ\xiξ argument构建permutation arg...
简洁非交互式零知识证明参数（zk-SNARKS），本文系统介绍了zk-SNARKS的数学理论，需要有一定的数学功底的人进行阅读
03-28
我们构建了一个系统，为冯·诺依曼RISC体系结构上的程序执行提供简洁的非交互式零知识证明（zk SNARKs）。该系统由两部分组成：一个用于验证算术电路可满足性的密码验证系统，以及一个用于将程序执行转换为此类电路...
零知识证明报告.pptx
10-15
自学零知识证明算法zk-ANARK总结的PPT，借鉴了许多大佬总结的文章作为参考资料，学完头昏脑涨
zk：跨平台零知识证明
02-01
zk：跨平台零知识证明
Libra:天秤座零知识证明系统
05-18
天秤座ZK参考实施 是双倍有效的（对于证明者和验证者而言）zkSNARK。 此存储库将帮助您运行本文中执行的所有测试。 请阅读以下每个存储库中的自述文件： ：主要的天秤座代码库 ：所有版本的纸张 致谢 我们的基准...
简洁非交互零知识证明综述.pdf
12-22
在协议性能表现方面，简洁非交互零知识证明可以根据不同的应用场景选择不同的协议，例如，在区块链领域可以使用zk-SNARKs协议，而在隐私计算领域可以使用homomorphic encryption协议。这些协议的安全性是由其底层...
Schnorr协议：非交互零知识身份证明和数字签名
区块链之美
03-14 5363
本文首发公众号VenusBlockChain，VenusBlockChain致力于区块链技术研究，传播区块链技术和解决方案、区块链应用落地、区块链行业动态等。欢迎关注公众号VenusBlockChain。 摘要：本篇文章介绍Schnorr的两大应用场景：从交互式零知识身份证明到非交互零知识身份证明、数字签名实现基本原理、菲亚特-沙米尔（Fiat-Shamir）变换。 １.Schnorr简介 Sch...
浅谈零知识证明
热门推荐
jambeau的博客
11-06 2万+
零知识证明是实现隐私保护的密码学方案。曾被称为密码学领域的一颗皇冠，用于在不泄露具体秘密情况下对问题一种正确证明方法。尤其是在金融领域实现数据隐私保护方面的创新业务场景里实现落地应用。 我们今天就从零知识证明的基本概念、研究进展、实现原理方面做一些简单阐述。 一、零知识证明概述 零知识证明（Zero-Knowledge Proof, ZKP）是现代密码学中的一类经典协议，用于在不泄露关于某个命题任何信息的情况下证明该命题的正确性。近年来，随着区块链等新兴技术的发展以及隐私计算需求的兴起，零知识证明技术再次成
云中「秘密」：构建非交互式零知识证明---探索零知识证明系列（五）
SECBIT区块链安全实验室
01-10 1673
本文作者：郭宇 Once exposed, a secret loses all its power. 一旦泄露，秘密就失去了全部威力 ― Ann Aguirre 这已经是本系列的第五篇文章了，这一篇继续深入非交互式零知识证明。 本文约 12,000 字。 系列一：初识「零知识」与「证明」 系列二：理解「模拟」 系列三：寻找「知识」 系列四：随机「挑战」 提纲 CRS 的前世今生 哈密尔...
零知识证明在隐私保护和身份验证中的应用
PrimiHub的博客
05-20 1173
隐私保护和身份验证是现代社会中的关键问题，尤其是在数字化时代。零知识证明（Zero-Knowledge Proofs，简称ZKP）提供了一种独特的解决方案，它允许个体在不泄露任何额外信息的情况下，证明某个陈述的真实性。
大前端技术分类
天下布武
06-09 248
1 基础 2 语言 3 类库 4 框架 5 跨栈 6 架构 7 领域 7.1 中后台 7.2 跨平台 7.3 可视化 7.4 智能化 7.5 工程化 7.5.1 规范化 7.5.2 流程化 —— 前端工程化工具系列 7.5.3 模板化 7.5.4 自动化 7.5.5 平台化 7.6 其他 7.6.1 音视频 7.6.2 Web3 7.6.3 区块链 7.6.4 在线文档&IDE
Vyper重入漏洞解析
Spade_sec的博客
06-09 515
在这篇文章中，我们探讨了Vyper智能合约中重入攻击的机制、案例以及防御方法。重入攻击是一种严重的安全威胁，当合约在发送资金之前未能更新其状态时，攻击者可以通过递归调用提取函数来耗尽合约资金。重入攻击不仅仅在solidity中很常见，在Vyper智能合约中同样应该注意！
如何部署 Celestia 节点：运行轻节点和全节点
最新发布
m0_73054711的博客
06-14 629
运行节点有助于保护 Celestia 网络和您的资产，并获得奖励。在 Celestia 上运行轻节点是新手开始参与网络的好方法，因为它需要的资源更少，技术专长也更少。您可以使用共识节点升级，但如果您想设置共识节点，则需要运行桥接节点。除了运行节点之外，您还可以委托您的 $TIA 参与网络活动并获得被动收入。以下是在 Celestia 上设置和运行节点（轻节点和完整存储节点）的说明。通过连接到验证器节点的 gRPC 端点来启动您的节点。通过连接到验证器节点的 gRPC 端点来启动您的节点。
区块链的基本原理和优势
double222222的博客
06-08 1900
尽管在可扩展性、能耗和法规等方面面临挑战，但随着技术的不断进步和应用的日益广泛，区块链的未来发展前景仍然十分广阔。智能合约的应用扩展了区块链的功能，超越了简单的价值转移，使其能够支持更复杂的应用场景。传统的数据库系统通常依赖于中心化的服务器进行数据存储和管理，而区块链则采用去中心化的架构，所有的参与者（节点）都有一个完整的账本副本。区块链是一个去中心化的系统，这意味着没有单一的控制中心，数据由网络中的所有节点共同维护和管理。当前的区块链系统，如比特币和以太坊，处理交易的速度和容量有限，难以支持大规模应用。
公链常用的共识算法
以择人之心择己，以恕己之心恕人。
06-14 590
公链常见的共识算法、以及主流公链采用的共识算法。
零知识证明的证明系统有哪些？请列举一下
02-11
零知识证明的证明系统有多种，其中一些常见的系统如下： 1. zk-SNARKs（零知识 Succinct Non-Interactive ARguments of Knowledge） 2. zk-STARKs（零知识 Succinct Transparent ARguments of Knowledge） 3. ...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值