Proofs, Arguments, and Zero-Knowledge第二章学习笔记（1）

最新推荐文章于 2024-09-11 00:16:09 发布
最新推荐文章于 2024-09-11 00:16:09 发布
阅读量103 收藏
点赞数 2
文章标签： 算法 人工智能 机器学习
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/ksjdskla/article/details/142071546
版权

univariate low degree extension:

给定一个向量 𝑎=(𝑎1,…,𝑎𝑛)∈𝐹𝑝𝑛 ，他的univariate low degree extension是指将该向量用拉格朗日插值得出的多项式。LDE(a) 是指将该多项式在更大的域上（如 𝑝 )上评估得来的向量。

通常，将LDE(a)称为 𝑎 的 codeword。

红了桃花绿了柳树
关注
Round-optimal zero-knowledge proofs of knowledge for NP
02-21
This paper focuses on the problem and gives a positive answer by presenting two constructions of constant-round (black-box) zero-knowledge proofs of knowledge for the HC (hamiltonian cycle) problem....
2015-zero-knowledge proofs and application.pdf
11-01
这个概念最早由Goldwasser, Micali和Rackoff在1985年提出，其核心思想是证明某事“只证明其有效性，而不泄露任何其他信息”。...课程内容将包括基于零知识证明的构造，例如安全的身份认证方案和数字签名方案，以及如何...
Nova: Recursive Zero-Knowledge Arguments from Folding Schemes学习笔记
mutourend的博客
03-01 1619
Nova: Recursive Zero-Knowledge Arguments from Folding Schemes学习笔记
Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting学习笔记
mutourend的博客
07-31 1309
1. 引言 Bootle和Groth等人2016年论文《Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting》。
qesa Efficient zero-knowledge arguments in the discrete log setting 学习笔记
mutourend的博客
08-10 588
1. 引言 Hoffmann等人 2019年论文 《Efficient zero-knowledge arguments in the discrete log setting 》。 相应的代码实现可参见： https://github.com/crate-crypto/qesa https://github.com/emsec/QESA_ZK
Linear-time zero-knowledge proofs for arithmetic circuit satisfiability 学习笔记
mutourend的博客
12-07 601
1. 引言 Bootle等人2017年论文《Linear-time zero-knowledge proofs for arithmetic circuit satisfiability》，发表于ASIACRYPT 2017。 提供了computationally efficient zero-knowledge proofs of knowledge for arithmetic circuit satisfiablity over a large field。 对于具有NNN addition and
Efficient Zero-Knowledge Arguments from Two-Tiered Homomorphic Commitments 学习笔记
mutourend的博客
10-23 389
1. 引言 Groth 2011年论文《Efficient Zero-Knowledge Arguments from Two-Tiered Homomorphic Commitments》，发表于Asia crypto 2011。 本文： 基于double pairing assumption构建了two-tiered homomorphic commitments scheme 。 基于本文的two-tiered homomorphic commitments scheme狗啊见的zero-kn
Efficient Batch Zero-Knowledge Arguments for Low Degree Polynomials 学习笔记
mutourend的博客
10-28 519
1. 引言 Bootle和Groth 2018年论文《Efficient Batch Zero-Knowledge Arguments for Low Degree Polynomials》，发表于IACR-PKC-2018。 基于discrete logarithm assumption。 本文主要关注对 relations between commitments and field elements 的zero-knowledge argument，具有constant-round和fewer
Zero-Knowledge Argument for Polynomial Evaluation with Application to Blacklists 学习笔记
mutourend的博客
10-26 397
1. 引言 Bayer和Groth 2013年论文《Zero-Knowledge Argument for Polynomial Evaluation with Application to Blacklists》，发表于EuroCrypt 2013。 要点： 1）基于DL assumption，实现了证明commitments c1,c2,⋯ ,cdc_1,c_2,\cdots, c_dc1​,c2​,⋯,cd​ to u21,u22,⋯ ,u2du^{2^1},u^{2^2},\cdots , u^{
Pointproofs: Aggregating Proofs for Multiple Vector Commitments 学习笔记1
mutourend的博客
05-21 1646
1. 背景知识 Alogrand团队Gorbunov等人2020年论文《Pointproofs: Aggregating Proofs for Multiple Vector Commitments》，配套的代码实现参见：https://github.com/algorand/pointproofs 在该论文中，实现了： Pointproofs —— a new vector commitment scheme that supports non-interactive aggregation of pr
Virgo：Transparent Polynomial Delegation and Its Applications to Zero Knowledge Proof学习笔记
mutourend的博客
10-14 1390
1. 引言 Jiaheng Zhang等人2020年论文《Transparent Polynomial Delegation and Its Applications to Zero Knowledge Proof》发表于 IEEE Symposium on Security and Privacy 2020。
信息安全_数据安全_Zero-knowledge_proofs_(ZKP)：Priv.pdf
08-23
在此背景下，零知识证明（Zero-knowledge_proofs，简称ZKP）技术应运而生，它提供了一种在保护隐私的前提下验证信息真伪的方法。ZKP的概念最早由研究者们提出，并在实际应用中得到了广泛的关注和应用。 首先，零...
Proofs and Refutations (1963)-计算机科学
04-22
Proofs and RefutationsWhat follows is the first part (minus the introduction) of Imre Lakatos’ influentialessay Proofs and Refutations. It’s written as a dialogue between fictional students and ...
dp算法练习【7】
MADAO的博客
09-08 1429
给你一个按排序的整数数组nums，返回组成的新数组，要求也按排序。平方后，数组变为 [16,1,0,9,100]排序后，数组变为 [0,1,9,16,100]非常简单，思路平方后排序。优化：插入法。
深度优先算法，广度优先算法，hill climbing，贪心搜索，A*算法，启发式搜索算法是什么，比起一般搜索法算法有什么区别
mimo_mimo的博客
09-10 1118
A算法通过维护一个优先队列（通常是最小堆），并根据启发式函数（如g(n) + h(n)，其中g(n)是从起点到当前点的实际距离，h(n)是从当前点到目标点的估计距离）来评估节点的优先级。它从图的某个顶点V0开始，依次访问V0的各个未被访问过的邻接点，然后从这些邻接点出发，再依次访问它们的未被访问过的邻接点，直到图中所有已被访问过的顶点的邻接点都被访问到。它从当前的节点开始，和周围的邻居节点的值进行比较，如果当前节点不是最大的，就用最高的邻居节点来替换当前节点，从而实现向“山峰”的高处攀爬的目的。
洛谷刷题之B2089 数组逆序重存放
resco的博客
09-07 1208
洛谷刷题之B2089 数组逆序重存放
算法练习题22——解码
最新发布
hello77的blogggg 祝你得偿所愿
09-11 351
小明有一串很长的英文字母，其中可能包含大写和小写字母。在这串字母中，有很多字母是连续且重复的。为了压缩这串字母的表达形式，小明决定将连续相同的字母用“字母 + 出现次数”的形式表示。
代码随想录算法训练营day18|二叉树06
gyuhyhui的博客
09-10 747
示例 2: 输入: root = [3,5,1,6,2,0,8,null,null,7,4], p = 5, q = 4 输出: 5 解释: 节点 5 和节点 4 的最近公共祖先是节点 5。因为根据定义最近公共祖先节点可以为节点本身。那么我们来说一说，如果 root == q，或者 root == p，说明找到 q p ，则将其返回，这个返回值，后面在中节点的处理过程中会用到，那么中节点的处理逻辑，下面讲解。例如，给定如下二叉树: root = [3,5,1,6,2,0,8,null,null,7,4]
常数轮零知识证明NP问题的新进展
"Round-optimal zero-knowledge proofs of knowledge for NP" 本文主要探讨的是在密码学领域中的一个核心问题，即是否存在一种在NP（非确定性多项式时间）问题上能够实现常数轮次的黑盒零知识证明知识系统。零知识...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值