电路构建、转换为约束系统、多项式承诺以及验证过程；为什么需要这几个步骤；；

已于 2024-08-14 15:25:47 修改
阅读量223 收藏
点赞数 7
分类专栏： 2021 论文 教学 2021 AI python 文章标签： 算法 人工智能 机器学习
于 2024-08-14 15:25:28 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_38998213/article/details/141191587
版权
教学 同时被 3 个专栏收录
256 篇文章 18 订阅 ¥89.90 ¥99.00
订阅专栏
2021 AI python
234 篇文章 16 订阅 ¥89.90 ¥99.00
订阅专栏
2021 论文
188 篇文章 2 订阅 ¥99.90 ¥299.90
订阅专栏

目录

电路构建、转换为约束系统、多项式承诺以及验证过程

算术电路构建

转换为约束系统

多项式承诺

验证过程

KZG承诺

1. 计算满足约束的x,a,b值

2. 构造多项式

3. 使用KZG承诺生成承诺值

3.1 Setup阶段

3.2 Commit阶段

3.3 （可选）Prove an evaluation阶段

3.4 Verify阶段

算术电路 ， 约束系统，多项式承诺的作用和意义，简单说明，为什么需要这几个步骤

算术电路

约束系统

多项式承诺

为什么需要这几个步骤

算术电路、约束系统和多项式承诺的实现通常依赖于密码学和编程技术的结合

算术电路

约束系统

多项式承诺

综合实现

电路构建、转换为约束系统、多项式承诺以及验证过程

当然，我将详细举例说明算术电路构建、转换为约束系统、多项式承诺以及验证过程，使用更具体的数值和步骤来阐述。

算术电路构建

假设我们要验证一个简单的算术等式：3x+4=13，并假设我们知道解是 x=3。为了构建算术电路，我们将这个等式分解为几个基本的算术操作。

算术电路：

  • 输入：x（未知的数字，假设为3）
  • 运算门：
    • 乘法门：计算 a=3×x（即 3x）
    • 加法门：计算 b=a+4（即 3x+4）
  • 输出：b 应该等于 13

现在，我们按照 x=3 来计算电路的输出：

  • a=3×3=9
  • b=9+4
了解本专栏 订阅专栏 解锁全文
ZhangJiQun&MXP
关注
  • 7
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
专栏目录
订阅专栏
Legendre to Chebyshev 转换：将 Legendre 多项式转换为 Chebyshev 多项式。-matlab开发
06-01
通过加载和运行这个脚本，用户可以方便地将任何Legendre多项式展开转换为Chebyshev多项式展开，以便在数值计算中使用。 总的来说，Legendre到Chebyshev的转换是一种在数值分析领域常见的操作，它利用了这两种正交...
Chebyshev to Gegenbauer Conversion：将 Chebyshev 多项式转换为 Gegenbauer 多项式。-matlab开发
06-01
这篇关于“Chebyshev to Gegenbauer Conversion”的MATLAB开发介绍了一个脚本，用于将表示为Chebyshev多项式的函数转换为Gegenbauer多项式形式。 首先，我们来理解一下Chebyshev多项式。Chebyshev多项式是一组定义...
polyfitcon:带有可选约束的多项式拟合（可以设置为局部极值）-matlab开发
05-30
% POLYFITCON - 带有可选附加约束的多项式拟合。 % 约束点可以限制为局部极值。 % [pfunc,pval]=polyfitcon(x,y,n,xc,yc,p0,isLocExt) 返回％pfunc，存储用于拟合的阶数'n'的多项式。 % pval，拟合多项式的权重。 ％...
Gegenbauer to Chebyshev Conversion：将 Gegenbauer 多项式转换为 Chebyshev 多项式。-matlab开发
06-01
这个过程通常涉及到Gegenbauer多项式和Chebyshev多项式的正交性和归一化性质，以及它们之间的代数关系。 MATLAB的`geg2cheb`函数接收Gegenbauer系数向量`an`和参数`lambda`作为输入，返回对应的Chebyshev系数向量`...
将多项式根转换为系数：使用 FFT 将多项式根列表转换为多项式系数。-matlab开发
05-30
在MATLAB编程环境中，我们经常需要处理多项式，这包括从多项式的根计算其系数或者反之。当根的数量较大时，内置的`poly`函数可能效率不高。在本主题中，我们将探讨如何利用快速傅里叶变换（FFT）来有效地将多项式的...
备战秋招60天算法挑战，Day17
溜达虎的博客
08-13 238
给定两个字符串 和 ，编写一个函数来判断 是否是 的字母异位词。注意： 若 和 中每个字符出现的次数都相同，则称 和 互为字母异位词。举个例子： 视频题解 有效的字母异位词 思路来源 思路来源 思路解析 方法一 排序 分别对和进行排序，然后比较排序后的字符串是否相等。 java代码 python代码 复杂度分析 时间复杂度： 快排的时间复杂度是O(nlogn)，其中是字符串的长度。空间复杂度： 快排的空间复杂度是O(logn)。假设， 。 java代码 python代码 复杂度分析 时
day 9 回溯算法
m0_73924943的博客
08-08 372
优化后的比之前的在叶子结点少递归一层。在排序candidates后，碰到target<0的情况直接结束本层的遍历，后面没遍历到的也不用遍历了。1.目标数n一直在随i的加入减小，如果目标数n已经<0，那么剪枝。即path中的数已经大于目标数了。利用数组去重，因为题目的数值范围小，所以可以尽量使用。剪枝优化：（对每层循环遍历的范围进行了缩小）2.对for循环i的遍历范围进行缩小。也可以不用st数组去重。
代码随想录算法训练营第十一天
b1ankwall的博客
08-10 1205
参加代码随想录第43期算法训练营day11|150. 逆波兰表达式求值，239. 滑动窗口最大值，347.前 K 个高频元素，栈与队列总结
[算法2] 第二集 二叉树中的深度搜索
2301_80017277的博客
08-09 857
一、（DFS，全称为 Depth First Traversal），是我们树或者图这样的数据结构中常⽤的⼀种遍历算法。这个算法会尽可能深的搜索树或者图的分支，直到⼀条路径上的所有节点都被遍历完毕，然后再回溯到上⼀层，继续找⼀条路遍历。在⼆叉树中，常见的深度优先遍历为：前序遍历、中序遍历以及后序遍历。因为树的定义本⾝就是递归定义，因此采⽤递归的方法去实现树的三种遍历不仅容易理解⽽且代码很简洁。
算法：外卖调度
最新发布
m0_73915763的博客
08-13 640
有N个餐厅和M个外卖员，每个餐厅在某个时间点会产生一个外卖订单，这些订单都有产生时间、所需送达时间和优先级。外卖员在空闲时会选择最优先的订单来配送，直到所有订单都被送达。具体规则如下: 对于每个餐厅的订单，优先级高的订单优先，其次是所需送达时间最短的订单，再次是产生时间最早的订单。外卖员在空闲时会从所有餐厅的最高优先级订单中挑选一个所需送达时间最短的订单进行配送，若所需送达时间相同则选择餐厅编号最小的订单。
经典算法题总结：十大排序算法，外部排序和Google排序简介
技术研究记录
08-10 542
快速排序（Quick Sort）是一种常用的高效的排序算法，它是一种基于比较的排序算法，利用了分治（自顶向下）的思想。快速排序的主要思想是选择一个基准元素，将数组分成两个子数组，一个子数组的所有元素都小于基准元素，另一个子数组的所有元素都大于基准元素，然后递归地对这两个子数组进行排序，最后将它们合并起来。
【算法】二分查找
2301_80277275的博客
08-10 250
二分查找、在排序数组中查找元素的第一个和最后一个位置、x的平方根、搜索插入位置、山脉数组的峰顶索引、寻找峰值、寻找旋转排序数组中的最小值、点名
C语言 | Leetcode C语言题解之第332题重新安排行程
m0_59237910的博客
08-13 366
C语言 | Leetcode C语言题解之第332题重新安排行程
算法定制与双光谱技术融合：提升巡检车入侵检测系统效能
LntonCEC的博客
08-13 278
需要定制一项基于双光谱云台相机的入侵检测系统，该系统将被应用于机场周界巡检车辆，以实现全天候的周界安全监控，包括周界状态监测、入侵物体识别、特定行为分析及夜视能力强化。这种需求不仅体现在数量上，更体现在质量上，尤其是对算法定制化的需求。微调：就是已有算法和相关场景的数据，需要加入一些现场样本（每次至少需1000张），重新训练，就是不停根据现场的误报和漏报进行标注训练的迭代过程。定制：明确需求后，提供初步样本，再收集一些样本，标注训练形成初始算法，需要的数据量相比微调要大一些，周期要长一些，费用要高一些。
矩阵转置（c语言）
scy2429828663的博客
08-09 790
int m = 0;int a = 0;//输入 n m//将数据存储在arr上//输入 aj < n;j++)i < m;i++)//转置i < m;i++)j < n;
算法日记day 33（动归之斐波那契数|爬楼梯）
m0_74980681的博客
08-08 377
要求每次可以爬1阶或者2阶，逆向思维可以理解为，当我们上到最后一阶楼梯时，可以迈一阶楼梯dp[n-1]，或者迈两阶楼梯上dp[n-2]，因此可得最终爬上去n阶台阶的方法共有dp[n-1]+dp[n-2]种方法，dp的方法是爬到第n阶台阶总共有多少种方法，而不是走了几步，因此递推关系仍是斐波那契数列。已知斐波那契数列递推式为dp[i]=dp[i-1]+dp[i-2]，因此求第n个数只需要逐渐相加获得。1. 1 阶 + 1 阶 + 1 阶。1. 1 阶 + 1 阶。2. 1 阶 + 2 阶。
力扣：3132. 找出与数组相加的整数 II（Java，枚举）
jungleirim的博客
08-09 246
移除 nums1 中下标为 [0,4] 的两个元素，并且每个元素与 -2 相加后，nums1 变为 [18,14,10] ，与 nums2 相等。移除 nums1 中下标为 [0,3] 的两个元素，并且每个元素与 2 相加后，nums1 变为 [7,7] ，与 nums2 相等。执行上述操作后，nums1 和 nums2 相等。输入：nums1 = [4,20,16,12,8], nums2 = [14,18,10]输入：nums1 = [3,5,5,3], nums2 = [7,7]
6. Z 字形变换【 力扣(LeetCode) 】
yyh520025的博客
08-09 528
将一个给定字符串 s 根据给定的行数 numRows ，以从上往下、从左到右进行 Z 字形排列。之后，你的输出需要从左往右逐行读取，产生出一个新的字符串，比如：“PAHNAPLSIIGYIR”。
算法：装备战力计算
m0_73915763的博客
08-13 254
设计一个游戏角色的装备系统，系统可以包含合成装备以及独立装备，这里的合成装备，可以继续包含独立装备以及合成装备。战力系数是装备在系统里面的嵌套合成数，装备的战力系数越高，表示战力越高，请计算出整个系统里面装备的战力和。提示:战力=装备力*嵌套合成数27解释:一个嵌套合成数为1，战力为1的装备，一个嵌套合成数为2，战力为4的装备，一个嵌套合成数为3，战力为6的装备。所以1+4*2+6*3=27。10解释:因为装备中有四个嵌套合成数为2，战力为1的装备;和一个嵌套合成数为1，战力为2的装备。
在数字签名中经过哈希运算之后的哈希值是怎么转换为可以与多项式计算的
06-02
在数字签名中，经过哈希运算之后的哈希值需要被转换为可以进行多项式计算的形式，这个过程称为哈希值编码。在NTRUSign签名算法中，哈希值编码采用的是多项式环上的编码方式。 具体地，将哈希值分成若干个长度为$\log_2 q$比特的块，每个块作为多项式$F$的系数，组成一个$\log_2 q$比特的多项式。这里，$q$是NTRUSign算法中的模数，通常为一个较大的质数。 接下来，需要将这个多项式$F$编码为一个新的多项式$G$，使得$G$可以在多项式环上进行计算。NTRUSign算法中采用的是切比雪夫多项式变换（Chebyshev polynomial transform）进行编码。具体地，对于$F$中的每个系数$a_i$，都可以使用切比雪夫多项式变换将其转换为一个多项式$g_i$，满足： $$g_i(x) = a_i T_i(x) \bmod q$$ 其中，$T_i(x)$为切比雪夫多项式，满足$T_i(\cos(\frac{k\pi}{n}))=\cos(\frac{ik\pi}{n})$，$k=0,1,\ldots,n-1$。这里，$n$是多项式的次数，通常为$2^k$的形式。 最后，将所有的多项式$g_i$按照系数顺序组合成一个新的多项式$G$，作为最终的哈希值编码。这样，就可以将哈希值转换为可以在多项式环上进行计算的形式，以便进行数字签名的计算。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

ZhangJiQun&MXP

等到80岁回首依旧年轻

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值