- VisualStudio2022插件的安装及使用-编程手把手系列文章
- pprof-在现网场景怎么用
- C#实现的下拉多选框,下拉多选树,多级节点
- 【学习笔记】基础数据结构:猫树
微信公众号:密码应用技术实战 博客园首页:https://www.cnblogs.com/informatics/ GIT地址:https://github.com/warm3snow 。
多项式承诺是一种实用性比较强的密码学承诺方案,允许一个方(承诺者)向另一个方(验证者)承诺一个多项式的值,而不泄露多项式的具体形式。在零知识证明、可验证密码共享等领域有广泛应用,常见的多项式承诺有Kate多项式承诺、FRI多项式承诺,IPA多项式承诺等。本文将重点介绍Kate多项式承诺的构造和应用.
在阅读下文之前,了解基础的密码学承诺原理和应用是非常有必要的,读者可以参考以下几篇文章: 《密码学承诺之原理和应用 - 概览》 《密码学承诺zhi原理和应用 - Sigma承诺》 《密码学承诺之原理和应用 - Pedersen承诺》 。
在详细介绍Kate多项式承诺之前,我们先来简单介绍一下多项式的基本概念。多项式一般表示为:
上述多项式中,\(a_0, a_1, a_2, ..., a_d\)是多项式系数,\(x\)是多项式的变量,\(d\)是多项式的次数(或多项式的度)。多项式的次数是指多项式中最高次幂的指数,例如上述多项式的次数为\(t\),因此上述\(f(x)\)我们也称作d次多项式。多项式系数\(a_0, a_1, a_2, ..., a_d\)是多项式的重要组成部分,它们决定了多项式的形状和性质,也是需要保护的重要信息.
多项式的值是指将变量x代入多项式后的结果,例如\(f(\beta)\)表示将\(x=\beta\)代入多项式中,计算出的结果.
多项式的根是指多项式的值为0的点,即\(f(x) = 0\)的点.
多项式有两个重要的性质:
注:在零知识证明中,通常会将要证明的问题转化为多项式表达,并通过多项式与商多项式的等式关系来进行证明.
在多项式承诺验证中,会用到双线性映射的概念。双线性映射(Bilinear Map)是数学中一种重要的映射,尤其在密码学和数论中有广泛的应用。它是一种特殊的函数,具有以下性质:
定义 。
设\(G\)是一个乘法循环群, \(g\)是一个生成元, \(G_T\)是另一个群。一个映射\(e: G \times G \rightarrow G_T\)被称为双线性映射,如果满足以下条件:
重要性质:
多项式承诺主要流程如下:
以上方式的多项式承诺打开阶段是明文揭示,即承诺者直接揭示多项式\(f(x)\),验证者重新计算多项式承诺\(C^{'} = Commit(CRS, f(x))\),并验证\(C^{'}\)和\(C\)是否相等。 明文揭示的方式简单直接,但存在以下问题:
为了解决明文揭示多项式承诺存在的问题,Kate多项式承诺基于多项式点打开的方式,实现了多项式的承诺和验证。点打开方式指的是承诺者不直接揭示多项式\(f(x)\),而是揭示多项式在某个点的值\(f(β)\),并提供一个witness证明,验证者通过双线性映射验证多项式在β点的值是否正确。通过点打开的方式,Kate多项式承诺解决了明文揭示的问题,同时保护了多项式的隐私.
Kate多项式承诺的构造一般有两种方案,两种方案在安全性上有所不同:
定义上比较抽象,简单来说就是无条件隐藏通过引入随机性,使得承诺的值在计算上无法被推断出来,而计算隐藏仅使用离散对数困难性假设,使得承诺的值在计算上无法被推断出来.
计算隐藏的Kate多项式承诺的构造如下
Kate多项式承诺需要初始化阶段,主要是生成和公开CRS,以及双线性映射\(e: G \times G \rightarrow G_T\)。在Kate多项式承诺中CRS如下:
其中,\(G\)代表乘法群,\(g\)是\(G\)的一个生成元,\(α\)是一个随机数,\(t\)是最高幂次。注:在零知识证明中,\(α\)是一个私密的值,不会公开,需要被安全销毁(通常被称为有毒废料).
注:在Kate论文中,CRS被叫做PK,即公钥.
承诺者计算多项式的承诺值\(C = Commit(CRS, f(x))\),并发送\(C\)给验证者。多项式的承诺值计算方式如下:
承诺者计算多项式在某个点的值\(f(β)\),并提供一个witness证明\(w\),其中\(w\)是多项式在β点的承诺,计算方式如下:
承诺者将\((β, f(β), w)\)发送给验证者.
验证者使用双线性映射验证多项式在β点的打开值是否正确,验证方式如下:
正确性验证:
根据商多项式的定义,有:\(f(α) - f(β) = φ(α) \cdot (α-β)\),因此:
因此,\(e(C, g) = e(w, g^{α}/g^{β}) \cdot e(g, g)^{f(β)}\),验证通过.
无条件隐藏的Kate多项式承诺构造与计算隐藏的Kate多项式承诺流程类似,区别在于:
CRS的构造如下:
其中,\(h\)是\(G\)的另一个生成元.
承诺者计算多项式的承诺值\(C = Commit(CRS, f(x))\),计算方式如下:
承诺者计算多项式在某个点的值\(f(β)\),并提供一个witness证明\(w\),计算方式如下:
\(g^{φ(α)}\)和\(h^{\hat{φ(α)}}\)计算方式基于CRS(方式与上文相同,略),承诺者将\((β, f(β), \hat{f(β)}, w)\)发送给验证者.
验证者使用双线性映射验证多项式在β点的打开值是否正确,验证方式如下:
正确性验证:
\(h\)是\(G\)中的一个群元素,因此不是一般性可设\(h = g^\lambda\),其中\(\lambda\)是一个随机数。因此:
根据商多项式的定义,有:\(f(α) - f(β) = φ(α) \cdot (α-β)\),\(\hat{f(α)} - \hat{f(β)} = \hat{φ(α)} \cdot (α-β)\),因此:
因此,\(e(C, g) = e(w, g^{α}/g^{β}) \cdot e(g^{f(β)} \cdot h^{\hat{f(β)}}, g)\),验证通过.
Kate多项式承诺是一种实用性比较强的多项式承诺方案,通过点打开的方式,可以在保护多项式隐私的同时,有效减少通信量。Kate多项式承诺在零知识证明、可验证密码共享等领域有广泛应用。了解Kate多项式承诺的原理和构造,对于学习zk-snarks、zk-starks等零知识证明协议是非常有帮助的。通过本文的介绍,希望读者能够对Kate多项式承诺有一个初步的了解,并为进一步学习零知识证明协议打下基础.
最后此篇关于密码学承诺之原理和应用-Kate多项式承诺的文章就讲到这里了,如果你想了解更多关于密码学承诺之原理和应用-Kate多项式承诺的内容请搜索CFSDN的文章或继续浏览相关文章,希望大家以后支持我的博客! 。
我正在通过 labrepl 工作,我看到了一些遵循此模式的代码: ;; Pattern (apply #(apply f %&) coll) ;; Concrete example user=> (a
我从未向应用商店提交过应用,但我会在不久的将来提交。 到目前为止,我对为 iPhone 而非 iPad 进行设计感到很自在。 我了解,通过将通用PAID 应用放到应用商店,客户只需支付一次就可以同时使
我有一个应用程序,它使用不同的 Facebook 应用程序(2 个不同的 AppID)在 Facebook 上发布并显示它是“通过 iPhone”/“通过 iPad”。 当 Facebook 应用程序
我有一个要求,我们必须通过将网站源文件保存在本地 iOS 应用程序中来在 iOS 应用程序 Webview 中运行网站。 Angular 需要服务器来运行应用程序,但由于我们将文件保存在本地,我们无法
所以我有一个单页客户端应用程序。 正常流程: 应用程序 -> OAuth2 服务器 -> 应用程序 我们有自己的 OAuth2 服务器,因此人们可以登录应用程序并获取与用户实体关联的 access_t
假设我有一个安装在用户设备上的 Android 应用程序 A,我的应用程序有一个 AppWidget,我们可以让其他 Android 开发人员在其中以每次安装成本为基础发布他们的应用程序推广广告。因此
Secrets of the JavaScript Ninja中有一个例子它提供了以下代码来绕过 JavaScript 的 Math.min() 函数,该函数需要一个可变长度列表。 Example:
当我分别将数组和对象传递给 function.apply() 时,我得到 NaN 的 o/p,但是当我传递对象和数组时,我得到一个数字。为什么会发生这种情况? 由于数组也被视为对象,为什么我无法使用它
CFSDN坚持开源创造价值,我们致力于搭建一个资源共享平台,让每一个IT人在这里找到属于你的精彩世界. 这篇CFSDN的博客文章ASP转换格林威治时间函数DateDiff()应用由作者收集整理,如果你
我正在将列表传递给 map并且想要返回一个带有合并名称的 data.frame 对象。 例如: library(tidyverse) library(broom) mtcars %>% spl
我有一个非常基本的问题,但我不知道如何实现它:我有一个返回数据框,其中每个工具的返回值是按行排列的: tmp<-as.data.frame(t(data.frame(a=rnorm(250,0,1)
我正在使用我的 FB 应用创建群组并邀请用户加入我的应用群组,第一次一切正常。当我尝试创建另一个组时,出现以下错误: {"(OAuthException - #4009) (#4009) 在有更多用户
我们正在开发一款类似于“会说话的本”应用程序的 child 应用程序。它包含大量用于交互式动画的 JPEG 图像序列。 问题是动画在 iPad Air 上播放正常,但在 iPad 2 上播放缓慢或滞后
我关注 clojure 一段时间了,它的一些功能非常令人兴奋(持久数据结构、函数式方法、不可变状态)。然而,由于我仍在学习,我想了解如何在实际场景中应用,证明其好处,然后演化并应用于更复杂的问题。即,
我开发了一个仅使用挪威语的应用程序。该应用程序不使用本地化,因为它应该仅以一种语言(挪威语)显示。但是,我已在 Info.plist 文件中将“本地化 native 开发区域”设置为“no”。我还使用
读完 Anthony's response 后上a style-related parser question ,我试图说服自己编写单体解析器仍然可以相当紧凑。 所以而不是 reference ::
multicore 库中是否有类似 sapply 的东西?还是我必须 unlist(mclapply(..)) 才能实现这一点? 如果它不存在:推理是什么? 提前致谢,如果这是一个愚蠢的问题,我们深表
我喜欢在窗口中弹出结果,以便更容易查看和查找(例如,它们不会随着控制台继续滚动而丢失)。一种方法是使用 sink() 和 file.show()。例如: y <- rnorm(100); x <- r
我有一个如下所示的 spring mvc Controller @RequestMapping(value="/new", method=RequestMethod.POST) public Stri
我正在阅读 StructureMap关于依赖注入(inject),首先有两部分初始化映射,具体类类型的接口(interface),另一部分只是实例化(请求实例)。 第一部分需要配置和设置,这是在 Bo
我是一名优秀的程序员,十分优秀!